alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* NEWS: Prepare for next release.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2022-01-14 20:34:16 +01:00
parent 34646bc0ab
commit 4692b89629
1 changed files with 9 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

10
NEWS
View file

@ -4,19 +4,27 @@ New in spot 2.10.2.dev (not yet released)
- On automata where the absence of color is not rejecting - On automata where the absence of color is not rejecting
(e.g. co-Büchi) and where the initial state was in a rejecting (e.g. co-Büchi) and where the initial state was in a rejecting
SCC, sbacc() could output a superflous state. (Issue #492) SCC, sbacc() could output a superfluous state. (Issue #492)
- Compared to 2.9.8, complement() (and many functions using it) was - Compared to 2.9.8, complement() (and many functions using it) was
slower and produced larger outputs on some automata with more than slower and produced larger outputs on some automata with more than
32 states due to an optimization of the determinization being 32 states due to an optimization of the determinization being
unintentionally disabled. unintentionally disabled.
- The split_2step() function used to create a synthesis game could
complain that it was unable to complement a monitor (Issue #495).
- Work around GraphViz bug #2179 by avoiding unnecessary empty - Work around GraphViz bug #2179 by avoiding unnecessary empty
lines in the acceptance conditions shown in dot. lines in the acceptance conditions shown in dot.
- Fix a case where generic_accepting_run() incorrectly returns a - Fix a case where generic_accepting_run() incorrectly returns a
cycle around a rejecting self-loop. cycle around a rejecting self-loop.
- Mealy machine resulting from SAT-based minimization could differ
on architectures with different hash tables implementations.
- org-mode moved to GNU ELPA (Issue #496).
New in spot 2.10.2 (2021-12-03) New in spot 2.10.2 (2021-12-03)
Bugs fixed: Bugs fixed: