Development Log    See All »

  • GNAT Pro
    Oct 23rd, 2014

    Support for overriding keyword in Ada 95 mode
    For compatibility with some Ada 95 compilers which support only the overriding keyword of Ada 2005, the -gnatd.D debug switch can now be used along with -gnat95 to achieve a similar effect with GNAT.

  • GNAT Pro
    Oct 21st, 2014

    Use of floating-point in fixed-point operations
    In the presence of restriction No_Floating_Point, a multiplication of two fixed point quantities of the same fixed point type in an integer context does not generate conversions to floating-point for run-time evaluation.

  • SPARK Pro
    Oct 20th, 2014

    Raise, no-return and statically-false assertions
    Flow analysis now ignores all statements that inevitably lead to a raise statement, a statically-false assertion or a non-returning procedure. Additionally, all statements that follow a raise statement, a statically-false assertion or a non-returning procedure that are not otherwise reachable from the start of the subprogram are also ignored.

Documentation    See All »

  • GNATdashboard

    This is the manual for administering and using GNATdashboard.

  • GNATdoc User’s Guide

    This User’s Guide describes how to use GNATdoc, a documentation tool for Ada which processes source files, extracts documentation directly from the sources, and generates annotated HTML files.

  • GNATbench for Eclipse User’s Guide

    This User’s Guide describes how to use the GNATbench Ada plug-in for Eclipse. Specific help is provided for configuring projects, building systems, and debugging.

  • GNAT User’s Guide for native platforms

    This guide describes the use of GNAT, a compiler and software development toolset for the full Ada programming language.

    It describes the features of the compiler and tools, and details how to use them to build Ada 95 applications.

  • SPARK 2014 Toolset User’s Guide

    This guide is aimed at getting new users up and running with the SPARK 2014 tools.