[Spot-announce] Spot 1.99.9 released

We are happy to announce the release of Spot 1.99.9. This release includes contributions from Amaury Fauchille, Étienne Renault, Laurent Xu, and myself. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-1.99.9.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot(a)lrde.epita.fr>fr>. As their names suggest, all the 1.99.x versions are intermediate releases before a Spot 2.0 release. There is only a small list of NEWS-worthy changes since 1.99.8 listed below. Hopefully the next release will be Spot 2.0. New in spot 1.99.9 (2016-03-14) Command-line tools: * autfilt has two new options: --accept-word=WORD and --reject-word=WORD for filtering automata that accept or reject some word. The option may be used multiple times. Library: * The parse_word() function can be used to parse a lasso-shaped word and build a twa_word. The twa_word::as_automaton() method can be used to create an automaton out of that. * twa::ap_var() renamed to twa::ap_vars(). * emptiness_check_instantiator::min_acceptance_conditions() and emptiness_check_instantiator::max_acceptance_conditions() renamed to emptiness_check_instantiator::min_sets() and emptiness_check_instantiator::max_sets(). * tgba_reachable_iterator (and subclasses) was renamed to twa_reachable_iterator for consistency. Documentation: * The page https://spot.lrde.epita.fr/upgrade2.html should help people migrating old C++ code written for Spot 1.2.x, and update it for (the upcoming) Spot 2.0. Bug fixes: * spot/twaalgos/gtec/gtec.hh was incorrectly installed as spot/tgbaalgos/gtec/gtec.hh. * The shared libraries should now compile again on Darwin. -- Alexandre Duret-Lutz