Code covered by the BSD License  

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

PolyspaceForGPS

by

 

03 Jan 2012 (Updated )

A very simple Polyspace Extension for AdaCore GPS

| Watch this File

File Information
Description

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.
Updates
27 Feb 2012

Small issue

27 Mar 2012

Add acknowledge in documentation

Contact us