0ca40d72d7
* src/tgbaalgos/minimize.cc (minimize_dfa): Fix detection of the last iteration. An extra iteration case could be missed in case where a split generates only singletons, and yet predecessor classes need to be refined.
13 lines
208 B
Text
13 lines
208 B
Text
Have contributed to Spot:
|
|
|
|
Ala-Eddine Ben-Salem
|
|
Alexandre Duret-Lutz
|
|
Damien Lefortier
|
|
Denis Poitrenaud
|
|
Félix Abecassis
|
|
Guillaume Sadegh
|
|
Pierre Parutto
|
|
Rachid Rebiha
|
|
Soheib Baarir
|
|
Thomas Badie
|
|
Thomas Martinez
|