PolySpace Client for Ada 5.4

Latest Features

Version 5.4

Released: 04 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.

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 5.3

Released: 06 Mar 2009
 

Version 5.3, part of Release 2009a, includes bug fixes.

See the Release Notes for details.

Version 5.2

Released: 09 Oct 2008
 

Version 5.2, part of Release 2008b, includes the following enhancements:

• Support for 64-bit Linux

See the Release Notes for details.

Version 5.1.1

Released: 21 May 2008
 

Version 5.1.1, an update to R2008a, includes bug fixes.

Version 5.1

Released: 17 Mar 2008
 

Version 5.1 includes the following enhancements:

• Removed dependency on Cygwin™ for Windows® platforms, to simplify the installation process while improving performance and robustness
• Enhanced and simplified installer
• Enhanced exploring capability in the viewer to provide more precise information

See the Release Notes for details.