Development Log    See All »

  • GNAT Pro
    May 25th, 2017

    New function To_Ada in GNAT.Sockets
    A new function GNAT.Sockets.To_Ada supports converting externally created socket descriptors to type Socket_Type for use with other operations in package GNAT.Sockets.

  • GNAT Pro
    May 24th, 2017

    Debug information for imported entities
    GCC now produces debug information to describe Ada entities that are imported using the Import pragma or aspect.

  • GNAT Pro
    May 23rd, 2017

    Warning on potential C++ ABI mismatch on ARM
    With -Wpsabi on ARM, the compiler now warns in corner case situations where it knows it could possibly generate wrong code for complex C++ constructs involving method calls passing vectors of composite elements as arguments. The issue warned against is a possible caller/callee disagreement about what arguments-passing convention to use, leading to crashes at run time.

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.