Development Log    See All »

  • CodePeer
    Dec 23rd, 2016

    Incremental analysis via persistent annotations
    A beta version of incremental analysis is available where CodePeer will save the result of its full analysis on disk via the -persistent-annotations switch, allowing reuse in subsequent runs when the files are still up to date. This allows both faster re- analysis and more precise results.

  • GNAT Pro
    Dec 15th, 2016

    Implement workaround for LEON3FT b-to-b store errata
    The compiler switch -mfix-ut699 has been enhanced to work around the issues present in Cobham Gaisler's UT699 LEON3FT processor and documented in the errata sheet titled "LEON3FT Stale Cache Entry After Store with Data Tag Parity Error". A new compiler switch -mfix-ut699e has also been added to work around the issues present only in the UT699E LEON3FT processor.

  • GNAT Pro | GPRbuild
    Dec 8th, 2016

    Recognize native compiler of different architecture
    On multiarch systems, gprbuild can now recognize a native compiler of a different architecture than itself.

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.