PolySpace For Editors
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.
Cite As
Alexandre De Barros (2024). PolySpace For Editors (https://www.mathworks.com/matlabcentral/fileexchange/21087-polyspace-for-editors), MATLAB Central File Exchange. Retrieved .
MATLAB Release Compatibility
Platform Compatibility
Windows macOS LinuxCategories
- Code Verification > Polyspace Code Prover >
- Verification, Validation, and Test > Polyspace Code Prover >
Tags
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!Discover Live Editor
Create scripts with code, output, and formatted text in a single executable document.
Version | Published | Release Notes | |
---|---|---|---|
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.
|
||
1.2.0.0 | An equivalent to the proprietary executable WFile has been created to be BSD licensing compliant.
|
||
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 |