From: Bill Greene <wrg@Ganymede.com>
Subject: Re: [Fwd: F22 completes 11% of its Flight tests]
Date: 2000/01/12
Date: 2000-01-12T00:00:00+00:00 [thread overview]
Message-ID: <387D0C1B.9D2@Ganymede.com> (raw)
In-Reply-To: Dt7f4.2222$iy5.92651@typ12.deja.bcandid.com
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
next prev parent reply other threads:[~2000-01-12 0:00 UTC|newest]
Thread overview: 71+ messages / expand[flat|nested] mbox.gz Atom feed top
2000-01-12 0:00 [Fwd: F22 completes 11% of its Flight tests] Rocky
2000-01-12 0:00 ` Marin D. Condic
2000-01-12 0:00 ` jtarver
2000-01-12 0:00 ` Bill Greene
[not found] ` <Ft6f4.2216$iy5.114812@typ12.deja.bcandid.com>
2000-01-12 0:00 ` David Tannen
2000-01-13 0:00 ` Harry Andreas
2000-01-12 0:00 ` Bill Greene
2000-01-12 0:00 ` jtarver
2000-01-12 0:00 ` Bill Greene [this message]
[not found] ` <3d8f4.2267$iy5.117569@typ12.deja.bcandid.com>
2000-01-12 0:00 ` Bill Greene
2000-01-14 0:00 ` Keith Thompson
2000-01-13 0:00 ` Richard D Riehle
2000-01-13 0:00 ` Ted Dennison
2000-01-13 0:00 ` jtarver
2000-01-13 0:00 ` Jeff Carter
[not found] ` <yxof4.2433$iy5.130692@typ12.deja.bcandid.com>
2000-01-14 0:00 ` Tarjei T. Jensen
2000-01-14 0:00 ` Marin D. Condic
2000-01-14 0:00 ` Ed Falis
2000-01-14 0:00 ` Bill Greene
2000-01-15 0:00 ` Marin D. Condic
2000-01-15 0:00 ` Keith Willshaw
2000-01-15 0:00 ` Marin D. Condic
2000-01-15 0:00 ` Keith Willshaw
2000-01-16 0:00 ` Gautier
[not found] ` <38821915.B56815F8@maths.unine.ch>
[not found] ` <85t9oa$867$1@ssauraaa-i-1.production.compuserve.com>
2000-01-17 0:00 ` Gautier
2000-01-17 0:00 ` Keith Willshaw
[not found] ` <oHcg4.2964$iy5.180009@typ12.deja.bcandid.com>
2000-01-16 0:00 ` Keith Thompson
2000-01-16 0:00 ` jtarver
2000-01-16 0:00 ` Gautier
2000-01-16 0:00 ` Keith Thompson
2000-01-16 0:00 ` David Starner
2000-01-17 0:00 ` Marin D. Condic
2000-01-17 0:00 ` jtarver
2000-01-17 0:00 ` Gautier
2000-01-17 0:00 ` jtarver
2000-01-17 0:00 ` Bill Greene
2000-01-19 0:00 ` Robert S. White
2000-01-19 0:00 ` Ted Dennison
2000-01-19 0:00 ` Robert S. White
2000-01-25 0:00 ` Stefan Skoglund
2000-01-25 0:00 ` Richard D Riehle
2000-01-26 0:00 ` Mark Lundquist
2000-01-26 0:00 ` Samuel T. Harris
2000-01-17 0:00 ` Keith Thompson
2000-01-17 0:00 ` K. Devlin
[not found] ` <QHvg4.3143$iy5.200225@typ12.deja.bcandid.com>
2000-01-17 0:00 ` David Starner
2000-01-26 0:00 ` Mark Lundquist
2000-01-17 0:00 ` Stuart Palin
2000-01-17 0:00 ` jtarver
2000-01-17 0:00 ` David Tannen
2000-01-18 0:00 ` K. Devlin
2000-01-17 0:00 ` David Gillon
2000-01-18 0:00 ` K. Devlin
2000-01-18 0:00 ` Ed Falis
2000-01-18 0:00 ` Ted Dennison
2000-01-17 0:00 ` Chris Douglas
2000-01-18 0:00 ` P. S. Norby
2000-01-31 0:00 ` Roga Danar
2000-01-15 0:00 ` K. Devlin
2000-01-15 0:00 ` Marin D. Condic
2000-01-15 0:00 ` David Starner
2000-01-15 0:00 ` Marin D. Condic
2000-01-16 0:00 ` Keith Willshaw
2000-01-16 0:00 ` Paul J. Adam
2000-01-16 0:00 ` John Keeney
2000-01-17 0:00 ` Paul J. Adam
2000-01-18 0:00 ` Tarjei T. Jensen
2000-01-18 0:00 ` Keith WIllshaw
2000-01-25 0:00 ` Stefan Skoglund
2000-01-14 0:00 ` Marin D. Condic
[not found] <sBvg4.3142$iy5.199834@typ12.deja.bcandid.com>
2000-01-17 0:00 ` 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