View License

Download apps, toolboxes, and other File Exchange content using Add-On Explorer in MATLAB.

» Watch video

Be the first to rate this file! 3 Downloads (last 30 days) File Size: 754 KB File ID: #34432 Version:
image thumbnail



Christian Bard (view profile)


03 Jan 2012 (Updated )

A very simple Polyspace Extension for AdaCore GPS

| Watch this File

File Information

This is a very simple plug-in allowing to launch Polyspace for Ada or C++ on a selected file in GNAT Programming Studio IDE (GPS).
As soon as you want to Polyspace a file in your current project, you can do that from GPS:
* Verify a particular file before beginning a campaign of unit testing.
* Then, allow to open results.

MATLAB release MATLAB 7.14 (R2012a)
Tags for This File   Please login to tag files.
Please login to add a comment or rating.
27 Feb 2012 1.1

Small issue

27 Mar 2012 1.2

Add acknowledge in documentation

01 Sep 2016

Updated license

Contact us