PolySpace For Editors

A tool to integrate PolySpace into your favorite editor

Version 1.6.0.1 (389 ko)
886 téléchargements
(0)
1 sept. 2016

Vous suivez désormais cette soumission

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.

Citation pour cette source

Alexandre De Barros (2026). PolySpace For Editors (https://fr.mathworks.com/matlabcentral/fileexchange/21087-polyspace-for-editors), MATLAB Central File Exchange. Extrait(e) le .

Catégories

En savoir plus sur Polyspace Code Prover dans Help Center et MATLAB Answers

Informations générales

Compatibilité avec les versions de MATLAB

  • Compatible avec toutes les versions

Plateformes compatibles

  • Windows
  • macOS
  • Linux
Ouvrir dans un nouvel onglet
Version Publié le Notes de version
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