[Spot-announce] Spot 2.2.2 released

We are happy to announce the release of Spot 2.2.2. This is a maintenance release that only contains minor bug fixes, as listed below. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.2.2.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. As always, please direct any feedback to <spot(a)lrde.epita.fr>fr>. New in spot 2.2.2 (2016-12-16) Build: * If the system has an installed libltdl library, use it instead of the one we distribute. Bug fixes: * scc_filter() had a left-over print statement that would print "names" when copying the name of the states. * is_terminal() should reject automata that have accepting transitions going into rejecting SCCs. The whole point of being a terminal automaton is that reaching an accepting transition guarantees that any suffix will be accepted. * The HOA parser incorrectly read "Acceptance: 1 Bar(0)" as a valid way to specify "Acceptance: 1 Fin(0)" because it assumed that everything that was not Inf was Fin. These errors are now diagnosed. * Some of the installed headers (spot/misc/fixpool.hh, spot/misc/mspool.hh, spot/twaalgos/emptiness_stats.hh) were not self-contained. * ltlfilt --from-ltlf should ensure that "alive" holds initially in order to reject empty traces. * the on-line translator had a bug where a long ltl3ba process would continue running even after the script had timeout'ed. -- Alexandre Duret-Lutz