Dec 19th, 2014
More automated proof on conversions to float
Proof automation has been improved on code that converts between integers and floats.
Dec 18th, 2014
Linking with—lto=nn when -jnn and—lto are used
When gprbuild is invoked with -jnn (nn > 1) and with the linker switch --lto, the linker is invoked with --lto=nn to speed up linking.
Dec 17th, 2014
Add search path for project files
The GNATprove tool now has a commandline option "-aP" similar to the same option of gprbuild, which allows to add search paths for the location of project files.
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.