As with all AdaCore products, GNAT Pro is Freely-Licensed Open Source Software.
The language related features in GNAT Pro 7.1 include updated and improved support for the Ada 2012 language revision, a new facility for automatic data endianness conversion, and support for dimensionality checking. Extended overflow check support and lock-free protected objects have been incorporated as run-time improvements, and the compiler technology has been migrated to the GCC 4.7 back-end.
New and enhanced tools that aid in all stages of the development of complex, multi-language software are also a major part of the GNAT Pro 7.1 release. These include the powerful and easy to use GPRBuild 2.0 tool that automates the construction of multi-language software, the GDB 7.5 debugger and new rules in the GNATcheck coding standard verification tool. GNAT Pro 7.1 also includes a major new release of AdaCore’s high-level graphical toolkit GtkAda, which provides a secure, user-friendly and extensible toolkit based on Gtk+. GtkAda 3 brings new widgets, a CSS based theming framework, and an improved application programming interface (API) that is more intuitive and that incorporates a more homogenous naming scheme.
“As usual, the new GNAT Pro release brings a combination of advantages: extreme stability for existing users, support for an increasingly wider range of platforms and targets, significant performance enhancements, and a wealth of new capabilities and features,” said Cyrille Comar, Managing Director of AdaCore. “The most striking new feature, support for automatic data endianness conversion, is already a customer favorite; who said that silver bullets were mythical?”