Re: Current state of Ada 9X compilers...?

[lab.ultra.nyu.edu!kenner@nyu.edu (Richard Kenner)]

In article <CDtsy4.4nz@alsys.com> 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.