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.
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.
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.
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.