Generation of C headers from Ada specs
The compiler can generate C headers from simple Ada specs (when types are compatible with C types) via the -gnatceg switch.
MiniDebugInfo (.gnu_debugdata) support in debugger
The intent of the .gnu_debugdata (MiniDebugInfo) section, when present, is to provide extra minimal debugging info for use in simple backtraces. The debugger now supports this MiniDebugInfo section.
Oct 7th, 2015
Simple proof panel based on user profile
Menus 'Prove ...' in GPS now open a simple panel or a more complex one depending on the user profile. The user profile for SPARK is a preference that the user can set to 'Basic' (the default) or 'Advanced'. The panel displayed for the basic user profile includes only a few switches, among which the recent --level switch. The panel displayed for the advanced user profile corresponds to the former panel with more detailed switches.
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.