skip to main content

Documentation

Ada 2005 Reference Manual

This is the reference manual of Ada 2005

Ada 2012 Reference Manual

This is the reference manual of Ada 2012

Ada 95 Reference Manual

This is the reference manual of Ada 95

Ada Web Server User's Guide

This is the main documentation for AWS, the Ada Web Server library.

AUnit Cookbook

This is a short guide for using the AUnit test framework. AUnit is an adaptation of the Java JUnit (Kent Beck, Erich Gamma) and C++ CppUnit (M. Feathers, J. Lacoste, E. Sommerlade, B. Lepilleur, B. Bakker, S. Robbins) unit test frameworks for Ada code.

CodePeer Release Notes

CodePeer Tutorial

This document provides a guide through the major capabilities of CodePeer inside GNAT Studio by working on a code example: sdc, a simple desktop calculator.

CodePeer User's Guide

This is the main documentation for CodePeer, a static error detection tool that automatically identifies possible programming errors and verifies logical correctness, without relying on labor-intensive run time testing.

Debugging With GDB

This is the main documentation for GDB, the GNU source-level debugger.

GNAT CCG User's Guide Supplement

GNAT Common Code Generator user manual comes in addition to the GNAT user's guide and reference manual.

GNAT DAS User's Guide

This is the user documentation for GNAT DAS (Dynamic Analysis Suite), a package comprising GNATcoverage, a DO178-capable structural coverage analysis toolset; GNATtest, a unit test harness generator; and GNATfuzz, a tool for automating dynamic testing on Ada code, performing test case generation and discovery of software vulnerabilities through fuzzing.

GNAT for CUDA® User's Guide

This guide documents GNAT for CUDA®, a toolsuite that allows to compile Ada and SPARK code directly for NVIDIA GPUs, leveraging the CUDA toolsuite that is provided by NVIDIA.

GNAT Reference Manual

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.

GNAT Release Notes

GNAT Studio Release Notes

GNAT Studio Tutorial

This document provides a guide through the major capabilities of the GNAT Studio by working on a code example: sdc, a simple desktop calculator..

GNAT Studio User's Guide

This is the GNAT Studio User's Guide. GNAT Studio is a complete integrated development environment that gives access to a wide range of tools and integrates them smoothly.

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 applications.

GNAT User's Guide Supplement For Cross Platforms

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.

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.

GNATbench For WRS Workbench User's Guide

This User's Guide describes how to use the GNATbench Ada plug-in for Windriver Workbench. Specific help is provided for configuring projects, building systems, and debugging.

GNATcheck Reference Manual

The gnatcheck tool can be used to enforce coding conventions and find interesting or suspicious code patterns 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 as well as how to write custom rules via the LKQL language.

GNATcoll -- Database packages

This is the documentation for DB (database) module of the GNAT Components Collection.

GNATcoll Bindings -- Iconv

This is the documentation for GNATcoll binding to the Iconv library, to convert strings between encodings.

GNATcoll Bindings -- Readline

This is the documentation for GNATcoll binding to the readline library, to provide support for interactive input from the user on terminals.

GNATcoll Bindings -- Syslog

This is the documentation for GNATcoll binding to Syslog, the system logger on Unix systems. This provides a low level interface to syslog as well as a higher level interface to be used through the GNATCOLL. Traces system, from the GNATCOLL Core packages.

GNATcoll: GNAT Component Collection

This is the main documentation for GNATcoll, a library providing a number of modules that can be reused in your own applications to add extra features or help implementation.

GNATcoll: GNAT Component Collection -- Core packages

This is the documentation for the core packages of GNATcoll, a library providing a number of modules that can be reused in your own applications to add extra features or help implementation.

GNATdashboard

This is the manual for administering and using GNATdashboard.

GNATdoc User's Guide

The user guide for GNATdoc, a tool that automatically generates documentation from the comments and annotated comments of an Ada project.

GNATemulator User's Guide

This page gives access to the main GNATemulator documentation. GNATemulator is an efficient and flexible tool that provides integrated, lightweight target emulation.

GNATstack User's Guide

This guide contains a general description of gnatstack, a framework for computing and analyzing stack usage for the different subprograms in the application and extracting worst case values prior to execution time.

GNU Binary Utilities

This is the documentation for GNU Binary Utilities.

GPRbuild And GPR Companion Tools User's Guide

This guide documents GPR technology, a project framework designed for the description and construction of large multi-language systems organized into subsystems and libraries.

GtkAda Reference Manual

This document provides reference information for all GtkAda entities.

GtkAda User's Guide

This is a developer's guide to GtkAda.

Libadalang User Manual

Libadalang is a library for parsing and semantic analysis of Ada code. It is meant as a building block for integration into other tools (IDE, static-analyzers, etc..). This documentation provides a guide to use Libadalang and references for its various APIs.

PolyORB User's Guide

This is the main documentation for PolyORB.

RecordFlux Language Reference

RecordFlux is a toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.

RecordFlux User's Guide

RecordFlux is a toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.

Roadmap

This is the road map of AdaCore products.

SPARK 2014 Reference Manual

This is the reference manual for the SPARK 2014 language and lists all evolutions to the language.

SPARK 2014 Release Notes

SPARK 2014 Toolset User's Guide

This guide is aimed at getting new users up and running with the SPARK 2014 tools.

Startup-gen User's Guide

This page gives access to theStartup-gen documentation. Startup-gen generates startup files (crt0 and linker script) based on properties of the target device such as: architecture, memory layout, number of interrupts.

Templates Parser User's Guide

This is the main documentation for the AWS Templates Parser.

The Ada XML Library

This is the main documentation for XML/Ada.

The GNU linker

This is the documentation for GNU ld, the GNU linker, part of GNU Binutils.

Using as

This is the user manual for GAS, the GNU Assembler, part of GNU Binutils.

Using GNU GCC 11

This is the main user documentation for GCC, the GNU Compiler Collection.

Using GNU GCC 12

This is the main user documentation for GCC, the GNU Compiler Collection.