From: Hadrien Grasland <hadrien.grasland@gmail.com>
Subject: Re: fyi, GNAT and SPARK GPL 2016 are out
Date: Sun, 5 Jun 2016 10:57:21 -0700 (PDT)
Date: 2016-06-05T10:57:21-07:00 [thread overview]
Message-ID: <87551fea-9b31-4a5f-b600-3e2346023f4f@googlegroups.com> (raw)
In-Reply-To: <nimo81$kjj$2@gioia.aioe.org>
Le mercredi 1 juin 2016 15:33:58 UTC+2, Nasser M. Abbasi a écrit :
> 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
Pretty nice release as far as I am concerned: I can finally retire all of my workarounds related to the interactions between expression functions, protected types, and tagged types :)
prev parent reply other threads:[~2016-06-05 17:57 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
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 [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox