Spot 2.5.1 has been released. This maintenance release
fixes some serious bugs that have been found in Spot 2.5,
see below for a list. The fixes were contributed by
Maximilien Colange and myself.
You can find the new release here:
http://www.lrde.epita.fr/dload/spot/spot-2.5.1.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>.
You may also report bugs directly on
https://gitlab.lrde.epita.fr/spot/spot/issues
New in spot 2.5.1 (2018-02-20)
Library:
- iar() and iar_maybe() now also handle Streett-like conditions.
Bugs fixed:
- iar() and iar_maybe() properly handle Rabin-like conditions.
- streett_to_generalized_buchi() could produce incorrect result on
Streett-like input with acceptance like (Inf(0)|Fin(1))&Fin(1)
where some Fin(x) is used both with and without a paired Fin(y).
- is_generalized_rabin() had a typo that caused some non-simplified
acceptance conditions like Fin(0)|(Fin(0)&Inf(1)) to be
incorrectly detecteded as generalized-Rabin 2 0 1 and then output
as Fin(0)|(Fin(1)&Inf(2)) instead. Likewise for
is_generalized_streett
- the conversion from Rabin to Büchi was broken on Rabin-like
acceptance condition where one pair used Fin(x) and another pair
used Inf(x) with the same x. Unfortunately, this situation could
also occur as a side effect of simplifying the acceptance
condition (by merging identical set) of some automaton prior to
converting it to Büchi.
- dnf_to_dca() was mishandling some Rabin-like input.
--
Alexandre Duret-Lutz
