From: daserlang@gmail.com
Subject: Re: fyi, GNAT and SPARK GPL 2016 are out
Date: Wed, 1 Jun 2016 15:22:49 -0700 (PDT)
Date: 2016-06-01T15:22:49-07:00 [thread overview]
Message-ID: <8cecb429-0623-4854-8bc9-bb2d9acae8df@googlegroups.com> (raw)
In-Reply-To: <nimo81$kjj$2@gioia.aioe.org>
On Wednesday, June 1, 2016 at 9:33:58 AM UTC-4, Nasser M. Abbasi wrote:
> 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
That's pretty cool.
I am curious. Does anyone use SPARK at their job or hobby? What's your experience like?
next prev parent reply other threads:[~2016-06-01 22:22 UTC|newest]
Thread overview: 22+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-06-01 13:33 fyi, GNAT and SPARK GPL 2016 are out Nasser M. Abbasi
2016-06-01 22:22 ` daserlang [this message]
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