AdaCore Releases GNAT Pro 6.3

Ada development environment now supports 64-bit code generation on Windows

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.

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 some of the new features in Ada 2012. GNAT Pro is based on the widely used GCC technology and is backed by rapid and expert support service.

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 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 for further information.

Ada and GNAT Pro continue to see a growing usage in high-integrity and safety-certified applications, including commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains such as financial services.

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

Press Contacts