Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move mc_liveness code in simgrid::mc
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 8 Mar 2016 10:21:13 +0000 (11:21 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 8 Mar 2016 10:31:49 +0000 (11:31 +0100)
commitee95945d9c2e0d0e25b2722a8350a3607a22f5d4
treea7c7233e3ea6867aaadbf52ca6e258c0ba305240
parentb17531686acca9a61c349274d9de9c0dc4c7e07a
[mc] Move mc_liveness code in simgrid::mc
src/mc/ModelChecker.cpp
src/mc/mc_compare.cpp
src/mc/mc_global.cpp
src/mc/mc_liveness.cpp
src/mc/mc_liveness.h
src/mc/mc_pair.cpp
src/mc/mc_record.cpp
src/mc/mc_visited.cpp
src/mc/simgrid_mc.cpp