Jun 23rd, 2017
Direct conversion from unsigned subtype to FP type
On 32-bit RISC platforms, the compiler now generates a direct conversion from a 32-bit unsigned subtype of a 64-bit base type to a floating-point type instead of calling a dedicated routine.
Jun 21st, 2017
New gnatcheck rule Numeric_Indexing
A new gnatcheck rule Numeric_Indexing flags integer literals used as index expressions.
Jun 20th, 2017
Efficiency of Trim improved
Ada.Strings.Fixed.Trim is now slightly faster than it was.
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.