Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move mc_safety code in simgrid::mc
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 8 Mar 2016 13:07:14 +0000 (14:07 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 8 Mar 2016 13:22:19 +0000 (14:22 +0100)
commit269fcd3a8b8e4ae311a99640e3993bdc30b98a5b
treef9ce9a88689dc30f00017b5a81f4c106fc841499
parent31f6ec7370f6689eed6b87f882dc578c9682b2e8
[mc] Move mc_safety code in simgrid::mc
include/xbt/dynar.hpp
src/mc/mc_comm_determinism.cpp
src/mc/mc_compare.cpp
src/mc/mc_config.cpp
src/mc/mc_liveness.cpp
src/mc/mc_request.cpp
src/mc/mc_safety.cpp
src/mc/mc_safety.h
src/mc/mc_visited.cpp
src/mc/simgrid_mc.cpp