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=0.6 required=5.0 tests=BAYES_05,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.3 4.3bsd-beta 6/6/85; site ucbvax.BERKELEY.EDU
Path: utzoo!watmath!clyde!burl!ulysses!ucbvax!info-ada
From: BEBO@SLACVM.BITNET
Newsgroups: net.lang.ada
Subject: Ada Validation Information
Message-ID: <8511160055.AA00255@ucbvax.berkeley.edu>
Date: Fri, 15-Nov-85 17:48:00 EST
Article-I.D.: ucbvax.8511160055.AA00255
Posted: Fri Nov 15 17:48:00 1985
Date-Received: Sat, 16-Nov-85 20:52:21 EST
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

Date: 15 November 1985, 14:45:39 PST
From: Bebo White                (415) 854-3300 x2907 BEBO     at SLACVM
To:   INFO-ADA at ECLB.ARPA
Subject: Ada Validation Information

Is it possible to obtain information on the Ada Validation Suite and
validation reports/results on compilers which have either been
validated or have sought validation?

Thanks in advance for your help.

                                 Bebo White
                                 Stanford Linear Accelerator Center
                                 P.O. Box 4349, Bin 97
                                 Stanford, CA  94305
                                 (415) 854-3300 x2907