Sep 16th, 2014
Support for C/C++ xrefs and symlinks
The -fdump-xref compiler switch for C and C++ sources no longer resolves symbolic links under unix systems, thus allowing generation of cross references on the direct files, as used by e.g. some CM systems.
Sep 11th, 2014
Faster processing of enumeration type data
CodePeer has improved the analysis of very large enumeration type declarations.
Sep 8th, 2014
Improve recognition of misspelled aspects
The compiler now does a better job of recognizing and diagnosing misspelled aspects (such as Prelaborate for Preelaborate).
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.