[GAP] Announcing the availability of GNAT and SPARK GPL 2012

[Jamie Ayre]

Dear GAP members,
 
We are pleased to announce the release of GNAT GPL 2012, the integrated
Ada, C, and C++ toolset for academic users and FLOSS developers.
This new edition provides many new features and enhancements in all
areas of the technology. The most notable ones are:
 
 - Full support for Ada 2012;
 - Tool enhancements:
   - GPS 5.1 (improved support for C/C++, centralized handling of
     VCS menus, improved automatic code fixes, more intuitive
     handling of the MDI)
   - GtkAda 2.24 (bindings upgraded to Gtk 2.24, support for printing,
     support of the Glade-3 GUI builder and the Gtk_Builder approach)
   - GNATbench 2.6 (ergonomic improvements, additional tooltip
     functionality)
 - Improvements to GNATpp and GNATmetric
 - Support for unloading Ada plug-ins
 - Improved Ada/C++ integration
 - New warnings and better error messages
 - Support for encapsulated shared libraries with no external
   dependencies
 - New unit GNAT.Expect.TTY for advanced terminal interaction
 
We are also pleased to announce the release of SPARK GPL 2012,
the integrated static analysis and verification toolset for
academic users and FLOSS developers.
 
This new edition provides many new features and enhancements to
both the SPARK language and toolset. The most notable ones are:
 
 - Support for generic subprograms
 - Annotated and refined proof functions
 - Fully-modelled function calls in proof contexts
 - Assume statements
 - Full-range subtypes for all types
 - Automatic data flow analysis mode
 - Improved Examiner options for platform-independence and easier
   makefile integration
 - Improved use of types & subtypes in FDL
 - Improved Simplifier rules and tactics
 - Extension of SPARKBridge to accommodate other SMT solvers: CVC3,
   Yices and Z3
 
Both can be downloaded from the "Download" section on
GNAT Tracker:
 
http://www.adacore.com/academia