AdaCore GNAT Pro Ada 6.3

AdaCore launched version 6.3 of their GNAT Pro Ada development environment. GNAT Pro 6.3 now supports 64-bit Windows, Windows 7, Mac OS X Snow Leopard, VxWorks MILS, and PikeOS (ARINC 653). It offers the first 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 is available now.

GNAT Pro Ada 6.3 New Features

  • New version of the GNAT Programming Studio (GPS) IDE, GPS 4.4.1
  • Improved download interface in AdaCore’s GNAT Tracker support tool
  • Support for 64-bit code generation on Windows
  • Support for Windows 7
  • Improvements to Tools
    • Pretty printer (gnatpp)
    • Coding standard verifier (GNATcheck)
    • Stack size analyser (GNATstack)
    • Unused dispatching subprogram elimination (gnatelim)
    • More flexible project handling
    • More efficient gnatmake and gprbuild
    • C and C++ binding generation
  • Compiler and Debugger Enhancements
    • Many additional warnings
    • More 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
    • More compact debugging information
    • Improved interfacing with C++

More information: AdaCore