AdaCore Releases GNAT Pro 7.4

New version of Ada Development Environment highlights annual major release of company product line

EMBEDDED WORLD 2016, Nuremberg, Germany, February 23, 2016AdaCore, a company offering development and verification tools for reliable, safe and secure software, today released the latest version of its flagship GNAT Pro Ada Development Environment. GNAT Pro 7.4 incorporates new functionality, a number of performance improvements, additional platform support including several new embedded targets, and many other enhancements. GNAT Pro is part of the company’s  annual major release cycle for its products, and Q1 2016 will also see new versions of the CodePeer deep static analysis tool for Ada, the SPARK Pro verification environment for high-integrity software, and the QGen model-based development and verification tool for Simulink® and Stateflow® models.

GNAT Pro includes a full Ada compiler, Integrated Development Environments  – the GNAT Programming Studio (GPS) and the Eclipse-based GNATbench – a comprehensive toolset including a visual debugger, and an extensive set of libraries and bindings.

GNAT Pro 7.4 continues to build upon the strong foundation of gcc 4.9 while upgrading to the gdb 7.10 debugger technology. It supports Windows 10 as well as several new target platforms, in particular VxWorks 7 (ARM, e500v2, PPC, x86_64), VxWorks 653 3.0, and PikeOS (PowerPC). Among the more than 120 new features are the following enhancements:

  • Generating C headers from Ada package specifications, which complements the existing facility (-fdump-ada-spec) for deriving Ada package specs from C header files
  • Detecting invalid memory access via libsanitizer on Linux
  • Enabling SSE floating point extensions by default on all x86 native ports
  • Better performance for the Ada.Containers library, for example in the implementation of "for...of" loops and iterations
  • New pragmas to support low-level programming on bareboard targets
  • New pragmas to ease porting existing codebases from other Ada compiler environments

“As we do each year with GNAT Pro, this new release brings a wide assortment of new features,” said Cyrille Comar, AdaCore President. “It also makes many existing tools more robust or easier to use, and these are worth mentioning. One example is the GNATtest utility, which automatically generates ready-to-use unit test frameworks. And I’d also like to highlight the distributed feature of GPRbuild, which can now take advantage of server farms as well as multicores. Advanced users have reported incredible savings in build time for huge applications through this enhancement.”

About AdaCore
Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company’s offerings:

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability,
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software,
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented towards high-assurance systems, and
  • The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as space systems, commercial avionics, military systems, air traffic management/control, rail systems, medical devices, and financial services.  AdaCore has an extensive and growing world-wide customer base; see for further information.

AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris.

Jamie Ayre

Jenna Beaucage, Rainier Communications; +1+508.475.0025, ext. 124