From: Pascal Obry <pascal@obry.net>
To: "\"Yannick Duchêne (Hibou57)\"" <yannick_duchene@yahoo.fr>
Subject: Re: FYI -- Lunar lander project relies on SPARK programming language
Date: Thu, 10 Jun 2010 18:19:54 +0200
Date: 2010-06-10T18:19:36+02:00 [thread overview]
Message-ID: <4C1110AA.2090206@obry.net> (raw)
In-Reply-To: <op.vd24p6c1xmjfy8@garhos>
Le 10/06/2010 14:52, Yannick Duchï¿œne (Hibou57) a ï¿œcrit :
> Just a note: if it is SPARK, this is Ada too ;)
Right, would be nice to know which Ada compiler will be used to generate
the code for the target.
Pascal.
--
--|------------------------------------------------------
--| 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
next prev parent reply other threads:[~2010-06-10 16:19 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-06-10 12:16 FYI -- Lunar lander project relies on SPARK programming language melampus
2010-06-10 12:52 ` Yannick Duchêne (Hibou57)
2010-06-10 16:19 ` Pascal Obry [this message]
2010-06-10 18:01 ` Niklas Holsti
2010-06-11 11:14 ` Colin Paul Gloster
2010-06-11 14:22 ` Peter C. Chapin
2010-06-11 14:34 ` (see below)
2010-06-12 12:12 ` Peter C. Chapin
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox