Documentation
26 Release Notes
26 Release notes for GNAT Pro, GNATDAS, GNATSAS, libadalang and SPARK.
Release-Notes
Ada & SPARK extension for VS Code User's Guide
The user guide for Ada & SPARK extension for Visual Studio Code. This extension provides support for the Ada and SPARK programming languages in VS Code.
Tools
Ada 2005 Reference Manual
This is the reference manual of Ada 2005
GNAT
Ada 2012 Reference Manual
This is the reference manual of Ada 2012
GNAT
Ada 2022 Reference Manual
This is the reference manual of Ada 2022
GNAT
Ada 95 Reference Manual
This is the reference manual of Ada 95
GNAT
Ada Web Server User's Guide
This is the main documentation for AWS, the Ada Web Server library.
Tools
Alire for GNAT Pro Documentation
This is the manual for Alire for GNAT Pro.
Tools
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.
GNAT-DAS
Debugging With GDB
This is the main documentation for GDB, the GNU source-level debugger.
GNAT
GNAT CCG User's Guide Supplement
GNAT Common Code Generator user manual comes in addition to the GNAT user's guide and reference manual.
Tools
GNAT DAS Release Notes
Release notes
GNAT-DAS
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-DAS
GNAT Metrics Documentation
Documentation for the GNAT Metrics tool, which can be used to compute various program metrics. It takes an Ada source file as input and generates a file containing the desired metrics data as output.
GNAT-SAS
GNAT Pro for Rust Release Notes
Release notes
GNAT
GNAT Pro for Rust User's Guide
This guide describes how to install GNAT Pro for Rust, as well as how to build, run, and debug native, cross-compiled, and mixed-language applications.
GNAT
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
GNAT Release Notes
Release notes
GNAT
GNAT SAS Release Notes
Release notes
GNAT-SAS
GNAT SAS Tutorial
This document provides a guide through the major capabilities of GNAT SAS inside GNAT Studio by working on a code example: sdc, a simple desktop calculator.
GNAT-SAS
GNAT SAS User's Guide
This is the main documentation for GNAT SAS, a static error detection tool that automatically identifies possible programming errors and verifies logical correctness, without relying on labor-intensive run time testing.
GNAT-SAS
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..
Tools
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.
Tools
GNAT Tracker 4 User's Guide
This is the manual for using GNAT Tracker 4.
Tools
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
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.
GNAT
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.
Tools
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.
Tools
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.
GNAT-SAS
GNATcoll -- Database packages
This is the documentation for DB (database) module of the GNAT Components Collection.
Tools
GNATcoll Bindings -- Iconv
This is the documentation for GNATcoll binding to the Iconv library, to convert strings between encodings.
Tools
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.
Tools
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.
Tools
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.
Tools
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.
Tools
GNATdashboard
This is the manual for administering and using GNATdashboard.
Tools
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.
Tools
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.
Tools
GNATFormat
GNATFormat User's Guide
Tools
gnatsetup Documentation
This is the manual for using gnatsetup.
Tools
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.
Tools
GNU Binary Utilities
This is the documentation for GNU Binary Utilities.
GNAT
GPR2 User Manual
GPR2 is a library for parsing GNAT project files. It is meant as a building block for integration into other tools requiring GPR file parsing.
Tools
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.
Tools
GtkAda Reference Manual
This document provides reference information for all GtkAda entities.
Tools
GtkAda User's Guide
This is a developer's guide to GtkAda.
Tools
h2ads User's Guide
h2ads is a tool to generate Ada bindings from C headers.
Tools
IDE Release Notes
Release notes
Tools
Libadalang Release Notes
Release notes
Tools
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.
Tools
PolyORB User's Guide
This is the main documentation for PolyORB.
Tools
RecordFlux Language Reference
RecordFlux is a toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.
SPARK
RecordFlux User's Guide
RecordFlux is a toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.
SPARK
Roadmap
This is the road map of AdaCore products.
Tools
SPARK Reference Manual
This is the reference manual for the SPARK language and lists all evolutions to the language.
SPARK
SPARK Release Notes
Release notes
SPARK
SPARK Toolset User's Guide
This guide is aimed at getting new users up and running with the SPARK tools.
SPARK
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.
Tools
Templates Parser User's Guide
This is the main documentation for the AWS Templates Parser.
Tools
The Ada XML Library
This is the main documentation for XML/Ada.
Tools
The GNU linker
This is the documentation for GNU ld, the GNU linker, part of GNU Binutils.
GNAT
Using as
This is the user manual for GAS, the GNU Assembler, part of GNU Binutils.
GNAT
Using GNU GCC 14
This is the main user documentation for GCC, the GNU Compiler Collection.
GNAT
Using GNU GCC 15
This is the main user documentation for GCC, the GNU Compiler Collection.
GNAT
Ada & SPARK extension for VS Code User's Guide
The user guide for Ada & SPARK extension for Visual Studio Code. This extension provides support for the Ada and SPARK programming languages in VS Code.
Tools
Ada Web Server User's Guide
This is the main documentation for AWS, the Ada Web Server library.
Tools
Alire for GNAT Pro Documentation
This is the manual for Alire for GNAT Pro.
Tools
GNAT CCG User's Guide Supplement
GNAT Common Code Generator user manual comes in addition to the GNAT user's guide and reference manual.
Tools
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..
Tools
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.
Tools
GNAT Tracker 4 User's Guide
This is the manual for using GNAT Tracker 4.
Tools
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.
Tools
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.
Tools
GNATcoll -- Database packages
This is the documentation for DB (database) module of the GNAT Components Collection.
Tools
GNATcoll Bindings -- Iconv
This is the documentation for GNATcoll binding to the Iconv library, to convert strings between encodings.
Tools
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.
Tools
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.
Tools
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.
Tools
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.
Tools
GNATdashboard
This is the manual for administering and using GNATdashboard.
Tools
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.
Tools
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.
Tools
GNATFormat
GNATFormat User's Guide
Tools
gnatsetup Documentation
This is the manual for using gnatsetup.
Tools
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.
Tools
GPR2 User Manual
GPR2 is a library for parsing GNAT project files. It is meant as a building block for integration into other tools requiring GPR file parsing.
Tools
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.
Tools
GtkAda Reference Manual
This document provides reference information for all GtkAda entities.
Tools
GtkAda User's Guide
This is a developer's guide to GtkAda.
Tools
h2ads User's Guide
h2ads is a tool to generate Ada bindings from C headers.
Tools
IDE Release Notes
Release notes
Tools
Libadalang Release Notes
Release notes
Tools
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.
Tools
PolyORB User's Guide
This is the main documentation for PolyORB.
Tools
Roadmap
This is the road map of AdaCore products.
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.
Tools
Templates Parser User's Guide
This is the main documentation for the AWS Templates Parser.
Tools
The Ada XML Library
This is the main documentation for XML/Ada.
Tools
Ada 2005 Reference Manual
This is the reference manual of Ada 2005
GNAT
Ada 2012 Reference Manual
This is the reference manual of Ada 2012
GNAT
Ada 2022 Reference Manual
This is the reference manual of Ada 2022
GNAT
Ada 95 Reference Manual
This is the reference manual of Ada 95
GNAT
Debugging With GDB
This is the main documentation for GDB, the GNU source-level debugger.
GNAT
GNAT Pro for Rust Release Notes
Release notes
GNAT
GNAT Pro for Rust User's Guide
This guide describes how to install GNAT Pro for Rust, as well as how to build, run, and debug native, cross-compiled, and mixed-language applications.
GNAT
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
GNAT Release Notes
Release notes
GNAT
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
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.
GNAT
GNU Binary Utilities
This is the documentation for GNU Binary Utilities.
GNAT
The GNU linker
This is the documentation for GNU ld, the GNU linker, part of GNU Binutils.
GNAT
Using as
This is the user manual for GAS, the GNU Assembler, part of GNU Binutils.
GNAT
Using GNU GCC 14
This is the main user documentation for GCC, the GNU Compiler Collection.
GNAT
Using GNU GCC 15
This is the main user documentation for GCC, the GNU Compiler Collection.
GNAT
GNAT Metrics Documentation
Documentation for the GNAT Metrics tool, which can be used to compute various program metrics. It takes an Ada source file as input and generates a file containing the desired metrics data as output.
GNAT-SAS
GNAT SAS Release Notes
Release notes
GNAT-SAS
GNAT SAS Tutorial
This document provides a guide through the major capabilities of GNAT SAS inside GNAT Studio by working on a code example: sdc, a simple desktop calculator.
GNAT-SAS
GNAT SAS User's Guide
This is the main documentation for GNAT SAS, a static error detection tool that automatically identifies possible programming errors and verifies logical correctness, without relying on labor-intensive run time testing.
GNAT-SAS
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.
GNAT-SAS
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.
GNAT-DAS
GNAT DAS Release Notes
Release notes
GNAT-DAS
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-DAS
RecordFlux Language Reference
RecordFlux is a toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.
SPARK
RecordFlux User's Guide
RecordFlux is a toolset for the formal specification and generation of verifiable binary parsers, message generators and protocol state machines.
SPARK
SPARK Reference Manual
This is the reference manual for the SPARK language and lists all evolutions to the language.
SPARK
SPARK Release Notes
Release notes
SPARK
SPARK Toolset User's Guide
This guide is aimed at getting new users up and running with the SPARK tools.
SPARK