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

* NEWS: Typo.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2020-12-08 10:42:45 +01:00
parent 8ac9684a69
commit 9da0b3a1c4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
NEWS
View file

@ -208,7 +208,7 @@ New in spot 2.9.1 (2020-07-15)
ltl2tgba -D -G '(Fa & Fb & Fc & Fd) <-> GFe' ltl2tgba -D -G '(Fa & Fb & Fc & Fd) <-> GFe'
now produces a 16-state automaton (instead of 31 in Spot 2.9). now produces a 16-state automaton (instead of 31 in Spot 2.9).
- Option '-x wdba-minize=N' used to accept N=0 (off), or N=1 (on). - Option '-x wdba-minimize=N' used to accept N=0 (off), or N=1 (on).
It can now take three values: It can now take three values:
0: never attempt this optimization, 0: never attempt this optimization,
1: always try to determinize and minimize automata as WDBA, 1: always try to determinize and minimize automata as WDBA,