Development Log    See All »

  • GNAT Pro | GPRbuild
    Apr 27th, 2017

    Avoid following too many symbolic links
    When gprbuild or gprclean were invoked without switch -eL, some symbolic links were still needlessly followed. Now, only the minimum number of symbolic links are followed.

  • GNAT Pro
    Apr 27th, 2017

    Relax alignment constraint for record extensions
    On x86 and, more generally, architectures that do not require strict alignment for memory accesses, the compiler now accepts size clauses on record type extensions that effectively lower the alignment of the type, if there is also a representation clause on the type.

  • CodePeer
    Apr 24th, 2017

    -csv and -show-header
    Mixing -csv and -show-header with -output-msg was disallowed in CodePeer 17.1 because it generates a invalid CSV file. Since this option was found useful by some users, it's available again. It's up to the user to postprocess (e.g. split) the output if needed.

Documentation    See All »

  • AUnit Cookbook

    This is a short guide for using the AUnit test framework. AUnit is an adaptation of the Java JUnit (Kent Beck, Erich Gamma) and C++ CppUnit (M. Feathers, J. Lacoste, E. Sommerlade, B. Lepilleur, B. Bakker, S. Robbins) unit test frameworks for Ada code.

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