From: "yannick.moy" <yannick.moy@gmail.com>
Subject: Re: ANN: SPARKUnit
Date: Fri, 1 Oct 2010 02:00:39 -0700 (PDT)
Date: 2010-10-01T02:00:39-07:00 [thread overview]
Message-ID: <2d1466ce-4534-440f-9584-32413dc6fc2a@n3g2000yqb.googlegroups.com> (raw)
In-Reply-To: 20100930224604.2f029b27@t60
Hi Alexander,
This is interesting to see how you manage to push the Ada/SPARK
boundary towards a nearly all-SPARK framework! I guess you plan to use
SPARKUnit to test your SPARKCrypto library? BTW, has SPARKSkein been
integreted in SPARKCrypto? I had seen in some initial discussion that
it was quite feasible.
just curious: how is it that AdaBrowse includes your SPARK contracts
in the HTML output, without even the # sign? Did you have to trick it?
Thx,
--
Yannick
next prev parent reply other threads:[~2010-10-01 9:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-09-30 20:46 ANN: SPARKUnit Alexander Senier
2010-10-01 9:00 ` yannick.moy [this message]
2010-10-01 21:56 ` Alexander Senier
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox