Development Log    See All »

  • GNAT Pro|GPS | GNAT Pro|GNATbench
    Jul 21st, 2014

    GPS: add filter in Project browser
    The project browser now has a local filter, instead of having a specialized search context in the standard search dialog.

  • GNAT Pro|GPS | GNAT Pro|GNATbench
    Jul 21st, 2014

    GPS: review call graph browser
    The call graph browser was redesigned. The rendering has changed. We no longer display the list of locations for the references (which is more usable in the Call Trees), so as to be able to display more items in the browser. Standard contextual menus related to entities are now usable in the browser.

  • SPARK Pro
    Jul 18th, 2014

    Better generation of globals
    The auto-generated globals are now more precise. Outputs are no longer always also considered to be inputs. Additionally, when available, state abstractions are utilized to return globals relatively to the scope of the caller (this allows for more precise warnings/errors).

Documentation    See All »

  • GNATdoc User’s Guide

    This User’s Guide describes how to use GNATdoc, a documentation tool for Ada which processes source files, extracts documentation directly from the sources, and generates annotated HTML files.

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

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

  • SPARK 2014 Toolset User’s Guide

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

  • SPARK 2014 Reference Manual

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