Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
twaalgos
determinize.cc
Find file
Blame
History
Permalink
determinize: Correct scc optimisation
· 8a5f6523
Alexandre Lewkowicz
authored
Feb 08, 2016
and
Alexandre Duret-Lutz
committed
Feb 12, 2016
* spot/twaalgos/determinize.cc: Don't reuse previous SCC's.
8a5f6523