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,c4c7a009e4d10ee8
X-Google-Attributes: gid103376,public
From: dewar@merv.cs.nyu.edu (Robert Dewar)
Subject: Re: ASIS for GNAT
Date: 1998/04/20
Message-ID: <dewar.893122553@merv>#1/1
X-Deja-AN: 346155648
References: <llafh6.ak.ln@localhost>
X-Complaints-To: usenet@news.nyu.edu
X-Trace: news.nyu.edu 893122865 1310 (None) 128.122.140.58
Organization: New York University
Newsgroups: comp.lang.ada
Date: 1998-04-20T00:00:00+00:00
List-Id: <comp.lang.ada>


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.