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 2016-11-14 20:39:35 +01:00
parent 5376466f43
commit 88a8a3efbe
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

@ -30,7 +30,7 @@ New in spot 2.2 (2016-11-14)
* is_unambiguous() was rewritten in a more efficient way. * is_unambiguous() was rewritten in a more efficient way.
* scc_info learned to determine the acceptance of simple SCCs made * scc_info learned to determine the acceptance of simple SCCs made
of a single self-loop without ressorting to remove_fin() for complex of a single self-loop without resorting to remove_fin() for complex
acceptance conditions. acceptance conditions.
* remove_fin() has been improved to better deal with automata with * remove_fin() has been improved to better deal with automata with