May 25th, 2017
New function To_Ada in GNAT.Sockets
A new function GNAT.Sockets.To_Ada supports converting externally created socket descriptors to type Socket_Type for use with other operations in package GNAT.Sockets.
May 24th, 2017
Debug information for imported entities
GCC now produces debug information to describe Ada entities that are imported using the Import pragma or aspect.
May 23rd, 2017
Warning on potential C++ ABI mismatch on ARM
With -Wpsabi on ARM, the compiler now warns in corner case situations where it knows it could possibly generate wrong code for complex C++ constructs involving method calls passing vectors of composite elements as arguments. The issue warned against is a possible caller/callee disagreement about what arguments-passing convention to use, leading to crashes at run time.
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.