AdaCore Releases GNAT Pro 7.1

Latest Ada development environment brings full Ada 2012 support and other enhancements

SAN JOSE, Calif., NEW YORK and PARIS, April 23, 2013 – Design West Conference –  AdaCore today announced the availability of GNAT Pro 7.1, a major new version of the company’s flagship development environment. This release incorporates a number of enhancements, many based on user suggestions, including several Ada language related features, run-time improvements, and new and enhanced tools. As with all AdaCore products, GNAT Pro is Freely-Licensed Open Source Software (FLOSS).

The language related features in GNAT Pro 7.1 include updated and improved support for the Ada 2012 language revision, a new facility for automatic data endianness conversion, and support for dimensionality checking. Extended overflow check support and lock-free protected objects have been incorporated as run-time improvements, and the compiler technology has been migrated to the GCC 4.7 back-end.

New and enhanced tools that aid in all stages of the development of complex, multi-language software are also a major part of the GNAT Pro 7.1 release. These include the powerful and easy to use GPRBuild 2.0 tool that automates the construction of multi-language software, the GDB 7.5 debugger and new rules in the GNATcheck coding standard verification tool. GNAT Pro 7.1 also includes a major new release of AdaCore’s high-level graphical toolkit GtkAda, which provides a secure, user-friendly and extensible toolkit based on Gtk+. GtkAda 3 brings new widgets, a CSS based theming framework, and an improved application programming interface (API) that is more intuitive and that incorporates a more homogenous naming scheme.

“As usual, 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,” said Cyrille Comar, Managing Director of AdaCore. “The most striking new feature, support for automatic data endianness conversion, is already a customer favorite; who said that silver bullets were mythical?”

About GNAT Pro
The GNAT Pro development environment, available on more platforms than any other Ada toolset, is a full-featured, multi-language development environment complete with libraries, bindings and a range of supplementary tools. It provides a natural solution for organizations that need to create reliable, efficient and maintainable code. GNAT Pro implements all three versions of the Ada language standard – Ada 83, Ada 95, and Ada 2005 – and the latest version of GNAT Pro implements all new features in Ada 2012. GNAT Pro is based on the widely used GCC technology and is backed by rapid and expert support service.

Pricing and Availability
GNAT Pro 7.1 is available immediately on most supported platforms. Please contact AdaCore (sales@adacore.com) for further details on pricing and supported configurations.

About AdaCore
Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the open source GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see http://www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including space-based systems, commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com


Press Contacts


Jamie Ayre
AdaCore
press@adacore.com
http://twitter.com/AdaCoreCompany

Jessie Glockner
Rainier Communications (for AdaCore)
Tel: 508-475-0025 x140
adacore@rainierco.com
http://twitter.com/JessieGlockner