Development Log    See All »

  • GNAT Pro
    Sep 22nd, 2017

    Support for overloaded functions in C++ binding
    The C++ bindings generated by means of the -fdump-ada-spec option now support overloaded functions.

  • CodePeer
    Sep 21st, 2017

    More precision for floating-point variables in loops
    CodePeer now computes more precise information about values of variables of floating-point types updated in a loop. It takes into account the value of the variable before the loop, the increment of the variable in an iteration of the loop, and the exit condition of the loop when the variable is part of this condition, as well as the relation of the variable to other variables that are part of the exit condition.

  • GNAT Pro
    Sep 19th, 2017

    New gnatcheck rule Specific_Type_Invariants
    This rule flags definitions of (non-class-wide) Type_Invariant aspects that are parts of tagged type declarations.

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.