We are happy to announce the release of Spot 2.6.1
This is a maintenance release containing mostly bug fixes. The only exception is the straightforward --suspendable option added to ltlfilt.
This release contains code contributed by Etienne Renault, Maximilien Colange, Antoine Martin, and myself. Noteworthy changes are given at the end of this email.
You can find the new release here:
http://www.lrde.epita.fr/dload/spot/spot-2.6.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.6.1 (2018-08-04)
Command-line tools:
- "ltlfilt --suspendable" is now a synonym for "ltlfilt --universal --eventual".
Bugs fixed:
- scc_info::split_on_sets() did not correctly register the atomic propositions of the returned automata.
- The spot::tl_simplifier class could raise an exception while attempting to reduce formulas containing unsimplified <->, -> or xor, if options nenoform_stop_on_boolean and synt_impl are both set. (This combination of options is not available from command-line tools.)
- The spot::contains(a, b) function introduced in 2.6 was testing a⊆b instead of a⊇b as one would expect. Infortunately the documentation was also matching the code, so this is a backward incompatible change, but a short-lived one.
- The Python binding of the getter of spot::parsed_formula::f was returning a reference instead of a copy, causing issues if the reference outlasted the parsed_formula struct.