From: "Nasser M. Abbasi" <nma@12000.org>
Subject: fyi, GNAT and SPARK GPL 2016 are out
Date: Wed, 1 Jun 2016 08:33:56 -0500
Date: 2016-06-01T08:33:56-05:00 [thread overview]
Message-ID: <nimo81$kjj$2@gioia.aioe.org> (raw)
fyi;
got this email from Ada core today:
-----------------------------------
Dear GNAT and SPARK GPL user,
We are pleased to announce the availability of the GNAT
and SPARK GPL 2016 toolsets.
GNAT GPL 2016 incorporates upgraded technology for the debugger
(GDB 7.10) along with support for the Windows 10 platform and many new features.
Ada runtime support has been extended for the STM32f429-disco,
STM32f469-disco and STM32F7-disco development boards based on the STM32 family of microcontrollers.
* ravenscar sfp/full for the stm32f429-disco board
* ravenscar sfp/full for the stm32f469-disco board
* ravenscar sfp/full for the stm32f7-disco board
SPARK GPL 2016 - the formal method verification toolset - includes the following new features:
- Support for concurrency with Ravenscar and type predicates
- Generation of counterexamples for unproved checks
- Better support of bitwise (modular) operations in proof
- Generation of global summary table
You will find documentation about the GNAT GPL 2016 and SPARK GPL 2016 toolset here:
http://libre.adacore.com/developers/documentation
Both toolsets can be downloaded:
* from the "Download" section on GNAT Tracker for GAP users http://www.adacore.com/academia
* from libre site libre.adacore.com
next reply other threads:[~2016-06-01 13:33 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-06-01 13:33 Nasser M. Abbasi [this message]
2016-06-01 22:22 ` fyi, GNAT and SPARK GPL 2016 are out daserlang
2016-06-02 12:56 ` mockturtle
2016-06-03 1:56 ` David Botton
2016-06-03 7:16 ` Simon Wright
2016-06-05 8:00 ` ahlan.marriott
2016-06-05 8:42 ` gautier_niouzes
2016-06-05 10:02 ` Simon Wright
2016-06-04 16:13 ` gautier_niouzes
2016-06-04 16:31 ` Georg Bauhaus
2016-06-04 18:35 ` gautier_niouzes
2016-06-04 19:34 ` Simon Wright
2016-06-05 9:38 ` gautier_niouzes
2016-06-05 7:14 ` Randy Brukardt
2016-06-04 17:36 ` Jeffrey R. Carter
2016-06-05 14:07 ` Alejandro R. Mosteo
2016-06-05 18:02 ` Jeffrey R. Carter
2016-06-05 7:12 ` Randy Brukardt
2016-06-04 21:15 ` ogpual
2016-06-04 21:49 ` Simon Wright
2016-06-04 23:02 ` ogpual
2016-06-05 17:57 ` Hadrien Grasland
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox