* ANN: SparkSure proof resources now up-to-date
@ 2010-08-23 13:34 Phil Thornley
0 siblings, 0 replies; only message in thread
From: Phil Thornley @ 2010-08-23 13:34 UTC (permalink / raw)
All the material on http://www.sparksure.com is up-to-date with the
latest release of SPARK GPL 2010, GNAT GPL 2010, and GtkAda
gpl-2.14.1.
- The tutorials for proof annotations and the Proof Checker
- The VC_View and PCHIF** tools
- The high integrity data structure examples.
Cheers,
Phil
** The version of the Proof Checker in the GPL 2010 release has an
(apparently unintended) change in the way that it handles I/O -
consequently is will not work with PCHIF. (The Proof Checker in the
previous release - 8.1.1 - works correctly with PCHIF.)
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2010-08-23 13:34 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2010-08-23 13:34 ANN: SparkSure proof resources now up-to-date Phil Thornley
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox