General

AdaCore Releases GNAT Pro 7.2

Posted: April 10, 2014

New major release of Ada software development environment includes 120+ new features and extends support across ARM platforms

NEW YORK, PARIS, and NUREMBERG, Germany, February 25, 2014 – Embedded World Conference – AdaCore today announced the next major release of its Ada development environment, GNAT Pro 7.2. Embodying the constant innovation that has driven the product’s evolution, this latest GNAT Pro toolsuite incorporates more than 120 new features, many of which are based on customer suggestions. This latest GNAT Pro toolsuite includes several new tools, is available on additional platforms, implements the Ada 2012 language standard by default, and extends its coverage of ARM configurations. The wide range of new or improved functionality brings Ada developers the benefits of increased flexibility, greater efficiency, and broader platform support, all within the context of AdaCore’s open source technology and unrivaled support.

GNAT Pro is available on more native and cross platforms than any other Ada development environment, and the 7.2 release adds support for Wind River’s VxWorks Cert and LynuxWorks’ LynxOS-178 Real-Time Operating Systems (RTOS). It also extends GNAT Pro’s ARM support to now include Android, generic Linux on ARM, Bareboard ARM, and Wind River’s VxWorks 6 on ARM.

GNAT Pro 7.2 comes with the GPS (GNAT Programming Studio) 6.0 Integrated Development Environment, providing developers with more space for editing and a number of design improvements that bring program-related information within easy reach. The revised look and feel is supported by a new relational database at the heart of the GPS engine, making code navigation much more efficient. It also includes a new version of GNATbench, the Eclipse plug-in. GNATbench 2.8 provides improved support for Wind River’s WorkBench, a new source navigation engine, and improved support for the CodePeer static analysis tool.

GNAT Pro 7.2 includes several new tools, including GNAT2XML, which generates XML files from Ada sources and helps developers write Ada analysis tools in any language. Enhancements to existing tools include a new version of GNATpp (pretty printer) with improved Ada layout, and an enhanced GPRbuild multi-purpose builder that offers greater flexibility and support of both distributed and parallel builds.

Other new features of GNAT Pro 7.2 include new warnings and improved diagnostics, code generation optimizations, support for symbolic traceback in shared libraries, and improved cross Ada/C++ exception handling.

“With so many new features and tools in GNAT Pro 7.2, it’s difficult to choose which to highlight,” said Cyrille Comar, AdaCore EU Managing Director. “I’ll pick the new, extremely efficient distributed build capability. Its first industrial user reported that the build time for its complete multi-million SLOC application went down from two hours to five minutes on a Linux farm with dozens of machines. This opens the door to a new level of agility in the development of such massive applications!”

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 www.adacore.com/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

AdaCore Releases GNAT Pro 7.2

New major release of Ada software development environment includes 120+ new features and extends support across ARM platforms

NEW YORK, PARIS, and NUREMBERG, Germany, February 25, 2014 – Embedded World Conference – AdaCore today announced the next major release of its Ada development environment, GNAT Pro 7.2. Embodying the constant innovation that has driven the product’s evolution, this latest GNAT Pro toolsuite incorporates more than 120 new features, many of which are based on customer suggestions. This latest GNAT Pro toolsuite includes several new tools, is available on additional platforms, implements the Ada 2012 language standard by default, and extends its coverage of ARM configurations. The wide range of new or improved functionality brings Ada developers the benefits of increased flexibility, greater efficiency, and broader platform support, all within the context of AdaCore’s open source technology and unrivaled support.

GNAT Pro is available on more native and cross platforms than any other Ada development environment, and the 7.2 release adds support for Wind River’s VxWorks Cert and LynuxWorks’ LynxOS-178 Real-Time Operating Systems (RTOS). It also extends GNAT Pro’s ARM support to now include Android, generic Linux on ARM, Bareboard ARM, and Wind River’s VxWorks 6 on ARM.

GNAT Pro 7.2 comes with the GPS (GNAT Programming Studio) 6.0 Integrated Development Environment, providing developers with more space for editing and a number of design improvements that bring program-related information within easy reach. The revised look and feel is supported by a new relational database at the heart of the GPS engine, making code navigation much more efficient. It also includes a new version of GNATbench, the Eclipse plug-in. GNATbench 2.8 provides improved support for Wind River’s WorkBench, a new source navigation engine, and improved support for the CodePeer static analysis tool.

GNAT Pro 7.2 includes several new tools, including GNAT2XML, which generates XML files from Ada sources and helps developers write Ada analysis tools in any language. Enhancements to existing tools include a new version of GNATpp (pretty printer) with improved Ada layout, and an enhanced GPRbuild multi-purpose builder that offers greater flexibility and support of both distributed and parallel builds.

Other new features of GNAT Pro 7.2 include new warnings and improved diagnostics, code generation optimizations, support for symbolic traceback in shared libraries, and improved cross Ada/C++ exception handling.

“With so many new features and tools in GNAT Pro 7.2, it’s difficult to choose which to highlight,” said Cyrille Comar, AdaCore EU Managing Director. “I’ll pick the new, extremely efficient distributed build capability. Its first industrial user reported that the build time for its complete multi-million SLOC application went down from two hours to five minutes on a Linux farm with dozens of machines. This opens the door to a new level of agility in the development of such massive applications!”

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 www.adacore.com/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

– See more at: http://www.adacore.com/press/gnat-pro-7-2#sthash.zAvQfEJV.dpuf