|Code Listing by Christian Bard|
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.
Polyspace Compiler template sets help at setup phase according to compiler and target
Since Polyspace for R2012a, it is possible to create a new project from a template file.
This tool contains a list of templates that if it fits...
All files and free downloads are copyright of their respective owners. We do not provide any hacked, cracked, illegal, pirated version of scripts, codes, components downloads. All files are downloaded from the publishers website, our file servers or download mirrors. Always Virus check files downloaded from the web specially zip, rar, exe, trial, full versions etc. Download links from rapidshare, depositfiles, megaupload etc not published.