Documentation

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.

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

This is the manual for Alire for GNAT Pro.

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 Common Code Generator user manual comes in addition to the GNAT user's guide and reference manual.

Release notes

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.

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

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.

This is the manual for using GNAT Tracker 4.

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.

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.

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

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

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

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.

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.

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.

This is the manual for administering and using GNATdashboard.

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

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

GNATFormat User's Guide

This is the manual for using gnatsetup.

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.

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.

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

This document provides reference information for all GtkAda entities.

This is a developer's guide to GtkAda.

h2ads is a tool to generate Ada bindings from C headers.

Release notes

Release notes

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.

This is the main documentation for PolyORB.

This is the road map of AdaCore products.

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.

This is the main documentation for the AWS Templates Parser.

This is the main documentation for XML/Ada.