We are happy to announce the release of Spot 2.11.2 Spot 2.11.2 fix a couple of issues, and also add a few simple features that have been requested since 2.11.1. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.11.2.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot@lrde.epita.fr>. ⚠ Note that LRDE (EPITA's Research & Development Laboratory) had been merged with another entity into something larger that is now called LRE (EPITA's Research Laboratory). The removal of "development", is nothing to worry about: we are still continuing to develop Spot as part of our research. However a consequence is that this release contains a mix of URLs in "lre.epita.fr" (for services that have already migrated to the new name) and "lrde.epita.fr". If you find a URL ending in "lrde.epita.fr" that does not work, please try without the "d". New in spot 2.11.2 (2022-10-26) Command-line tools: - The --stats specifications %s, %e, %t for printing the number of (reachable) states, edges, and transitions, learned to support options [r], [u], [a] to indicate if only reachable, unreachable, or all elements should be counted. Library: - spot::reduce_parity() now has a "layered" option to force all transition in the same parity layer to receive the same color; like acd_transform() would do. Bugs fixed: - Fix pkg-config files containing @LIBSPOT_PTHREAD@ (issue #520) - spot::relabel_bse() was incorrectly relabeling some dependent Boolean subexpressions in SERE. (Note that this had no consequence on automata translated from those SERE.)