Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e1459ae) | patch
[mc] Move mc_global stuff into CommunicationDeterminismChecker
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 14 Apr 2016 09:52:15 +0000 (11:52 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 14 Apr 2016 09:52:15 +0000 (11:52 +0200)
commit71f071bb10968ac0d3c4ed606a7225d9447d9034
treea3c8af337042f9613c35b5d4e772b09c09983122tree | snapshot
parente1459ae1f3ca27cf74f3592980445151049defd1commit | diff
[mc] Move mc_global stuff into CommunicationDeterminismChecker

Get rid of initial_global_state.
src/mc/CommunicationDeterminismChecker.cpp diff | blob | history
src/mc/CommunicationDeterminismChecker.hpp diff | blob | history
src/mc/mc_comm_pattern.cpp diff | blob | history
src/mc/mc_comm_pattern.h diff | blob | history
src/mc/mc_global.cpp diff | blob | history
src/mc/mc_snapshot.h diff | blob | history
src/mc/mc_state.h diff | blob | history
Clone of SimGrid repository with local patches