Feb 15th, 2017
Contracts for formal containers with model functions
The formal containers library, which provides SPARK-compatible versions of Ada containers, has been enriched with comprehensive contracts. These contracts use functional, mathematical-like containers as models of imperative containers.
Feb 13th, 2017
Support aliases when defining user command in gdb
When defining a user command in gdb with the command "define", abbreviations (e.g. "command" for "commands") are now fully supported.
GNATCOLL.SQL: New routine Length for SQL_Criteria
Length routine returns number of criteria on the upper level of SQL_Criteria delimited by the same logical operator "OR" or "AND".
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.