PolySpace For Editors

版本 1.6.0.1 (388.5 KB) 作者: Alexandre De Barros
A tool to integrate PolySpace into your favorite editor
0.0
(0)
881.0 次下载
更新时间 2016/9/1

查看许可证

Learn how to launch PolySpace(R) from your editor : call the interfaces (Launcher, Viewer, Spooler), use the back link feature of your editor for an easy fixing.
We present the integration with two editors : Notepad++ and UltraEdit32.
The zip archive contains the documentation, a set of scripts and configuration files.

This integration is presented for C files only and under Windows, for the moment.

引用格式

Alexandre De Barros (2024). PolySpace For Editors (https://www.mathworks.com/matlabcentral/fileexchange/21087-polyspace-for-editors), MATLAB Central File Exchange. 检索时间: .

MATLAB 版本兼容性
创建方式 R2010b
兼容任何版本
平台兼容性
Windows macOS Linux
类别
在 Help Center 和 MATLAB Answers 中查找有关 Polyspace Code Prover 的更多信息

Community Treasure Hunt

Find the treasures in MATLAB Central and discover how the community can help you!

Start Hunting!
版本 已发布 发行说明
1.6.0.1

Updated license
1.6.0.0

Scripts and documentation updated for compatibility with 10b
1.5.0.0

Added trademarks and copyrights in the documents.
Documentation converted to pdf.
Replaced the use of WFile by a new executable (FileChoose) to be BSD license compliant.
1.2.0.0

An equivalent to the proprietary executable WFile has been created to be BSD licensing compliant.
The documentation has been updated.
1.1.0.0

Fixed a problem in the scripts when the home folder, or profile folder, contains a space character.
1.0.0.0