AND Public Git Repository - simgrid.git/commit

author	Martin Quinson <martin.quinson@ens-rennes.fr>
	Tue, 2 Aug 2022 09:15:01 +0000 (11:15 +0200)
committer	Martin Quinson <martin.quinson@ens-rennes.fr>
	Tue, 2 Aug 2022 21:29:53 +0000 (23:29 +0200)
commit	96d605fde63f72480bf570f7bc7609e2954cb2d7
tree	b2855d6b912dd828fba78b214be78d47fcc3cf9f	tree \| snapshot
parent	c52b563defdd521c601ba1c591dc3a5f7f369761	commit \| diff

Rename mc::Session into mc::api::RemoteApp

21 files changed:

MANIFEST.in		diff \| blob \| history
src/mc/ModelChecker.cpp		diff \| blob \| history
src/mc/api.cpp		diff \| blob \| history
src/mc/api.hpp		diff \| blob \| history
src/mc/api/RemoteApp.cpp	[moved from src/mc/Session.cpp with 91% similarity]	diff \| blob \| history
src/mc/api/RemoteApp.hpp	[moved from src/mc/Session.hpp with 81% similarity]	diff \| blob \| history
src/mc/api/State.cpp		diff \| blob \| history
src/mc/api/State.hpp		diff \| blob \| history
src/mc/explo/CommunicationDeterminismChecker.cpp		diff \| blob \| history
src/mc/explo/DFSExplorer.cpp		diff \| blob \| history
src/mc/explo/DFSExplorer.hpp		diff \| blob \| history
src/mc/explo/Exploration.hpp		diff \| blob \| history
src/mc/explo/LivenessChecker.cpp		diff \| blob \| history
src/mc/explo/LivenessChecker.hpp		diff \| blob \| history
src/mc/explo/UdporChecker.cpp		diff \| blob \| history
src/mc/explo/UdporChecker.hpp		diff \| blob \| history
src/mc/mc_base.cpp		diff \| blob \| history
src/mc/mc_global.cpp		diff \| blob \| history
src/mc/transition/TransitionAny.cpp		diff \| blob \| history
src/mc/transition/TransitionComm.cpp		diff \| blob \| history
tools/cmake/DefinePackages.cmake		diff \| blob \| history

Clone of SimGrid repository with local patches