* ANN: New version of Proof Checker Interface for SPARK
@ 2006-02-28 14:27 JP Thornley
0 siblings, 0 replies; only message in thread
From: JP Thornley @ 2006-02-28 14:27 UTC (permalink / raw)
The latest version of the SPARK toolset (Version 7.3) has removed the
problem that limited the capability of the first version of the Proof
Checker Interface (PCHIF).
With version 2.6 of the Proof Checker (included in SPARK Version 7.3) it
is now possible to handle both input to and output from the Proof
Checker in the interface.
The download page for the new version of the interface can be reached
from www.sparksure.com.
If you already have the earlier version then note that the new version
has been developed with GtkAda 2.4.0 (the earlier version used 2.2.0).
The downloads include the VC_View tool that is unchanged from the
earlier version.
Phil Thornley
--
JP Thornley
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2006-02-28 14:27 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2006-02-28 14:27 ANN: New version of Proof Checker Interface for SPARK JP Thornley
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox