From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: ASIS for GNAT
Date: 1998/04/20
Date: 1998-04-20T00:00:00+00:00 [thread overview]
Message-ID: <dewar.893122553@merv> (raw)
In-Reply-To: llafh6.ak.ln@localhost
Nigel asks
<<Can anyone give me pointers on where to find the latest public version of
ASIS-for-GNAT. I am doing some research in automated test-data generation
for Ada programs and currently rely on using the internal GNAT semantic
tree. Obviously using ASIS is the way to go. I would like to know how
complete the ASIS implementation is, which version of GNAT it works with,
and where to find it.
Also if the public release is a long way behind the supported release
information on the state of the supported release would also be useful.
>>
In fact the public release of ASIS is quite a bit behind, but we expect
in the near future to make a coordinated public release of a more recent
version of GNAT and a matching ASIS. So if you can wait a little bit
you will be in better shape. For information on support of the commercial
versionb of GNAT and ASIS, send email to our sales department.
next prev parent reply other threads:[~1998-04-20 0:00 UTC|newest]
Thread overview: 8+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-04-20 0:00 ASIS for GNAT Nigel J. Tracey
1998-04-20 0:00 ` Matthew Heaney
1998-04-20 0:00 ` Robert Dewar [this message]
-- strict thread matches above, loose matches on Subject: below --
1999-01-18 0:00 Fwd: " Nigel Tracey
1999-01-18 0:00 ` David C. Hoos, Sr.
1999-01-18 0:00 ` dewar
2002-06-05 4:11 ASIS for gnat John M. Resler
2002-06-05 7:30 ` Thomas Wolf
2002-06-05 13:50 ` John M. Resler
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox