Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : mc_dpor.c -> mc_safety.c
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 3 Jun 2014 16:10:33 +0000 (18:10 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Tue, 3 Jun 2014 16:15:10 +0000 (18:15 +0200)
commit91645ff367766eabbe1d2723e0ba8c18e2c3a682
tree9c27bb82689a028bd01c9b0d23c3136677c6c8c6
parent195caa24ef699efa9e51720309d94c34eff5e527
model-checker : mc_dpor.c -> mc_safety.c
src/mc/mc_dpor.c [deleted file]