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 2019-06-12 22:09:07 +02:00
parent eb7b68ad58
commit 2617c17b45
1 changed files with 4 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

8
NEWS
View file

@ -17,7 +17,7 @@ New in spot 2.7.5.dev (not yet released)
determinization-based complementation was not performed at all, determinization-based complementation was not performed at all,
unless -D was specified. unless -D was specified.
- ltlcross will no skip unnecessary cross-checks and - ltlcross will now skip unnecessary cross-checks and
consistency-checks (they are unnecessary when all automata consistency-checks (they are unnecessary when all automata
could be complemented and statistics were not required). could be complemented and statistics were not required).
@ -58,9 +58,9 @@ New in spot 2.7.5.dev (not yet released)
helpful to display automata as "graphs", e.g., when illustrating helpful to display automata as "graphs", e.g., when illustrating
algorithms that do not care about labels. algorithms that do not care about labels.
- A new complement() function that return automata with unspecified - A new complement() function returns complementd automata with
acceptance condition. The output can be alternating only if the unspecified acceptance condition. The output can be alternating
input was alternating. only if the input was alternating.
- There is a new class output_aborter that is used to specify - There is a new class output_aborter that is used to specify
upper bounds on the size of automata produced by some algorithms. upper bounds on the size of automata produced by some algorithms.