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.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,eda287ae8a4d2158
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1995-03-15 04:14:36 PST
Path: 
 bga.com!news.sprintlink.net!hookup!news.mathworks.com!zombie.ncsc.mil!admii!cmcl2!lab.ultra.nyu.edu!kenner
From: kenner@lab.ultra.nyu.edu (Richard Kenner)
Newsgroups: comp.lang.ada
Subject: Re: GNAT non-validation
Date: 15 Mar 1995 11:20:13 GMT
Organization: New York University Ultracomputer Research Lab
Message-ID: <3k6ihd$rvu@cmcl2.NYU.EDU>
References: <3k5vcu$sgc@news1.delphi.com>
NNTP-Posting-Host: lab.ultra.nyu.edu
Date: 1995-03-15T11:20:13+00:00
List-Id: <comp.lang.ada>

In article <3k5vcu$sgc@news1.delphi.com> tmoran@bix.com writes:
>I was surprised to hear the GNAT contract explicitly eschews
>validation.

There wasn't much choice since the validation suite was not expected
to be available by the end of the contract period.  There is also a
belief that validation is more appropriate in a commercial, rather
than university setting, and indeed ACT has a contract from SGI to
validate GNAT for SGI systems.

>What exactly are the deliverables and acceptance tests for GNAT?

No acceptance tests were specified in the contract.  The deliverables
were an Ada 95 compiler (minus some specified features, which the GNAT
team implmented on their own time) for SunOS on Sparc and OS/2 on PCs.