AdaCore - The GNAT Pro Company » Live Docs

GNATcoverage Users Guide

AdaCore — Thu, 10 Nov 2011 11:12:52 +0000

This document introduces the fundamental principles behind GNATcoverage, a non-intrusive structural coverage analysis framework, and offers a toolset user’s guide.

Browse on-line

SPARK documentation

AdaCore — Fri, 08 Jul 2011 10:39:39 +0000

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.

Browse on-line

ASIS-for-GNAT Reference Manual

AdaCore — Mon, 07 Mar 2011 14:42:46 +0000

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.

Browse on-line

ASIS-for-GNAT User’s Guide

AdaCore — Mon, 07 Mar 2011 14:40:48 +0000

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.

Browse on-line

GNAT User’s Guide for native platforms

AdaCore — Wed, 19 Jan 2011 08:53:22 +0000

This guide describes the use of GNAT, a compiler and software development toolset for the full Ada 95 programming language.

It describes the features of the compiler and tools, and details how to use them to build Ada 95 applications.

Browse on-line

GNAT Reference Manual

AdaCore — Tue, 18 Jan 2011 18:20:05 +0000

This manual contains useful information in writing programs using the GNAT compiler. It includes information on implementation dependent characteristics of GNAT, including all the information required by Annex M of the standard.

Browse on-line

GNAT Pro User’s Guide Supplement for High-Integrity Edition Platforms

AdaCore — Mon, 17 Jan 2011 15:13:35 +0000

This guide describes the GNAT Pro High-Integrity Edition, an Ada tool suite designed especially for applications that need to be certified for compliance with safety standards such as DO-178B.

Browse on-line

GNAT Pro User’s Guide Supplement for Cross Platforms

AdaCore — Sun, 16 Jan 2011 15:09:21 +0000

This guide describes the use of GNAT Pro, a compiler and software development toolset for the full Ada programming language, in a cross compilation environment.

Browse on-line

GPRbuild User’s Guide

AdaCore — Sat, 15 Jan 2011 17:07:49 +0000

This is the main documentation for GPRbuild, a generic build tool designed for the construction of large multi-language systems organized into subsystems and libraries.

Browse on-line

GNATcheck Reference Manual

AdaCore — Fri, 14 Jan 2011 09:02:06 +0000

The gnatcheck tool in GNAT Pro can be used to enforce coding conventions by analyzing Ada source programs with respect to a set of rules supplied at tool invocation. This manual describes the complete set of predefined rules that gnatcheck can take as input.

Browse on-line