From: "Yannick Duchêne (Hibou57)" <yannick_duchene@yahoo.fr>
Subject: Re: Building SPARK GPL with an open toolchain
Date: Sat, 07 Aug 2010 22:16:25 +0200
Date: 2010-08-07T22:16:25+02:00 [thread overview]
Message-ID: <op.vg23xnwhxmjfy8@garhos> (raw)
In-Reply-To: 20100729004328.7f9064f5@t60
Le Thu, 29 Jul 2010 00:43:28 +0200, Alexander Senier <mail@senier.net> a
écrit:
> Caveat: This port is in a very early stage -- use it at your own risk!
> Comments, suggestions and contributions are very welcome.
Just wanted to express my interest for now (so that you do not feel
alone). But will only test it for an unknown later date.
Have a nice time any way :)
Cheers
--
There is even better than a pragma Assert: a SPARK --# check.
--# check C and WhoKnowWhat and YouKnowWho;
--# assert Ada;
-- i.e. forget about previous premises which leads to conclusion
-- and start with new conclusion as premise.
prev parent reply other threads:[~2010-08-07 20:16 UTC|newest]
Thread overview: 2+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-07-28 22:43 Building SPARK GPL with an open toolchain Alexander Senier
2010-08-07 20:16 ` Yannick Duchêne (Hibou57) [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