[Spot-announce] Spot 2.3.3 released

We are happy to announce the release of Spot 2.3.3. This is a maintenance release that only contains minor bug fixes, and minor enhancements, as listed below. This release contains contributions from Thomas Medioni, Maximilien Colange, and myself. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.3.3.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.3.3 (2017-04-11) Tools: - ltldo and ltlcross learned shorthands to talk to ltl2da, ltl2dpa, and ltl2ldba (from Owl) without needing to specify %f>%O. - genltl learned --spec-patterns as an alias for --dac-patterns; it also learned two new sets of LTL formulas under --hkrss-patterns (a.k.a. --liberouter-patterns) and --p-patterns (a.k.a. --beem-patterns). Bugs fixed: - In "lenient" mode the formula parser would fail to recover from a missing closing brace. - The output of 'genltl --r-left=1 --r-right=1 --format=%F' had typos. - 'ltl2tgba Fa | autfilt --complement' would incorrectly claim that the output is "terminal" because dtwa_complement() failed to reset that property. - spot::twa_graph::purge_unreachable_states() was misbehaving on alternating automata. - In bench/stutter/ the .cc files were not compiling due to warnings being caught as errors. - The code in charge of detecting DBA-type Rabin automata is actually written to handle a slightly larger class of acceptance conditions (e.g., Fin(0)|(Fin(1)&Inf(2))), however it failed to correctly detect DBA-typeness in some of these non-Rabin acceptance. -- Alexandre Duret-Lutz