From: Phil Thornley <phil.jpthornley@googlemail.com>
Subject: Re: ANN: Tokeneer - Proofs updated to use User Rules
Date: Thu, 30 Apr 2009 04:10:43 -0700 (PDT)
Date: 2009-04-30T04:10:43-07:00 [thread overview]
Message-ID: <01abc18a-f849-4de7-82a5-c9752893d926@b7g2000pre.googlegroups.com> (raw)
In-Reply-To: 1286a815-8cfc-4ed2-97c6-ece7ec7c8923@w35g2000prg.googlegroups.com
On Apr 29, 8:20 am, roderick.chap...@googlemail.com wrote:
> On Apr 27, 10:59 am, phil thornley <phil.jpthorn...@googlemail.com>
> wrote:
>
> > I have now revised many of the proofs to use User Rules, with a
> > reduction in unsimplified VCs from 110 to 24.
>
> Nice work Phil. We're planning to release an updated
> Tokeneer package later this year following the GPL release
> of the SPARK Toolset, so we'll try to include these
> if that's OK.
I'll be more than happy for you to include them in an updated Tokeneer
release.
> What licence are your new rules under?
The files are supplied for anyone to use as they want, with no
restricitions on how they can be used. I'll sort out actual terms for
your copies by email.
Phil Thornley
next prev parent reply other threads:[~2009-04-30 11:10 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-04-29 7:20 ANN: Tokeneer - Proofs updated to use User Rules roderick.chapman
2009-04-30 11:10 ` Phil Thornley [this message]
-- strict thread matches above, loose matches on Subject: below --
2009-04-27 9:59 phil thornley
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox