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.