Development Log    See All »

  • GNAT Pro
    Oct 8th, 2015

    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.

  • GNAT Pro
    Oct 8th, 2015

    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.

  • SPARK Pro
    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.

Documentation    See All »

  • 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.

  • Using as

    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.

  • GNATdashboard

    This is the manual for administering and using GNATdashboard.