[CLAIR-announce] CLAIR 1.0

[Roberto Bagnara]

I am very happy to announce the availability of CLAIR 1.0, the first
truly public release of the Combined Language and Abstract
Interpretation Resource.  Feedback is solicited on all aspects of the
system and its documentation.

For more information, visit the CLAIR web site at

        http://www.cs.unipr.it/clair/

Enjoy,

     Roberto Bagnara

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it