From: kenner@lab.ultra.nyu.edu (Richard Kenner)
Subject: Re: GNAT non-validation
Date: 15 Mar 1995 11:20:13 GMT
Date: 1995-03-15T11:20:13+00:00 [thread overview]
Message-ID: <3k6ihd$rvu@cmcl2.NYU.EDU> (raw)
In-Reply-To: 3k5vcu$sgc@news1.delphi.com
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.
next prev parent reply other threads:[~1995-03-15 11:20 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1995-03-15 5:53 GNAT non-validation tmoran
1995-03-15 11:20 ` Richard Kenner [this message]
-- strict thread matches above, loose matches on Subject: below --
1995-03-18 0:32 tmoran
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox