comp.lang.ada
 help / color / mirror / Atom feed
From: njt@cs.york.ac.uk (Nigel J. Tracey)
Subject: ASIS for GNAT
Date: 1998/04/20
Date: 1998-04-20T00:00:00+00:00	[thread overview]
Message-ID: <llafh6.ak.ln@localhost> (raw)


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. 

Thanks for your help,

Nigel 

--------------------
Nigel J. Tracey MEng, Research Associate (High Integrity Systems Group).
Department of Computer Science,   Office: CS/120K
University of York, 
York, England.                    E-Mail: njt@cs.york.ac.uk
YO1 5DD.                          URL   : http://www.cs.york.ac.uk/~njt





             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 Nigel J. Tracey [this message]
1998-04-20  0:00 ` ASIS for GNAT Matthew Heaney
1998-04-20  0:00 ` Robert Dewar
  -- 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