* fyi, GNAT GPL 2012 and SPARK GPL 2012 are out
@ 2012-06-26 17:05 Nasser M. Abbasi
2012-06-26 23:01 ` Jerry Petrey
0 siblings, 1 reply; 2+ messages in thread
From: Nasser M. Abbasi @ 2012-06-26 17:05 UTC (permalink / raw)
I did not see this posted here yet, so I thought I do it
in case someone did not know about it. Sorry if this shows
twice.
email I got from Ada core is below
-------------------------------------------
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
GNAT GPL 2012 and SPARK GPL 2012 can be downloaded from the
"Download" section on https://libre.adacore.com.
-----------------------------------------
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2012-06-26 23:01 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2012-06-26 17:05 fyi, GNAT GPL 2012 and SPARK GPL 2012 are out Nasser M. Abbasi
2012-06-26 23:01 ` Jerry Petrey
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox