Development Log    See All »

  • GNAT Pro
    Jun 30th, 2015

    Controlled types and No_Exception_Propagation
    The compiler no longer generates exception management code for the handling of controlled types when restriction No_Exception_Propagation is active.

  • SPARK Pro
    Jun 26th, 2015

    Constant can now appear in contracts
    The SPARK toolset now allows for costants with variable input to appear in flow-related contracts. This allows for more precise information flow analysis.

  • GNAT Pro
    Jun 26th, 2015

    Verification of ignored Ghost code removal
    The removal of Ghost entities declared with Ghost policy Ignore along with associated code can now be verified by first compiling the code base, then searching for prefix "_ghost_" in object files. The lack of this prefix indicates that all ignored Ghost code has been sucessfully removed.

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.