From: Rod Chapman <roderick.chapman@googlemail.com>
Subject: SPARK GPL 2011 and SPARKSkein 2011
Date: Wed, 20 Jul 2011 05:39:23 -0700 (PDT)
Date: 2011-07-20T05:39:23-07:00 [thread overview]
Message-ID: <f7d3702b-1207-4c5d-8497-8a5130d6af20@v12g2000vby.googlegroups.com> (raw)
SPARK GPL 2011 is now up on libre.adacore.com.
We've also updated the SPARKSkein release to meet
v1.3 of the Skein specification, and reproduced all
analyses and proofs with the GPL 2011 toolset.
This is at www.skein-hash.info.
- Rod
next reply other threads:[~2011-07-20 12:39 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-07-20 12:39 Rod Chapman [this message]
2011-07-21 8:42 ` SPARK GPL 2011 and SPARKSkein 2011 Stephen Leake
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox