From: "Peter C. Chapin" <PChapin@vtc.vsc.edu>
Subject: Re: ANN: SPARK Proof Libraries
Date: Mon, 29 Nov 2010 17:47:19 -0500
Date: 2010-11-29T17:47:19-05:00 [thread overview]
Message-ID: <sd6dnXTzGJsbsGnR4p2dnAA@giganews.com> (raw)
In-Reply-To: <5ac3f039-b1c0-45d0-8d19-054a587674ff@s9g2000vby.googlegroups.com>
On 2010-11-29 07:09, Phil Thornley wrote:
> As a first attempt at improving support for the creation and
> validation of user rules and to allow all the files in the
> verification directories of the Examiner and Simplifier to be deleted
> and recreated, I have come up with the idea of proof libraries and a
> tool - SPARKRules - that implements that idea.
I haven't looked at your tool yet (I will download it now), but in
general I think this is a great idea.
Peter
next prev parent reply other threads:[~2010-11-29 22:47 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-11-29 12:09 ANN: SPARK Proof Libraries Phil Thornley
2010-11-29 22:47 ` Peter C. Chapin [this message]
2010-12-03 5:57 ` Shark8
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox