From: rod.chapman@praxis-cs.co.uk (Rod Chapman)
Subject: Re: GNAT and Memory Maps?
Date: 8 Jul 2003 07:56:47 -0700
Date: 2003-07-08T14:56:47+00:00 [thread overview]
Message-ID: <cf2c6063.0307080656.536cd2a5@posting.google.com> (raw)
In-Reply-To: 3F0A212A.D69A9D79@nospam.corecomm.net
> > By the way, I came across a post by Robert Dewar where he said
> > No_Run_Time is obsolete. Here is the URL:
The _name_ is obsolete, but the technology certainly isn't! It's now
called "GNAT Pro High Integrity Edition" and is fully supported by
ACT. We have worked closely with ACT to ensure that this runtime
profile is fully compatible with SPARK. No surprise really - SPARK
was designed from day one to require little or no runtime library.
- Rod Chapman, SPARK Team
next prev parent reply other threads:[~2003-07-08 14:56 UTC|newest]
Thread overview: 12+ messages / expand[flat|nested] mbox.gz Atom feed top
2003-07-05 3:36 GNAT and Memory Maps? Freejack
2003-07-05 4:42 ` Freejack
2003-07-05 13:10 ` Ludovic Brenta
2003-07-05 23:24 ` Freejack
2003-07-08 1:40 ` John Kern
2003-07-08 8:20 ` Freejack
2003-07-08 14:56 ` Rod Chapman [this message]
2003-07-05 16:22 ` Simon Wright
2003-07-07 3:50 ` Hyman Rosen
2003-07-08 20:20 ` Simon Wright
2003-07-05 19:59 ` Florian Weimer
2003-07-07 7:44 ` Jean-Pierre Rosen
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox