AdaCore has released its GNAT Pro Ada development environment. The GNAT Pro 6.3 is now available on several new platforms including 64bit Windows, Windows 7, Mac OS X Snow Leopard, VxWorks MILS and PikeOS (ARINC 653). The product incorporates performance improvements and a variety of enhancements, and it has the new Ada 2012 features. The product works with a number of complementary tools, sold separately, including the CodePeer automated code review and validation tool.
The new product is suitable for customers who work on safety critical applications whose lifespans cross many hardware generations and operating system transitions. The features of the new product include improvements to a number of tools, including Pretty printer (GNATpp), Coding standard verifier (GNATcheck) and Stack size analyser (GNATstack).
The product's tool enhancements include unused dispatching subprogram elimination (gnatelim), flexible project handling, efficient gnatmake and gprbuild, and C and C++ binding generation.
Compiler and debugger enhancements include additional warnings,
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, compact debugging information and improved interfacing with C++.
The new product also includes a new version of the GNAT Programming Studio (GPS) IDE, GPS 4.4.1 and an improved download interface in the company's GNAT tracker support tool.
