-
Alexandre Duret-Lutz authored
* spot/twaalgos/simulation.cc: Detect deterministic automata, and skip the partial-order update. * NEWS: Mention the speedup.
4be7065b
* spot/twaalgos/simulation.cc: Detect deterministic automata, and skip the partial-order update. * NEWS: Mention the speedup.