[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
No Subject
Dear friends,
release 0.6 of the CASL tool set (CATS) has just been installed under
http://www.informatik.uni-bremen.de/cofi/CASL/CATS
Improvements w.r.t. CATS 0.56 are:
- much faster analysis of structured specifications
- numerous reported bugs have been corrected
- improved error messages
- The basic datatypes (version 0.5) now go thorugh the
complete static analysis, and this within a reasonable time
(they are provided within the distribution)
Greetings,
Till
P.S.
The next release will include:
- Recognition of CASL 1.0.1 syntax (plus migration tool from 1.0)
- XML interface
- better library management (no need to recompile user libraries every time)
-----------------------------------------------------------------------------
Till Mossakowski Phone +49-421-218-4683, monday: +49-4252-1859
Dept. of Computer Science Fax +49-421-218-3054
University of Bremen till@informatik.uni-bremen.de
P.O.Box 330440, D-28334 Bremen http://www.informatik.uni-bremen.de/~till
-----------------------------------------------------------------------------