[GAP] Availability of GNATprove

[Jamie Ayre]

Following the recent release of GNAT GPL (see http://libre.adacore.com/) we are happy to announce the first GPL release of the GNATprove. This tool is used for formal verification of Ada programs and is being developed as part of the Hi-Lite project. We provide binary distributions for x86 linux, x86 windows and x86-64 bit linux. More details can be found on the following page:

http://www.open-do.org/projects/hi-lite/gnatprove/

For questions, remarks, or issues please contact us on hi-lite-discuss at lists.forge.open-do.org