Product Updates

CodePeer 2.3

CodePeer 2.3 introduces the following enhancements:

- support for floating point overflow on unconstrained types
- improved GPS and GNATbench integration
- more precise messages and fewer "false positives"
- an independent GNAT frontend
- improved support for legacy Ada (83) code
- message review capabilities via pragma Annotate
- new warnings when a formal parameter could be declared with a more restrictive mode
- support for target configuration file