We are happy to announce the release of Spot 2.3.4 This is a maintenance release that only contains bug fixes (listed below), and also corrects some minor build issues and typos. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.3.4.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.3.4 (2017-05-11) Bugs fixed: - The transformation to state-based acceptance (spot::sbacc()) was incorrect on automata where the empty acceptance mark is accepting. - The --help output of randaut and ltl2tgba was showing an unsupported %b stat. - ltldo and ltlcross could leave temporary files behind when aborting on error. - The LTL simplifcation rule that turns F(f)|q into F(f|q) when q is a subformula that is both eventual and universal was documented but not applied in some forgotten cases. - Because of some caching inside of ltl2tgba, translating multiple formula in single ltl2tgba run could produce automata different from those produced by individual runs. -- Alexandre Duret-Lutz