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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,3f74d676465455d2 X-Google-Attributes: gid103376,public From: dewar@gnat.com Subject: Re: Why a PROGRAM ERROR? A GNAT bug? Date: 1998/12/11 Message-ID: <74rrp3$5dd$1@nnrp1.dejanews.com>#1/1 X-Deja-AN: 421268973 References: <3670178F.8751F9B9@nowhere.com> <3671433E.79C04602@nowhere.com> X-Http-Proxy: 1.0 x3.dejanews.com:80 (Squid/1.1.22) for client 205.232.38.14 Organization: Deja News - The Leader in Internet Discussion X-Article-Creation-Date: Fri Dec 11 19:28:39 1998 GMT Newsgroups: comp.lang.ada X-Http-User-Agent: Mozilla/4.04 [en] (OS/2; I) Date: 1998-12-11T00:00:00+00:00 List-Id: In article <3671433E.79C04602@nowhere.com>, Rusnak wrote: > I am using a GNAT compiler (i believe the most recent > one). Is this > compiler Ada certified? Public versions of GNAT are not officially validated (this is a consequence of the validation policy which requires that there be a contractual relationship between the user and the validation agency (among other things this allows the vendor, in this case ACT, to certify that the version being used is in fact the validated version. ACT cannot provide any such assurances for the public version, since the public version is not in our custody. GNAT has been validated on a number of targets (it is indeed the only Ada 95 technology that has been 100% validated including the core and all annexes, using the latest ACVC suite), but you must be a customer for the GNAT Professional product to meet formal validation requirements. For further information on validated validated versions of GNAT, contact sales@gnat.com. Robert Dewar Ada Core Technologies -----------== Posted via Deja News, The Discussion Network ==---------- http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own