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.8 required=5.0 tests=BAYES_00,INVALID_DATE,
	MSGID_SHORT autolearn=no autolearn_force=no version=3.4.4
Path: utzoo!utgpu!attcan!uunet!husc6!rutgers!gatech!rayssd!rayssdb!gsl
From: gsl@rayssdb.ray.com (Gregory S. Lakis)
Newsgroups: comp.lang.ada
Subject: Ada Validation
Keywords: Ada compilers validation
Message-ID: <2273@rayssdb.ray.com>
Date: 27 Jan 89 13:15:02 GMT
Sender: root@rayssdb.ray.com (UNIX System Administrator @ Raytheon Company, Portsmouth RI)
Distribution: na
Organization: Raytheon Company, Portsmouth RI
List-Id: <comp.lang.ada>

Hello Everyone,
I have a question about Ada compiler validation.  To be specific 680X0
cross compiler evaluation.  We are currently using the Verdix 680X0
cross compiler for a variety of projects.  When we download the program
to our target environment which is a 68020 based "home grown" CPU board
is that code still considered to be "validated" Ada?  I have had a
variety of answers ranging from a straight yes, to "no, you have to
send your CPU board to the vendor for revalidation" which is totally
unacceptable for classified hardware.  Any opinions would be greatly
appreciated.

Greg Lakis
Raytheon - Submarine Signal Division
Portsmouth, RI 02871

gsl@rayssde.ray.com