We are happy to announce the release of Spot 2.10.5
This is a maintenance release fixing an assortment of minor bugs discovered over the last three months.
You can find the new release here:
http://www.lrde.epita.fr/dload/spot/spot-2.10.5.tar.gz
See https://spot.lrde.epita.fr/ for documentation and installation instructions. (The spot web site is not yet updated to point to 2.10.5, but that should be fixed in the next days.)
Please direct any feedback to spot@lrde.epita.fr.
New in spot 2.10.5 (2022-05-03)
Bugs fixed:
- reduce_parity() produced incorrect results when applied to automata with deleted edges.
- An optimization of Zielonka could result in incorrect results in some cases.
- ltlsynt --print-pg incorrectly solved the game in addition to printing it.
- ltlsynt would fail if only one of --ins or --outs was set, and if it was set empty.
- Work around a portability issue in Flex 2.6.4 preventing compilation on OpenBSD.
- Do not use the seq command in test cases, it is not available everywhere.
- Do not erase the previous contents of the PYTHONPATH environment variable when running tests, prepend to it instead.
- Simplify Debian instructions for LTO build to work around newer libtool version.
- Fix invalid read in digraph::sort_edges_of_(), currently unused in Spot.