From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 24 Sep 93 10:35:32 GMT From: lab.ultra.nyu.edu!kenner@nyu.edu (Richard Kenner) Subject: Re: Current state of Ada 9X compilers...? Message-ID: <27uihk$nke@cmcl2.NYU.EDU> List-Id: In article garym@alsys.com (Gary Morris @ignite) writes: >Also, some companies using Ada are required by contract or DOD to use a >validated compiler. I haven't heard if anyone will be validating GNAT. >If it is not validated than those companies that need a validated compiler >will still be buying commercial products. NYU's original Ada/Ed compiler was validated, and, in fact, received validation certificate number one. GNAT is an Ada 9X compiler, not Ada 83. We supply an "Ada83" switch, but it does not always preserve Ada 83 semantics so we do not expect GNAT to be validatable as an Ada 83 compiler and feel it is not worthwhile trying that exercise. As far as validating it as an Ada 9X compiler is concerned, as you know there is currently no Ada 9X validation suite and it is not expected that there will be one by the expiration of NYU's current contract to produce GNAT. Therefore validation is not part of the current GNAT effort.