We are happy to announce the release of Spot 2.11.4 Spot 2.11.4 fix a couple of issues discovered in the last two months. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.11.4.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.4 (2023-02-10) Python: - spot.acd() no longer depends on jQuery for interactivity. Bug fixes: - When merging initial states from state-based automata with multiple initial states (because Spot supports only one), the HOA parser could break state-based acceptance. (Issue #522.) - autfilt --highlight-word refused to work on automata with Fin acceptance for historical reasons, however the code has been perfectly able to handle this for a while. (Issue #523.) - delay_branching_here(), a new optimization of Spot 2.11, had an incorrect handling of states without successors, causing some segfaults. (Issue #524.) - Running delay_branching_here() on state-based automata (this was not done in Spot so far) may require the output to use transition-based acceptance. (Issue #525.) - to_finite(), introduced in 2.11, had a bug that could break the completeness of automata and trigger an exception from the HOA printer. (Issue #526.)