May 18th, 2013
Improved warnings for use of Address aspect
For an address attribute definition clause, there is a warning if a smaller item is overlaid with a larger one, and the warning about possible lack of reference to the entity is suppressed (on the grounds that aliasing may well be occurring). The same warning improvements are now implemented for the address aspect.
Improved indentation of conditional expressions
Ada 2012 If-expressions and case-expressions are better handled by the indentation engine and in particular extra indentation levels are used for each case branch.
WB: Debug tooltip
When debugging an ada application, if the mouse cursor is over a variable that can be printed by the debugger, the tooltip displays the variable current value. This feature requires WRWB 3.3 or later.
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.
This page gives access to the main SPARK documentation. SPARK Pro provides the foremost language, toolset and design discipline for the engineering of high-assurance software.
ASIS-for-GNAT Reference Manual
This Manual contains reference material for developers using ASIS-for-GNAT -- GNAT Pro's implementation of the Ada Semantic Interface Specification (ASIS). It provides information about ASIS-for-GNAT's implementation-specific(1) characteristics and current implementation limitations.
ASIS-for-GNAT User’s Guide
This guide has two aims. The first one is to introduce you to the Ada Semantic Interface Specification (ASIS) and show you how you can build various useful tools on top of ASIS. The second is to describe the ASIS implementation for the GNAT Pro Ada compiler.
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.