We are pleased to announce the release of Spot 0.8.3.
Spot is a model-checking library developed collaboratively by LRDE and
LIP6. It provides algorithms and data structures to implement the
automata-theoretic approach to LTL model checking.
This maintenance release fixes a few bugs, adds support for Python 3
(while still supporting Python 2), and improves the web interface.
You can find the new release here:
http://spot.lip6.fr/dl/spot-0.8.3.tar.gz (8.1MB)
New in spot 0.8.3 (2012-03-09):
* Support for both Python 2.x and Python 3.x.
(Previous versions would only work with Python 2.x.)
* The online ltl2tgba.html now stores its state in the URL so that
history is preserved, and links to particular setups can be sent.
* Bug fixes:
- Fix a segfault in the compression code used by the -Z
option of dve2check.
- Fix a race condition in the CGI script.
- Fix a segfault in the CGI script when computing a Büchi run.
--
Alexandre Duret-Lutz
