[Spot-announce] Spot 0.8.2 has been released

We are pleased to announce the release of Spot 0.8.2. 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, and implement slight speedups to the degeneralization and the Safra complementation. You can find the new release here:   http://spot.lip6.fr/dl/spot-0.8.2.tar.gz New in spot 0.8.2:   * configure now has a --disable-python option to disable     the compilation of Python bindings.   * Minor speedups in the Safra complementation.   * Better memory management for the on-the-fly degeneralization     algorithm.  This mostly benefits to the Safra complementation.   * Bug fixes:     - spot::ltl::length() forgot to count the '&' and '|' operators       in an LTL formula.     - minimize_wdba() could fail to mark some transiant SCCs as accepting,       producing an automaton that was not fully minimized.     - minimize_dfa() could produce incorrect automata, but it is not       clear whether this could have had an inpact on WDBA minimization       (the worse case is that some TGBA would not have been minimized       when they could).     - Fix a Python syntax error in the CGI script.     - Fix compilation with g++ 4.0.     - Fix a make check failure when valgrind is missing. -- Alexandre Duret-Lutz