From: Phil Thornley <phil.jpthornley@gmail.com>
Subject: Re: SPARK code samples
Date: Thu, 12 Aug 2010 15:03:56 -0700 (PDT)
Date: 2010-08-12T15:03:56-07:00 [thread overview]
Message-ID: <c8d37bc1-58ec-4199-9b2d-32d86c21f9a5@l20g2000yqm.googlegroups.com> (raw)
In-Reply-To: 2969c4a9-f7f2-4615-9296-9a2ebb293fe4@m1g2000yqo.googlegroups.com
On 12 Aug, 13:08, Ada novice <ycalleecha...@gmx.com> wrote:
[...]
> You're welcome. And thanks for the link to the tutorials by Phil
> Thornley (http://www.sparksure.com/) that you provided some time back
> at fr.comp.lang.ada
If you are using these tutorials with the the latest version of SPARK
(2010) then you might be interested in the updates I've just made to
them for this version. The biggest change is in the way that function
return annotations are used in the VC generator.
Cheers,
Phil
next prev parent reply other threads:[~2010-08-12 22:03 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-08-11 8:44 SPARK code samples Dmitry A. Kazakov
2010-08-11 11:38 ` Ada novice
2010-08-11 13:54 ` Yannick Duchêne (Hibou57)
2010-08-11 16:07 ` Mark Lorenzen
2010-08-11 16:33 ` (see below)
2010-08-11 16:45 ` Yannick Duchêne (Hibou57)
2010-08-11 16:50 ` Yannick Duchêne (Hibou57)
2010-08-11 17:10 ` Ada novice
2010-08-11 18:21 ` Yannick Duchêne (Hibou57)
2010-08-12 12:08 ` Ada novice
2010-08-12 22:03 ` Phil Thornley [this message]
2010-08-11 15:26 ` Yannick Duchêne (Hibou57)
2010-08-11 17:33 ` Dmitry A. Kazakov
2010-08-12 2:39 ` Yannick Duchêne (Hibou57)
2010-08-12 5:02 ` Jeffrey Carter
2010-08-12 13:31 ` Yannick Duchêne (Hibou57)
2010-08-12 7:16 ` cjpsimon
2010-08-12 7:29 ` Maciej Sobczak
2010-08-12 13:41 ` Yannick Duchêne (Hibou57)
2010-08-12 9:46 ` Jacob Sparre Andersen
2010-08-12 13:43 ` Yannick Duchêne (Hibou57)
2010-08-12 13:58 ` Jacob Sparre Andersen
2010-08-12 3:03 ` Yannick Duchêne (Hibou57)
-- strict thread matches above, loose matches on Subject: below --
2010-08-11 17:32 Mark Lorenzen
2010-08-11 17:39 ` Ada novice
2010-08-11 17:45 ` (see below)
2010-08-11 18:00 ` Ada novice
2010-08-11 18:17 ` Yannick Duchêne (Hibou57)
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox