Development Log    See All »

  • GNAT Pro
    Feb 10th, 2016

    GNAAMP elides exception info strings in small lib
    On the AAMP target when using the small library, the compiler no longer generates unused strings with file and line information for raises of Constraint_Error and Program_Error, conserving space in object files.

  • GPS: update integration of gnattest for stubbing
    GPS support of gnattest is improved. GPS is able to navigate into stubs, stub setters and original subprogram bodies. Run button launches gnattest in execution mode when multiple test drivers are generated by gnattest.

  • CodePeer
    Dec 2nd, 2015

    New switch: -compiler-mode
    A new CodePeer switch -compiler-mode is provided to replace the use of codepeer-gprbuild -gnateC, allowing more flexiblity and in particular support for other CodePeer switches (on the command line or in the project file).

Documentation    See All »

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

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