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.1 required=5.0 tests=BAYES_20,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Path: utzoo!mnetor!seismo!columbia!caip!clyde!cbatt!cbosgd!ucbvax!AEROSPACE.ARPA!hogan
From: hogan@AEROSPACE.ARPA
Newsgroups: net.lang.ada
Subject: On-Line copy of a Validation Report
Message-ID: <8608302029.AA11775@aerospace.arpa>
Date: Sat, 30-Aug-86 16:28:50 EDT
Article-I.D.: aerospac.8608302029.AA11775
Posted: Sat Aug 30 16:28:50 1986
Date-Received: Sun, 31-Aug-86 09:03:57 EDT
Sender: daemon@ucbvax.BERKELEY.EDU
Organization: The ARPA Internet
List-Id: <comp.lang.ada>

Does any one have a copy of a validation report for any of the validated
Ada compilers that is available on-line (via FTP) ?  

Having just read over about six of validation reports, I have noticed 
a vast inconsistency between them.  I intend to make a suggestion to the 
AJPO that all report follow a consistent format (e.g. same paragraph numbers have the same information in them.  All table have the same information, etc), 
but I would like to also send a suggested version for such a template.

mike hogan