From: dewar@gnat.com
Subject: Re: Why a PROGRAM ERROR? A GNAT bug?
Date: 1998/12/11
Date: 1998-12-11T00:00:00+00:00 [thread overview]
Message-ID: <74rrp3$5dd$1@nnrp1.dejanews.com> (raw)
In-Reply-To: 3671433E.79C04602@nowhere.com
In article <3671433E.79C04602@nowhere.com>,
Rusnak <bogus@nowhere.com> wrote:
> I am using a GNAT compiler (i believe the most recent
> one). Is this
> compiler Ada certified?
Public versions of GNAT are not officially validated (this
is a consequence of the validation policy which requires
that there be a contractual relationship between the user
and the validation agency (among other things this allows
the vendor, in this case ACT, to certify that the version
being used is in fact the validated version. ACT cannot
provide any such assurances for the public version, since
the public version is not in our custody.
GNAT has been validated on a number of targets (it is
indeed the only Ada 95 technology that has been 100%
validated including the core and all annexes, using the
latest ACVC suite), but you must be a customer for the
GNAT Professional product to meet formal validation
requirements. For further information on validated
validated versions of GNAT, contact sales@gnat.com.
Robert Dewar
Ada Core Technologies
-----------== Posted via Deja News, The Discussion Network ==----------
http://www.dejanews.com/ Search, Read, Discuss, or Start Your Own
next prev parent reply other threads:[~1998-12-11 0:00 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-12-10 0:00 Why a PROGRAM ERROR? Rusnak
1998-12-11 0:00 ` Matthew Heaney
1998-12-11 0:00 ` Why a PROGRAM ERROR? A GNAT bug? Rusnak
1998-12-11 0:00 ` dewar [this message]
1998-12-14 0:00 ` Why a PROGRAM ERROR? Robert I. Eachus
1998-12-11 0:00 ` dennison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox