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,3ccb707f4c91a5f2
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: C++ Standardization (was: Once again,
 Ada absent from DoD SBIR solicitation)
Date: 1996/10/10
Message-ID: <dewar.844950746@merv>#1/1
X-Deja-AN: 188487690
references: <DyxtAA.Ez5@world.std.com>
 <01bbb57f$7fb59020$72663389@billn.logicon.com> <325BC3B3.41C6@hso.link.com>
 <325BED6A.63F4@itg-sepg.logicon.com>
organization: New York University
newsgroups: comp.lang.ada
Date: 1996-10-10T00:00:00+00:00
List-Id: <comp.lang.ada>


"In this context, I never cease to be amazed at the way people question
the use of GNAT on the grounds that it isn't formally validated for the
Sun ..."


Well you have to remember that some people are working in environments which
require a validated compiler and sometimes this requirement takes precedence
over capability. There are no full-language validated compilers for the Sun
yet of course, although there are two subset compilers that have been
validated. If you don't need all the annexes, and you do need a validated
compiler for Ada 95, then that certainly affects your choice.

Our decision at ACT is not to do any validations of subset implementations,
but instead to wait till we can validate the full language with all annexes.
We expect to validate the Sun/Solaris implementation in the near future,
as well as several other versions.

For those interested here is our current validatation status. We are
essentially at 100% on all B tests (core and annexes). We pass 100% of the
C tests in the basic tests, and currently fail about 30 of the Ada 95
C tests, mostly in the annexes, but there are a few core tests still to go.

Note that you can reproduce these results for yourself if you like. The

test suite is publically available.


Robert Dewar
Ada Core Technologies