From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.4 X-Google-Thread: 103376,9364864e12fee8e3,start X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news1.google.com!news1.google.com!news3.google.com!news.glorb.com!newsgate.cistron.nl!newsfeed.stueberl.de!peer-uk.news.demon.net!kibo.news.demon.net!news.demon.co.uk!demon!diphi.demon.co.uk!jpt From: JP Thornley Newsgroups: comp.lang.ada Subject: ANN: New version of Proof Checker Interface for SPARK Date: Tue, 28 Feb 2006 14:27:56 +0000 Message-ID: NNTP-Posting-Host: diphi.demon.co.uk Mime-Version: 1.0 Content-Type: text/plain;charset=us-ascii;format=flowed X-Trace: news.demon.co.uk 1141136994 22290 80.177.171.182 (28 Feb 2006 14:29:54 GMT) X-Complaints-To: abuse@demon.net NNTP-Posting-Date: Tue, 28 Feb 2006 14:29:54 +0000 (UTC) User-Agent: Turnpike/6.04-S (<8q$limTwass5mRFOS6ZcA$fSfU>) Xref: g2news1.google.com comp.lang.ada:3203 Date: 2006-02-28T14:27:56+00:00 List-Id: 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