Code covered by the BSD License  

Be the first to rate this file! 5 Downloads (last 30 days) File Size: 379 KB File ID: #21087
image thumbnail

PolySpace For Editors


Alex Debarros


14 Aug 2008 (Updated )

A tool to integrate PolySpace into your favorite editor

| Watch this File

File Information

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.

Required Products Polyspace Client for C/C++
Polyspace Code Prover
MATLAB release MATLAB 7.11 (R2010b)
Other requirements This version is for Polyspace 10b only. Previous versions for older versions of Polyspace are available on demand.
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
10 Apr 2009

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

01 Jul 2009

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

25 Aug 2009

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.

22 Nov 2010

Scripts and documentation updated for compatibility with 10b

Contact us