We are happy to announce the release of Spot 2.0.3 This is a maintenance release fixing minor issues found since the releace of 2.0.2 last month. The most important changes are detailed below. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.0.3.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. New in spot 2.0.3 (2016-07-11) Bug fixes: * The degen-lcache=1 option of the degeneralization algorithm (which is a default option) did not behave exactly as documented: instead of reusing the first level ever created for a state where the choice of the level is free, it reused the last level ever used. This caused some posterior simulation-based reductions to be less efficient at reducing automata (on the average). * The generalized testing automata displayed by the online translator were incorrect (those output by ltl2tgta were OK). * ltl2tgta should not offer options --ba, --monitor, --tgba and such. * the relabel() function could incorrectly unregister old atomic propositions even when they were still used in the output (e.g., if a&p0 is relabeled to p0&p1). This could cause ltldo and the online translator to report errors. -- Alexandre Duret-Lutz