We are happy to announce the release of Spot 2.7.5

This maintenance release fixing a few minor issues.

You can find the new release here:

http://www.lrde.epita.fr/dload/spot/spot-2.7.5.tar.gz

See https://spot.lrde.epita.fr/ for documentation and installation instructions.

As always, please direct any feedback to spot@lrde.epita.fr.

New in spot 2.7.5 (2019-06-05)

Build:

- Although the Python bindings in this release are still done with Swig3.0, the code has been updated to be compatible with Swig4.0.

Library:

- print_dot will replace labels that have more 2048 characters by a "(label too long)" string. This works around a limitation of GraphViz that aborts when some label exceeds 16k characters, and also helps making large automata more readable.

Bugs fixed:

- spot::translator was not applying Boolean sub-formula rewritting by default unless a spot::option_map was passed. This caused some C++ code for translating certains formulas to be noticeably slower than the equivalent call to the ltl2tgba binary.

- The remove_ap algorithm was preserving the "terminal property" of automata, but it is possible that a non-terminal input produces a terminal output after some propositions are removed.