AdaCore Labs

CodePeer 2.3

The next release of the CodePeer automatic code review and validation tool will include its own GNAT front-end (which can be installed independently of GNAT Pro), improved support for legacy Ada (83) code, message review capabilities via pragma Annotate, more precise messages and fewer “false positives”, new warnings when a formal parameter could be declared with a more restrictive mode, support for floating point overflow on unconstrained types, support for IEEE floating point semantics, and improved GPS and GNATbench integration. The product will be available during Q1 2014.

Created on Nov 7th, 2013.  Updated on Nov 7th, 2013.

Arnaud Charlet

Leave a Comment

Commenting is not available in this channel entry.