Prev: Spark, pragma
Next: SPARK and testing. Was: Lost in translation (with SPARK user rules)
From: Jacob Sparre Andersen on 28 May 2010 03:43
Yannick Duch�ne wrote:
> 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).

I just happened to have considered to do what Pascal has already done.
Not as much with a specific need in mind as an interesting challenge
which might deliver a useful result to the Ada and SPARK community.

Greetings,

Jacob
--
"How may I be honest with you today?"
 | 
Pages: 1
Prev: Spark, pragma
Next: SPARK and testing. Was: Lost in translation (with SPARK user rules)