Dec 9th, 2013
Remove redundant aspects
The aspects Ada_2005, Ada_2012, Pure_05, Pure_12, and Preelaborate_05 are no longer recognized. They corresponded to pragmas that are only intended for use in the GNAT run-time, and thus had no utility for Ada programmers.
Dec 8th, 2013
Direct project support for ASIS-based tools
A set of project-specific options is added to ASIS-based tools (gnatcheck, gnatelim, gnatpp, gnatstub, gnat2xml). Now it is possible to use a project file as a parameter to these tools, and the tool behavior is similar to the case where the tool is called from the GNAT driver.
Dec 5th, 2013
AAMP names for floating-point types in Interfaces
The floating-point types declared in the AAMP version of package System are now declared with names AAMP_Float_32 and AAMP_Float_48, replacing the previous IEEE names.
SPARK 2014 Toolset User’s Guide
This guide is aimed at getting new users up and running with the SPARK 2014 tools.
SPARK 2014 Reference Manual
This is the reference manual for the SPARK 2014 language and lists all evolutions to the language.
This page gives access to the main GNATemulator documentation. GNATemulator is an efficient and flexible tool that provides integrated, lightweight target emulation.
GNATcoverage Users Guide
This document introduces the fundamental principles behind GNATcoverage, a non-intrusive structural coverage analysis framework, and offers a toolset user's guide.
SPARK 2005 documentation
This page gives access to the SPARK 2005 documentation.