Skip to content
GitLab
Explore
Sign in
Spot
Spot
Repository
spot
spot
mc
mc.hh
Find file
Blame
History
Permalink
mc: merge deadlock and reachabilty algorithms
· 43ab5cc2
Etienne Renault
authored
May 13, 2020
* spot/mc/deadlock.hh, spot/mc/mc.hh, spot/mc/mc_instanciator.hh, tests/ltsmin/modelcheck.cc: Here.
43ab5cc2