We are happy to announce the release of Spot 2.3.5
This is a maintenance release containing only bug fixes.
You can find the new release here:
http://www.lrde.epita.fr/dload/spot/spot-2.3.5.tar.gz
See https://spot.lrde.epita.fr/ for documentation and installation
instructions.
Furthermore, as Debian 9 "Stretch" was recently released, the stable
Debian packages we distribute (see
http://www.lrde.epita.fr/install.html) are now built for Stretch.
As always, please direct any feedback to <spot(a)lrde.epita.fr>.
New in spot 2.3.5 (2017-06-22)
Bugs fixed:
- We have fixed new cases where translating multiple formulas in a
single ltl2tgba run could produce automata different from those
produced by individual runs.
- The print_dot() function had a couple of issues when printing
alternating automata: in particular, when using flag 's' (display
SCC) or 'y' (split universal destination by colors) universal
edges could be connected to undefined states.
- Using --stats=%s or --stats=%s or --stats=%t could take an
unnecessary long time on automata with many atomic propositions,
due to a typo. Furthermore, %s/%e/%t/%E/%T were printing
a number of reachable states/edges/transitions, but %S was
incorrectly counting all states even unreachable.
- Our verson of BuDDy had an incorrect optimization for the
biimp operator.
--
Alexandre Duret-Lutz
