ANN: SparkSure proof resources now up-to-date

0 views
Skip to first unread message

Phil Thornley

unread,
Aug 23, 2010, 9:34:53 AM8/23/10
to
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 all
Reply to author
Forward
0 new messages