[GAP] Announcing the immediate availability of GNAT and SPARK GPL 2014

[Jamie Ayre]

Dear GAP member,
 
We are pleased to announce the availability of the GNAT and
SPARK GPL 2014 toolsets.
 
GNAT GPL 2014 incorporates more than 120 new features,
including Ada 2012 mode enabled by default, many new warnings and
improved diagnostics, code generation optimizations, support for
symbolic traceback in shared libraries, and improved cross Ada/C++
exception handling.
 
GNAT GPL 2014 introduces GNAT2XML, for generating XML files
from Ada sources, which will help in writing Ada analysis tools quickly
in any language. It also provides enhancements to existing tools,
including:
 
- A new version of GNATpp, providing improved Ada layout and
  greater flexibility
- Support in the GPRbuild multipurpose builder for distributed
  builds, and better support for parallel builds
 
It also comes with the latest version of the GPS IDE. The complete
list of the major new features in GPS 6.0.1 is accessible here:
http://docs.adacore.com/gps-docs/release_notes/build/singlehtml/
 
 
SPARK GPL 2014, supporting SPARK 2014, is the first GPL release of
the next generation SPARK toolset.
 
The main features of the new language and toolset are as follows:

- Convergence with Ada 2012 Syntax
- Bigger Language Subset
- Executable Contracts
- Hybrid Verification (the ability to mix unit proof with unit test)
- Formal Container Library
- Generative Mode for Data Dependencies (the ability to perform data
  flow analysis without explicit global declarations)
- Improved IDE feedback in relation to information flow and
  verification errors

You will find documentation about the SPARK 2014 toolset here:
http://libre.adacore.com/developers/documentation
See in particular the SPARK 2014 Toolset User's Guide to get started.
You can also read more about the SPARK 2014 language - including a
growing number of tips and tricks here:  www.spark-2014.org.
 
Both toolsets can be downloaded from the "Download" section on
GNAT Tracker:
 
http://www.adacore.com/academia