Military Embedded Systems

GNAT Pro 7.1 release includes Ada 2012 support, other enhancements


April 25, 2013

Brandon Lewis

Technology Editor

Embedded Computing Design

GNAT Pro 7.1 release includes Ada 2012 support, other enhancements

SAN JOSE, CA. A new release of the GNAT Pro multi-language development environment has been released by AdaCore. GNAT Pro 7.1 is a Freely Licensed Open Source Software (FLOSS) that includes enhancements in Ada language features, new tools, and run-time improvements over previous versions.

GNAT Pro 7.1 integrates updates for the Ada 2012 language revision, and now incorporates the four versions of the Ada language standard (Ada 83, Ada 95, Ada 2005, and Ada 2012). A facility for automatic data endianness conversion and dimensionality checking support have also been added, and run-time upgrades include lock-free protected objects and extended overflow check support. Version 7.1 also migrates compiler technology to the GCC 4.7 back-end.

New tools that have been added in the release are GPRBuild 2.0 for automating construction of multi-language software and the GDB 7.5 debugger. A major new release of the GtkAda graphical toolkit, GtkAda 3, has also been included that features a CSS-based theming framework and improved Application Programming Interface (API). New rules for the GNATcheck coding standard verification tool are also provided.

“The new GNAT Pro release brings a combination of advantages: extreme stability for existing users, support for an increasingly wider range of platforms and targets, significant performance enhancements, and a wealth of new capabilities and features,” says Cyrille Comar, Managing Director, AdaCore.

Information on the GNAT Pro development environment can be found at, with code samples available at


Featured Companies


150 W. 30th Street, 16th floor
New York, NY 10001
Avionics - Software
Topic Tags