Oct 4th, 2017
More precise side effects for unknown calls
CodePeer recognizes calls to system routines that have no other side effects than updating its out-mode parameters and uses this information to more precisely determine possible side effects of calls to such routines.
Oct 3rd, 2017
Dimensionality system accepts comparisons to literal
The GNAT dimensionality system now accepts, with a warning, the comparison between a dimensioned expression and a literal. For the special case of literal zero (0 or 0.0), no warning is issued.
Oct 2nd, 2017
Dimension specifications for integer types
When the root type of a dimensioned system is an integer type, the compiler now accepts dimension specifications that are other than nonnegative integers. Operations with fractional exponents on integer values are in general meaningless, but the dimensional analysis can still perform useful static checks on the code.
This is a short guide for using the AUnit test framework. AUnit is an adaptation of the Java JUnit (Kent Beck, Erich Gamma) and C++ CppUnit (M. Feathers, J. Lacoste, E. Sommerlade, B. Lepilleur, B. Bakker, S. Robbins) unit test frameworks for Ada code.
GNATbench for WRS Workbench User’s Guide
This User’s Guide describes how to use the GNATbench Ada plug-in for Windriver Workbench . Specific help is provided for configuring projects, building systems, and debugging.
QGen User Guide
This is the user documentation for QGen, a qualifiable and tunable code generation and model verification tool for a safe subset of Simulink® and Stateflow® models.
The GNU binary utilities
This is the documentation for GNU Binary Utilities.
The GNU linker
This is the documentation for GNU ld, the GNU linker, part of GNU Binutils.