From: JP Thornley <jpt@diphi.demon.co.uk>
Subject: ANN: New version of Proof Checker Interface for SPARK
Date: Tue, 28 Feb 2006 14:27:56 +0000
Date: 2006-02-28T14:27:56+00:00 [thread overview]
Message-ID: <saSrCgFs3FBEJwOc@diphi.demon.co.uk> (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
reply other threads:[~2006-02-28 14:27 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