AND Public Git Repository - simgrid.git/commit

author	Martin Quinson <martin.quinson@ens-rennes.fr>
	Sun, 26 May 2019 21:17:00 +0000 (23:17 +0200)
committer	Martin Quinson <martin.quinson@ens-rennes.fr>
	Sun, 26 May 2019 21:17:00 +0000 (23:17 +0200)
commit	8b0d5ae29ebd13e69a23991b8adfb67c5c5d79d3
tree	20e92e1181f0fb3625fac92e7718e166e29eac4f	tree \| snapshot
parent	a75c48b9362dfc8b1cfcc329885943d85e42464e	commit \| diff

further tidy the includes in MC

28 files changed:

src/mc/ModelChecker.cpp		diff \| blob \| history
src/mc/ModelChecker.hpp		diff \| blob \| history
src/mc/Session.cpp		diff \| blob \| history
src/mc/Session.hpp		diff \| blob \| history
src/mc/VisitedState.cpp		diff \| blob \| history
src/mc/checker/Checker.cpp		diff \| blob \| history
src/mc/checker/Checker.hpp		diff \| blob \| history
src/mc/checker/CommunicationDeterminismChecker.cpp		diff \| blob \| history
src/mc/checker/CommunicationDeterminismChecker.hpp		diff \| blob \| history
src/mc/checker/LivenessChecker.cpp		diff \| blob \| history
src/mc/checker/LivenessChecker.hpp		diff \| blob \| history
src/mc/checker/SafetyChecker.cpp		diff \| blob \| history
src/mc/checker/SafetyChecker.hpp		diff \| blob \| history
src/mc/checker/simgrid_mc.cpp		diff \| blob \| history
src/mc/mc_base.cpp		diff \| blob \| history
src/mc/mc_client_api.cpp		diff \| blob \| history
src/mc/mc_comm_pattern.cpp		diff \| blob \| history
src/mc/mc_comm_pattern.hpp		diff \| blob \| history
src/mc/mc_config.cpp		diff \| blob \| history
src/mc/mc_global.cpp		diff \| blob \| history
src/mc/mc_ignore.hpp		diff \| blob \| history
src/mc/mc_mmu.hpp		diff \| blob \| history
src/mc/mc_record.hpp		diff \| blob \| history
src/mc/mc_state.cpp		diff \| blob \| history
src/mc/mc_state.hpp		diff \| blob \| history
src/mc/remote/RemotePtr.hpp		diff \| blob \| history
src/mc/sosp/mc_snapshot.cpp		diff \| blob \| history
src/mc/sosp/mc_snapshot_test.cpp		diff \| blob \| history

Clone of SimGrid repository with local patches