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=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1efdd369be089610
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: gnat-3.10
Date: 1997/07/02
Message-ID: <dewar.867889159@merv>#1/1
X-Deja-AN: 254179925
References: <5o3p39$f2o$1@orion-fddi.rz.uni-ulm.de>
 <33B014E3.3343@no.such.com> <5oqp9s$7vj$1@news.nyu.edu>
 <33B13BF6.79C7@no.such.com> <5os9i9$o32$1@goanna.cs.rmit.edu.au>
 <dewar.867775775@merv> <33B94AF7.1CFB@velveeta.apdev.cs.mci.com>
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1997-07-02T00:00:00+00:00
List-Id: <comp.lang.ada>


James Rogers asks

<<Just a slight detour from the current thread of this subject,
when will gnat-3.10 be generally available to the public on for
free?  How about gnat-4.0?
>>

For GNAT 3.10, we never announce schedules for the public releases, and
we have no definite plans for the 3.10 release. Development is continuing
very rapidly, and basically we wait till there is a nice window of
opportunity in terms of this development cycle till we make the public
release. At this stahge, we will probably wait till the gdb support is
complete, since this seems to be going very well.

The designation 4.0x is reserved for the officially validated version.
TO be using an officially validated version, you must have a contractual
relationship with the holder of the validation certificate, or of courrse
you could do the validation yourself. Thus 4.0 will only be available
to supported customers. It is still free software, but transitive
distribution does not make much sense in this formal case, since the
recipient of a further distribution would NOT be using a formally
validated compiler, according to DoD rules.

If all you are interested in is getting a compiler that is technically
equivalent to the validated compiler, then you have nothing to worry
about. We will release public versions that are indeed equivalent to
the validated versions, and which, for the targets for which we are
validated (13 of them at this stage), will pass all the validation tests.

Indeed we hope that version 3.10 will meet this goal (we run the entire
ACVC suite every night on several different machines).

Robert B.K. Dewar
Ada Core Technologies