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: f849b,a4b94f2441e8b57
X-Google-Attributes: gidf849b,public
X-Google-Thread: 103376,fd66817bc851aeae
X-Google-Attributes: gid103376,public
X-Google-Thread: 115aec,a4b94f2441e8b57
X-Google-Attributes: gid115aec,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: GreenHills Muli - in use?
Date: 1997/06/14
Message-ID: <dewar.866305837@merv>#1/1
X-Deja-AN: 248381423
References: <hbonneyEBJHB3.BA@netcom.com>
 <339EDC24.1D4B@DIE_SPAMMER.dasd.honeywell.com> <5nmrlj$1k4@ox.ismi.net>
 <33A17156.6D27@lmco.com>
Organization: New York University
Newsgroups: comp.arch.embedded,comp.realtime,comp.lang.ada
Date: 1997-06-14T00:00:00+00:00
List-Id: <comp.lang.ada>


<<Dean Z. Douthat asked:
> 
> Is Gnat certified?  Or don't you need certification?>>

Just one followup here. The fact that GNAT has been validated does NOT
mean that if you are using GNAT you are using a validated compiler. To
be using a validated compiler in the formal sense of the term, i.e.
meeting the DoD standards for validation as promulgated by the Ada
Validation Office (AVO), you must have a formal relationship with
one of the certificate holders (ACT for any of the GNAT platforms, or
one of our partners where appropriate, Tenon for the MachTen platform,
SGI for the SGI platforms, SNI for the Siemens Nixdorf platforms, or
OAR for the embedded SPARC platform). 

A version of GNAT you pick up from the net may or may not be closely
equivalent to the validated version, but it is not officially validated.