Code covered by the BSD License  

Highlights from
PolyspaceForGPS

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

PolyspaceForGPS

by Christian Bard

 

03 Jan 2012 (Updated 27 Mar 2012)

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  
Everyone's Tags
polyspace plugin gps ada
Tags I've Applied
Add New Tags 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