[Spot-announce] Spot 2.8.6 released

We are happy to announce the release of Spot 2.8.6 This maintenance release containing fixes for bug discovered during the development of the future 2.9 release. You can find the new release here: http://www.lrde.epita.fr/dload/spot/spot-2.8.6.tar.gz See https://spot.lrde.epita.fr/ for documentation and installation instructions. Please direct any feedback to <spot(a)lrde.epita.fr>fr>. New in spot 2.8.6 (2020-02-19) Bugs fixed: - calling spot.translate() with two conflicting preferences like spot.translate(..., 'det', 'any') triggered a syntax error in the Python code to handle this error. - degeneralize_tba() was incorrectly not honnoring the "skip_level" optimization after creating an accepting transition; as a consequence, some correct output could be larger than necessary (but still correct). - Some formulas with Boolean sub-formulas equivalent to true or false could be translated into automata with false labels. - The HOA printer would incorrectly output the condition 'Fin(1) & Inf(2) & Fin(0)' as 'Fin(0) | Fin(1) & Inf(2)' due to a bug in the is_generalized_rabin() matching function. -- Alexandre Duret-Lutz