From: Phil Thornley <phil.jpthornley@gmail.com>
Subject: ANN: SparkSure proof resources now up-to-date
Date: Mon, 23 Aug 2010 06:34:53 -0700 (PDT)
Date: 2010-08-23T06:34:53-07:00 [thread overview]
Message-ID: <83786beb-d49c-42cd-a8ac-3020c1787a46@g17g2000yqe.googlegroups.com> (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.)
reply other threads:[~2010-08-23 13:34 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox