From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,7a2660c6e1ebff5d
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!news2.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!nntp.club.cc.cmu.edu!feeder.erje.net!news2.arglkargh.de!news.musoftware.de!wum.musoftware.de!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: FYI -- Lunar lander project relies on SPARK programming language
Date: Thu, 10 Jun 2010 21:01:17 +0300
Organization: Tidorum Ltd
Message-ID: <87cnjdFafdU1@mid.individual.net>
References: 
 <51923058-6376-4a47-929a-3524184d3b45@x21g2000yqa.googlegroups.com>
 <op.vd24p6c1xmjfy8@garhos> <4C1110AA.2090206@obry.net>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-15; format=flowed
Content-Transfer-Encoding: 8bit
X-Trace: individual.net qt7VFmsdZxD9vym7/OL9FAfUTpIA1z/W/jGJh6ulgmL3QaGO1W
Cancel-Lock: sha1:M95F9Xt1V5JbmiNVeMAuietT2Eg=
User-Agent: Mozilla-Thunderbird 2.0.0.24 (X11/20100328)
In-Reply-To: <4C1110AA.2090206@obry.net>
Xref: g2news2.google.com comp.lang.ada:12577
Date: 2010-06-10T21:01:17+03:00
List-Id: <comp.lang.ada>

Pascal Obry wrote:
> 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.

An earlier article on CubeSat (Ada User Journal, September 2008, page 
213) says that they use(d) SofCheck's AdaMagic Ada-to-C compiler, 
followed by Rowley Associates' CrossWorks C compiler.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .