We are happy to announce the release of Spot 2.10.2
This is a maintenance release fixing a few bugs discovered over the last two weeks.
You can find the new release here:
http://www.lrde.epita.fr/dload/spot/spot-2.10.2.tar.gz
See https://spot.lrde.epita.fr/ for documentation and installation instructions.
Please direct any feedback to spot@lrde.epita.fr.
New in spot 2.10.2 (2021-12-03)
Bugs fixed:
- twa_graph::purge_dead_states() now also removes edges labeled by bddfalse.
- only use sched_getcpu() and pthread_setaffinity_np() when they are available.
- Using ##300 in a SERE will report that the repeatition exceeds the allowed value using a parse error, not as an exception.
- spot::formula::is_literal() should be const.