Re: GreenHills Muli - in use?

Re: GreenHills Muli - in use?

[Ken Garlington]

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

Yes. See

  http://sw-eng.falls-church.va.us/AdaIC/

for a list of validated compilers.

> --
> Names: Dean Z. Douthat   dean@cyberzone-inc.com
> Snail: PO Box 7571 Ann Arbor MI 48107-757 USA
> Phone: (313)747-9170 (voice) (313)747-8478 (fax)

--
LMTAS - The Fighter Enterprise - "Our Brand Means Quality"
Who uses Ada? See http://www.lmasc.lmco.com/f22
For job listings, other info: http://www.lmtas.com or
http://www.lmco.com

Re: GreenHills Muli - in use?

[Robert Dewar]

<<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.

Re: GreenHills Muli - in use?

[Robert Dewar]

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


The certification process is called validation, and indeed GNAT is validated,
on seven different hardware/operating system combinations. Furthermore, it is
the only Ada 95 technology that is 100% validated (i.e. it passes all the
tests in both the core language and in all the special needs annexes).