Aug 19th, 2014
Support for Default_Initial_Condition
Both proof and flow analysis now support aspect Default_Initial_Condition.
Improved indentation of conditional expressions
Indentation of Ada 2012 conditional expressions (if and case expressions) spanning multiple lines has been improved.
Aug 17th, 2014
New application unit System.Atomic_Counters
The unit System.Atomic_Counters is now officially available to application programmers. This unit provides an atomic counter type, along with increment, decrement and test operations using hardware synchronization primitives. It is available for most targets: See documentation for complete list of supported targets.
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.