From: Shark8 <onewingedshark@gmail.com>
Subject: Re: ANN: SPARK Proof Libraries
Date: Thu, 2 Dec 2010 21:57:17 -0800 (PST)
Date: 2010-12-02T21:57:17-08:00 [thread overview]
Message-ID: <f7418fd3-e749-4cdb-baa5-589c3a073d95@35g2000prt.googlegroups.com> (raw)
In-Reply-To: 5ac3f039-b1c0-45d0-8d19-054a587674ff@s9g2000vby.googlegroups.com
If you want your library to be SPARK-proof then I would suggest using
a modular type of mod 3 which is flatly disallowed in SPARK. ;)
[/horrible-pun]
prev parent reply other threads:[~2010-12-03 5:57 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
2010-12-03 5:57 ` Shark8 [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox