Re: AdaZ Validation?

[mfeldman@seas.gwu.edu (Michael Feldman)]

In article <14229@june.cs.washington.edu> pattis@cs.washington.edu (Richard Pattis) writes:
>
>AdaZ is a product that uses the standard Meridian compiler, so I'm nor sure
>if AdaZ (the product) must be validated independently of the compiler it
>uses.  Am I missing something?
>
>Rich Pattis

No, Rich, you haven't missed anything. I've got it straight at this point:
the problem is that AdaZ is not the compiler but rather the "package."
The compiler and linker are in fact Meridian Ada 4.1, which appears indeed
on the validation list for December 1990. One of the certificate numbers is
900909W1.11034. The name AdaZ has been up in the air anyway, as regular
readers of this group know. Have no fears: the compiler inside AdaZ is
duly validated under ACVC 1.11.

Perhaps everyone's difficulty comes from the fact that AdaStudent, Meridian's
plain vanilla version 4.0 for students, was not validated and couldn't be
because of missing chap. 13 material. At that time, this was Meridian's
way of distinguishing the products. No more. Their way of distinguishing
current products is that AdaZ is real-mode only. 

Jim Smith of Meridian tells me that indeed they haven't been including a
photocopy of the validation certificate, but will start doing so again as
its lack is causing folks to switch on their flamethrowers.

I will post a copy of the December 1990 list. Note that the list is
shorter than the November one, because it contains only 1.11-validated
compilers. An odd turn of events is that the expiration of 1.10
certificates occurred all at once (for the first time); I am told by
reliable sources that the Wright-Pat AVF and the vendors are working madly
to finish a bunch of pending 1.11 validations.  Recall that under the new
rules, ALL validation certificates for ACVC version K expire one year after
the expiration of that version. 1.11 went into effect 2 months late, but
1.10 still expired on Dec. 1, 1989. So all the 1.10-validated compilers
turned into pumpkins on Dec. 1, 1990. Ah, bureaucracy...

Hope this helps to damp the flames. Back to technical matters.

Mike Feldman