Sep 22nd, 2017
Support for overloaded functions in C++ binding
The C++ bindings generated by means of the -fdump-ada-spec option now support overloaded functions.
Sep 21st, 2017
More precision for floating-point variables in loops
CodePeer now computes more precise information about values of variables of floating-point types updated in a loop. It takes into account the value of the variable before the loop, the increment of the variable in an iteration of the loop, and the exit condition of the loop when the variable is part of this condition, as well as the relation of the variable to other variables that are part of the exit condition.
Sep 19th, 2017
New gnatcheck rule Specific_Type_Invariants
This rule flags definitions of (non-class-wide) Type_Invariant aspects that are parts of tagged type declarations.
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.