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-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,195cfda04e416f67 X-Google-Attributes: gid103376,public X-Google-ArrivalTime: 2003-07-08 07:56:48 PST Path: archiver1.google.com!postnews1.google.com!not-for-mail From: rod.chapman@praxis-cs.co.uk (Rod Chapman) Newsgroups: comp.lang.ada Subject: Re: GNAT and Memory Maps? Date: 8 Jul 2003 07:56:47 -0700 Organization: http://groups.google.com/ Message-ID: References: <3F0A212A.D69A9D79@nospam.corecomm.net> NNTP-Posting-Host: 62.173.119.178 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 8bit X-Trace: posting.google.com 1057676207 7302 127.0.0.1 (8 Jul 2003 14:56:47 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: 8 Jul 2003 14:56:47 GMT Xref: archiver1.google.com comp.lang.ada:40129 Date: 2003-07-08T14:56:47+00:00 List-Id: > > 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