Ada_Ru форум

Для тех, кто не читает рассылку, дублирую тут:

 

http://libre.adacore.com/download/configurations

 

Dear GNAT and SPARK GPL user,

 

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)

- A dimensionality checking system for physical units

- 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

 

 

-- If you want to get to the top, you have to start at the bottom