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