Jan 19th, 2015
New form of pragma Warnings for specific tool
Users of GNATprove can now specify pragma Warnings for GNAT and GNATprove separately, to selectively disable warnings from the compiler or the formal verification tool, using the syntax
pragma Warnings (GNATprove, ...);for GNATprove-specific warnings, and
pragma Warnings (GNAT, ...);for GNAT-specific warnings. This also allows detecting useless pragma Warnings with switch -gnatw.w, which was not possible previously as using this switch caused the tools to issue spurious warnings on the those pragma Warnings meant for the other tool.
Add support for external schema
It is now possible to use WSDL with references to external schema. In this case, wsdl2aws tool, will check the schema locally and load it if found.
Add support for derived types
AWS's wsdl2aws tool has now full support for derived types. The namespace for the parent type is properly used when generating the corresponding Ada code. This has make it possible to clean-up some old code to handle Ada Character mapping for example. Any type derivation level is properly handled.
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.
This is the user manual for GAS, the GNU Assembler, part of GNU Binutils.
Debugging with GDB
This is the main documentation for GDB, the GNU source-level debugger.
This is the manual for administering and using GNATdashboard.