We are happy to announce the release of Spot 2.4.1
This is a maintenance release containing only bug fixes.
You can find the new release here:
http://www.lrde.epita.fr/dload/spot/spot-2.4.1.tar.gz
See https://spot.lrde.epita.fr/ for documentation and installation instructions.
This release contains patches contributed by Maximilien Colange, Florian Perlié-Long, Alexandre Gbaguidi Aïsse, and myself. As always, please direct any feedback to spot@lrde.epita.fr.
New in spot 2.4.1 (2017-10-05)
Bugs fixed:
- The formula class failed to build {a->c[*]} although it is allowed by our grammar.
- spot::scc_info::determine_unknown_acceptance() incorrectly considered some rejecting SCC as accepting.
- spot::streett_to_generalized_buchi() could generate automata with empty language if some Fin set did not intersect all accepting SCCs. As a consequence, some Streett-like automata were considered empty even though they were not. Also, the same function could crash on input that had a Streett-like acceptance not using all declared sets.
- The twa_graph::merge_edges() function relied on BDD IDs to sort edges. This in turn caused some algorithms (like the degeneralization) to produce slighltly different (but still correct) outputs depending on the BDD operations performed before.
- spot::simulation() could incorrectly flag an automaton as non-deterministic.