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_20,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 108abf,d3bcc180a8b0eea4 X-Google-Attributes: gid108abf,public X-Google-Thread: 103376,d3bcc180a8b0eea4 X-Google-Attributes: gid103376,public From: Bill Greene Subject: Re: [Fwd: F22 completes 11% of its Flight tests] Date: 2000/01/12 Message-ID: <387D0C1B.9D2@Ganymede.com>#1/1 X-Deja-AN: 571852917 Content-Transfer-Encoding: 7bit References: <387C8859.621FA20B@netscape.net> <387CC1C0.4C57E34C@quadruscorp.com> <387CEE4A.3965@Ganymede.com> <387D011B.2DC@Ganymede.com> Content-Type: text/plain; charset=us-ascii X-Trace: 12 Jan 2000 18:19:02 -0500, 208.240.117.1 Organization: Ganymede Software, Inc MIME-Version: 1.0 Newsgroups: comp.lang.ada,rec.aviation.military Date: 2000-01-12T00:00:00+00:00 List-Id: jtarver wrote: > > The only mechanism I know of for gauging compliance is formal > > validation, which included passing the thousands of tests in the ACVC > > (now ACATS) test suite. There were and are a number of validated Ada > > compilers for the VAX. > > LOL. Validating that the VAX does what it says it does is not the same as > the compiler meeting the Ada specification. The ACVC suite does not "validate that the VAX does what it says it does." Individual ACVC tests are designed (and named) to establish a compiler's compliance to specific chapters and paragraphs of the Ada Reference Manual, which *is* the Ada specification. > > > But what does it mean to say that "VAX" violated a rule? Are you > > talking about a particular Ada compiler for the VAX? If so, which > > compiler is it and what sort of extensions are you referring to? > > Implementation-defined attributes and pragmas? > > "extended instruction set" is what I am refering to. ??? > VAX to Apollo in Ada sucessfully? How much effort was the transfer? I had to run the compiler and linker. -- William R. Greene 1100 Perimeter Park Drive Ganymede Software, Inc. Suite 104 http://www.ganymede.com Morrisville, NC 27560 USA Phone: (919) 469-0997, ext. 280 Fax: (919) 469-5553