Polyspace Client for Ada 6.2

Latest Features

Version 6.2

Released: 1 Sep 2011
 

Version 6.2, part of Release 2011b, includes bug fixes.

See the Release Notes for details.

Update Now

• Download the latest version if your software maintenance service is current.
• Purchase or request a renewal quote if your maintenance service has lapsed.
• Try the latest version by downloading or requesting trial software.

---

Version 6.1

Released: 8 Apr 2011
 

Version 6.1, part of Release 2011a, includes the following enhancements:

• Support for Rational^® and Aonix compilers
• Code verification time reduction on multicore computers
• Viewer that displays results with ToolTips containing the values of variables

See the Release Notes for details.

Version 6.0

Released: 3 Sep 2010
 

Version 6.0, part of Release 2010b, includes the following enhancements:

• Redesigned graphical interface
• Enhanced data and function modeling for fine-tuning code verification using global variables data, stubbed functions, and function call inputs
• Expanded support that includes task pointer, private tasks, tasks with discriminants, entry families, and explicit tasks
• Support for preprocessing directives

See the Release Notes for details.

Version 5.5

Released: 5 Mar 2010
 

Version 5.5, part of Release 2010a, includes the following enhancements:

• Enhanced reviewing of results with user comments in source code
• Integration of Polyspace products for Ada with the Eclipse IDE

See the Release Notes for details.

Version 5.4

Released: 4 Sep 2009
 

Version 5.4, part of Release 2009b, includes the following enhancements:

• Enhanced main-generator that considers the scope of a procedure and variable, improving error detection at the package level
• New Report Generator that presents Polyspace results in PDF, HTML, and other output formats
• New Graphs (similar to concurrent access graphs) available for all global data

See the Release Notes for details.