Re: More 100% Ada 95 validations from ACT

[dewar@merv.cs.nyu.edu (Robert Dewar)]

Larry said

<<Actually, my use of PowerMac may have been sloppy since only machines
made by Apple qualify for the name "Macintosh" and I believe the name
"PowerMac" (which I introduced to this thread) is a press contraction
never approved by Apple.  If the Ada validation process is anything
like the C2 evaluation process, a particular hardware platform must
have been specified, and while it may have been from Apple, "PowerMac"
was not its official name.  For those who require a validated compiler,
use of an Apple vs non-Apple PPC-based machine running MacOS is mostly
immaterial (in the worst case, require at least one Apple-branded machine
for testing and final build).>>


Right, and that is why I did not give exact designations in the announcement,
but instead referred people to the official validated compiler list at the
Ada IC. There you will find the precise formal definition of the targets that
are covered by the validations. At some point we will get derived validation
status as appropriate, which will cover all compatible machines.