From: Pascal Obry on
Jacob,

> Is that binding available for download? (Or is it an internal product?)

Internal sorry.

--

--|------------------------------------------------------
--| Pascal Obry Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--| http://www.obry.net - http://v2p.fr.eu.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver keys.gnupg.net --recv-key F949BD3B

From: Yannick DuchĂȘne (Hibou57) on
Le Thu, 27 May 2010 20:41:22 +0200, Pascal Obry <pascal(a)obry.net> a Ă©crit:
>> Is that binding available for download? (Or is it an internal product?)
>
> Internal sorry.
>
Jacob, if you have some needs in this area, feel free to ask me (could
negotiate via e-mail if you wish).

--
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.