BRISTOL, United Kingdom, NEW YORK and PARIS, February 9, 2010 – Safety-Critical Systems Symposium – AdaCore, a leading supplier of Ada development tools and support services, today announced the latest major release of its GNAT Pro Ada development environment. GNAT Pro 6.3 is now available on several new platforms including 64-bit Windows, Windows 7, Mac OS X Snow Leopard, VxWorks MILS, and PikeOS (ARINC 653). The product incorporates performance improvements and a variety of enhancements, many based on customer feedback, and it offers the first implementation of new Ada 2012 features. GNAT Pro 6.3 works with a number of complementary tools, sold separately, including the CodePeer automated code review and validation tool.

“We continually strive to provide our customers with world-class development tools, technical consulting, and product support that exceed their expectations,” said Robert Dewar, President and CEO of AdaCore. “GNAT Pro 6.3 demonstrates our commitment to this goal and continues the company’s tradition of providing annual major releases for our products.”

“With this new release, GNAT Pro supports a wide range of additional platforms, with a particular emphasis on 64 bit architectures,” said Cyrille Comar, Managing Director, AdaCore Europe. “This regular adaptation to new environments is critical for many of our customers who work on safety critical applications whose lifespans cross many hardware generations and operating system transitions. Our challenge is to find, every year, more efficient ways of producing and qualifying to the highest standards, an increasing number of tools running on an increasing number of platforms.”

New GNAT Pro 6.3 features include:

Support for 64-bit code generation on Windows

Support for Windows 7

Improvements to a number of tools, including:

Pretty printer (gnatpp)

Coding standard verifier (GNATcheck)

Stack size analyzer (GNATstack)

Other tool enhancements:

Unused dispatching subprogram elimination (gnatelim)

More flexible project handling

More efficient gnatmake and gprbuild

C and C++ binding generation

Compiler and debugger enhancements, including:

Many additional warnings

More flexible enabling/disabling of warnings

Faster Unbounded_String implementation

Removal of redundant run-time checks

Support for Ada 2012 conditional expressions

Code generation (speed and size) improvements

More compact debugging information

Improved interfacing with C++

GNAT Pro 6.3 also includes a new version of the GNAT Programming Studio (GPS) IDE, GPS 4.4.1, and an improved download interface in AdaCore’s GNAT Tracker support tool.

AdaCore has an extensive world-wide customer base; see for further information.