We are pleased to announce the release of Spot 0.8.1.
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 couple of bugs that crept in Spot 0.8,
as well as an older issue that caused WDBA minimization to be slower
than it should in some cases.
You can find the new release here:
http://spot.lip6.fr/dl/spot-0.8.1.tar.gz
New in spot 0.8.1:
* Only bug fixes:
- When ltl2tgba is set to perform both WDBA minimization and
degeneralization, do the latter only if the former failed.
In previous version, automata were (uselessly) degeneralized
before WDBA minimization, causing important slowdowns.
- Fix compilation with Clang 3.0.
- Fix a Makefile setup causing a "make check" failure on MacOS X.
- Fix an mkdir error in the CGI script.
--
Alexandre Duret-Lutz
We are pleased to announce the release of Spot 0.8.1.
Spot is a model-checking library developed collaboratively by LRDEand
LIP6. It provides algorithms and data structures to implementthe
automata-theoretic approach to LTL model checking.
This maintenance release fixes a couple of bugs that crept in Spot
0.8,as well as an older issue that caused WDBA minimization to be
slower thanit should when producing degeneralized Büchi automata.
You can find the new release here:
http://spot.lip6.fr/dl/spot-0.8.1.tar.gz
New in spot 0.8.1:
* Only bug fixes: - When ltl2tgba is set to perform both WDBA
minimization and degeneralization, do the latter only if the
former failed. In previous version, automata were (uselessly)
degeneralized before WDBA minimization, causing important
slowdowns. - Fix compilation with Clang 3.0. - Fix a Makefile
setup causing a "make check" failure on MacOS X. - Fix an mkdir
error in the CGI script.
--
Alexandre Duret-Lutz
