comp.lang.ada
 help / color / mirror / Atom feed
From: AdaMagica <christoph.grein@eurocopter.com>
Subject: Re: Genode implements zero-footprint runtime for Ada and SPARK
Date: Thu, 26 Nov 2009 06:08:10 -0800 (PST)
Date: 2009-11-26T06:08:10-08:00	[thread overview]
Message-ID: <55557e31-238b-4aa1-b184-9a31de5c5045@e27g2000yqd.googlegroups.com> (raw)
In-Reply-To: 4c5c762a-92ca-4039-aef4-e98a769e9beb@v30g2000yqm.googlegroups.com

Hm, later on this page it says "Elaboration is not performed". How can
then Ada code work at all?



  parent reply	other threads:[~2009-11-26 14:08 UTC|newest]

Thread overview: 6+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2009-11-26  9:18 Genode implements zero-footprint runtime for Ada and SPARK Ludovic Brenta
2009-11-26 10:10 ` Peter Hermann
2009-12-23 13:52   ` please ignore Peter Hermann
2009-11-26 14:08 ` AdaMagica [this message]
2009-11-26 15:45   ` Genode implements zero-footprint runtime for Ada and SPARK Ludovic Brenta
2009-11-26 15:47   ` nfeske
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox