AdaCore releases GNAT Pro 7.4

AdaCore released the latest version of its 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 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).

More Information...

Latest News from AdaCore

AdaCore: new Versions of GNAT Pro, CodePeer, QGen and SPARK Pro
AdaCore: new version of model-based development and verification toolset QGen 2.1
AdaCore releases GNAT Pro 7.4
AdaCore: SPARK Pro 16 helps reduce certification effort for safety-critical systems