Development Log    See All »

  • GNAT Pro
    Aug 14th, 2017

    Improve type name matching in gnatdbg
    Both gnatdbg.printers.PrettyPrinter and gnatdbg.generics.Match.TypeName have been enhanced to be able to match pretty GDB type names (i.e. the result of `str(gdb_type)`) in addition to their raw names (`` or `gdb_type.tag`).

  • GNAT Pro
    Aug 11th, 2017

    PolyORB: iac: ignore pragma javaPackage
    The IDL-to-Ada compiler iac now ignores pragma javaPackage. This is a convenience for those also using idlj (idl-to-java), because idlj recognizes that pragma.

  • CodePeer
    Aug 5th, 2017

    Better subprogram input annotations
    If a subprogram takes one or more components of one global object as inputs (as opposed to reading the object as a whole), CodePeer formerly omitted these from the list of inputs in the annotations generated for the subprogram. Now the global object is listed as an input. This means that if either or both of Some_Record.Field_1 and Some_Record.Field2 are global inputs to a subprogram, then Some_Record will be listed as an input.

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.