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

* NEWS: Typos.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2022-12-06 16:07:21 +01:00
parent 37d4e513d9
commit 5dbf601afb
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
NEWS
View file

@ -2,7 +2,7 @@ New in spot 2.11.2.dev (not yet released)
Bug fixes: Bug fixes:
- Automata-based implication checks, used to simplify formulas where - Automata-based implication checks, used to simplify formulas were
slower than necessary because the translator was configured to slower than necessary because the translator was configured to
favor determinism unnecessarily. (Issue #521.) favor determinism unnecessarily. (Issue #521.)
@ -23,7 +23,7 @@ New in spot 2.11.2.dev (not yet released)
(e.g., when the State: header declare many more states than the body (e.g., when the State: header declare many more states than the body
of the file). It now warns about those. of the file). It now warns about those.
- 'autfilt -c ...' should display a match count even in present of - 'autfilt -c ...' should display a match count even in presence of
parse errors. parse errors.
- Calling solve_parity_game() multiple times on the same automaton - Calling solve_parity_game() multiple times on the same automaton