The partial implementation of ASIS 2.0.J for the GNAT version 3.07 is available by ftp from lglftp.epfl.ch/pub/ASIS. Detailed changes are available.
The current version of ASIS-for-GNAT is the result of the "quick jump" of the internal version for GNAT 3.05 to GNAT 3.07. (The ASIS implementation for GNAT 3.05 was not made publicly available because of some technical problems related to integration of ASIS with GNAT, these problems are fixed for GNAT 3.07). The regression testing has shown some new bugs in the ASIS implementation related to the changes in the structure of the GNAT Abstract Syntax Tree, these bugs have not been fixed for this "quick jump", and we are going to fix them as soon as possible and to update the ASIS version for GNAT 3.07 after that.
We are also going to migrate from ASIS 2.0.J to ASIS 2.0.K in the next ASIS version. From the user's viewpoint, all the differences between ASIS 2.0.J and 2.0.K are in improving the documentation and clarifying the semantics of some queries, so no ASIS application developed for ASIS 2.0.J should be affected by migrating the ASIS implementation from ASIS 2.0.J to ASIS 2.0.K
The version of the ASIS-for-GNAT prototype implementation for GNAT
3.03, announced on May 15, and updated at the end of May, is adjusted
for the GNAT versions 3.04/3.05. It is available by ftp from the
lglftp.epfl.ch ftp site,
directory /pub/ASIS,
files asis.tar.gz or asis.zip (having the
same content).
The ASIS implementation sources themselves have not been changed sinse the end of May 1996.
We have not migrated to ASIS 2.0.F/2.0.G yet, so this version still corresponds to ASIS 2.0.E.
Unfortunately, my mailing system in Moscow does not allow me to use the long lists of addresses, so all the next announcements about ASIS updates will be sent in ASIS WG forum only.
You can find the content of the top-level README file from the current version of the ASIS-for-GNAT distribution at the ftp site above.
The version of the ASIS-for-GNAT prototype implementation for GNAT 3.03 has been put on the lglftp.epfl.ch ftp site, directory /pub/ASIS.
The main difference between this version and the first version, which was announced for GNAT 2.07, is that now, it is possible to process all the supporters of a given ASIS Compilation Unit simultaneously with the unit itself.
This version should be considered as intermediate at least in two important aspects:
You can find the content of the top-level README file from the current version of the ASIS-for-GNAT distribution at the ftp site above.
We have just passed a major milestone, WITH EXCELLENT NEWS.
The ballot for the SC22 issue for ASIS NWI (N1943) closed on 2 February. The ASIS NWI has been approved by SC22 by 16 P members and 1 O member!!! There were no members supporting disapproval. Only 1 P member abstained. 5 P members did not vote.
The ASIS NWI will be now sent to JTC1 for a ballot.
Here's details about this major milestone -- the real story!!
The initial version of the ASIS-for-GNAT prototype implementation is now available on the lglftp.epfl.ch ftp site, directory /pub/ASIS. It is also accessible on the World Wide Web at URL http://lglwww.epfl.ch/cgi-bin/home_page.pl. Under "Online Documents and Components", choose
The first ASIS-for-GNAT announcement was sent on January 9, 1996, to ASIS Officers and to the GNAT team only. Bill Thomas (of MITRE) has already downloaded the prototype and he has already sent the first bug report (the bug is fixed in the current version :-)
You can find the content of the top-level README file from the current version of the ASIS-for-GNAT distribution at the ftp site above.
The ASISRG New Work Item was formally submitted at the SC22 Plenary 18-22 September 1995. The mail ballot date has been established as 2 February 1995. Then we will become officially legit.
Bob Mathis included this item in his minutes of the meeting as the last item:
Sergey Rybin, Alfred Strohmeier, and Eugene Zueff have an update on their ASIS for GNAT implementation. They also have been following the recent discussions relating to ASIS 95 and have some open issues concerning ASIS 95.
They recently announced plans to organize an ASIS Workshop on Friday October 6, 1995, during the Ada in Europe 95 conference (October 2-6, Frankfurt, Germany). They will be the organizers of the Workshop and hope to mail out the corresponding announcement soon.
At the WG9 meeting on 28 April 1995 in Seattle, WG9 members unanimously voted to pursue a new work item: an ISO/IEC ASIS standard for Ada 95. The work item will be accomplished under the auspices of the newly created ISO/IEC JTC1/SC22 WG9 ASISRG (ASIS Rapporteur Group).
The work item must be formally accepted by ISO/IEC JTC1/SC22. This is expected to happen at their meeting in Annapolis, Maryland in mid-September.
The ASISRG will meet in conjunction with the ASISWG meetings using the same model as the ACM SIGAda NUMWG (Numeric Working Group) and the WG9 NRG (Numeric Rapporteur Group) which has already produced two ISO/IEC standards.
The first meeting of the ASISWG/ASISRG will be held in conjunction with WAdaS'95 in McLean, Virginia from, 26-27 June 1995 (Monday-Tuesday).
The ASIS Program View Layer (ASIS/PVL) is a set of reusable abstractions built upon (ASIS). The ASIS/PVL abstractions are "views" of Ada software structure that are commonly used in the static analysis of programs. For each view, ASIS/PVL provides a subsystem which constructs a view data structure using ASIS queries. Together, these subsystems form a layer enabling tool builders to gather information for analysis without having to write detailed ASIS traversals. Thus, in the same way that a widget set hides the intricacies of low-level window system calls, ASIS/PVL simplifies the job of building tools on ASIS.
Information about other ASIS related work is available.
Initial information is available on work to provide an ASIS v2.0 interface to GNAT.
Last update 24 November 1997. Questions, comments to Clyde Roby (CRoby@IDA.Org)