File Exchange

image thumbnail

PolyspaceForGPS

version 1.2.0.1 (754 KB) by

A very simple Polyspace Extension for AdaCore GPS

2 Downloads

Updated

View License

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.

Comments and Ratings (0)

Updates

1.2.0.1

Updated license

1.2

Add acknowledge in documentation

1.1

Small issue

MATLAB Release
MATLAB 7.14 (R2012a)

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

» Watch video