From: Jacob Sparre Andersen <sparre@nbi.dk>
Subject: Re: Would this be logical for embedded hardware?
Date: Mon, 02 Jul 2012 10:14:18 +0200
Date: 2012-07-02T10:14:18+02:00 [thread overview]
Message-ID: <87mx3i4m1x.fsf@adaheads.sparre-andersen.dk> (raw)
In-Reply-To: a562p6Fl83U1@mid.individual.net
Niklas Holsti wrote:
> It's SofCheck, but they merged with AdaCore recently. The compiler is,
> or was, AdaMagic, http://en.wikipedia.org/wiki/AdaMagic. Hopefully it
> is still available...
According to my sources it is still available.
Greetings,
Jacob
--
"Reality is that which, when you stop believing in it,
doesn't go away."
next prev parent reply other threads:[~2012-07-02 8:14 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2012-06-28 23:54 Would this be logical for embedded hardware? Patrick
2012-06-29 0:31 ` Jeffrey Carter
2012-06-29 15:37 ` Patrick
2012-06-29 16:17 ` Niklas Holsti
2012-07-02 8:14 ` Jacob Sparre Andersen [this message]
2012-06-29 18:59 ` Jeffrey Carter
2012-07-02 9:19 ` Austin Obyrne
2012-07-02 11:19 ` Simon Wright
2012-07-02 13:16 ` Austin Obyrne
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox