From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: GreenHills Muli - in use?
Date: 1997/06/14
Date: 1997-06-14T00:00:00+00:00 [thread overview]
Message-ID: <dewar.866305837@merv> (raw)
In-Reply-To: 33A17156.6D27@lmco.com
<<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.
prev parent reply other threads:[~1997-06-14 0:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <hbonneyEBJHB3.BA@netcom.com>
[not found] ` <339EDC24.1D4B@DIE_SPAMMER.dasd.honeywell.com>
[not found] ` <5nmrlj$1k4@ox.ismi.net>
1997-06-13 0:00 ` GreenHills Muli - in use? Ken Garlington
1997-06-14 0:00 ` Robert Dewar
1997-06-14 0:00 ` Robert Dewar [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox