Development Log    See All »

  • GNAT Pro
    Jun 30th, 2016

    New attribute Finalization_Size
    When applied to an object or definite type, attribute Finalization_Size returns the size of any hidden data reserved by the compiler to handle finalization related actions. Note that only heap-allocated objects contain such hidden data.

  • CodePeer
    Jun 28th, 2016

    Simplify display of modular expressions
    CodePeer now replaces "A mod K" with simply "A" when it is part of a larger expression that has an enclosing "mod K" operation, since a final "mod" operation is all that is required to faithfully represent the result of a tree of arithmetic operations on a modular type.

  • GNAT Pro
    Jun 28th, 2016

    Relative delays added in GNAT_Extended_Ravenscar
    Relative delays are now supported by ravenscar-full runtime on bareboard platforms.

Documentation    See All »

  • GNATbench for WRS Workbench User’s Guide

    This User’s Guide describes how to use the GNATbench Ada plug-in for Windriver Workbench . Specific help is provided for configuring projects, building systems, and debugging.

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