Spot 2.9.2 has been released.

This fixes a bug in ltlcross that was introduced in 2.9 and reported by Salomon Sickert.

You can find the new release here:

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

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

Note that versions 2.9.x are likely to be the last releases using C++14. We plan to switch to C++17 for the next major release. The current code-base is already compatible with C++17, so tools using Spot as a library may consider switching to C++17 already.

Please direct any feedback to spot@lrde.epita.fr.

New in spot 2.9.2 (2020-07-21)

Bugs fixed:

- ltlcross --csv=... --product=N with N>0 could output spurious diagnosics claiming that words were rejected when evaluating the automaton on state-space.

- spot::scc_info::determine_unknown_acceptance() now also update the result of spot::scc_info::one_accepting_scc().