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.7 required=5.0 tests=BAYES_00,INVALID_DATE, MSGID_SHORT,REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!mnetor!tmsoft!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!uunet!seas.gwu.edu!mfeldman From: mfeldman@seas.gwu.edu (Michael Feldman) Newsgroups: comp.lang.ada Subject: Re: AdaZ Validation? Message-ID: <2479@sparko.gwu.edu> Date: 21 Dec 90 22:03:34 GMT References: <9012201150.AA05505@NSWC-WO.ARPA> <14229@june.cs.washington.edu> Reply-To: mfeldman@seas.gwu.edu () Organization: The George Washington University, Washington D.C. List-Id: 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