Adacore Enhances Gnat Pro Development Software Adacore has announced the latest 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 a variety of enhancements, many based on customer feedback, and offers 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. Gnat Pro 6.3 features improvements to tools such as the Pretty printer, coding standard verifier (Gnatcheck) and stack size analyser (Gnatstack). Other tool enhancements include: unused dispatching subprogram elimination (Gnatelim); more flexible project handling; more efficient Gnatmake and gprbuild; and C and C++ binding generation. Compiler and debugger enhancements include: additional warnings; more flexible enabling/disabli...
Posts
Showing posts with the label Gnat Pro