AND Public Git Repository - simgrid.git/commit

author	Martin Quinson <martin.quinson@loria.fr>
	Wed, 4 Jul 2018 07:42:54 +0000 (09:42 +0200)
committer	Martin Quinson <martin.quinson@loria.fr>
	Wed, 4 Jul 2018 07:43:51 +0000 (09:43 +0200)
commit	4b0aa1525597fd0800c4d00c6df3f3c49d53ee2c
tree	9a7413141d7d7f2b52cc20d1982e5e8f02d747e5	tree \| snapshot
parent	9ae3c710a6a8ac04570f77d88eb8e0c7a13f101c	commit \| diff

move libsosp into its own directory

21 files changed:

src/mc/ChunkedData.cpp	[deleted file]	blob \| history
src/mc/ModelChecker.cpp		diff \| blob \| history
src/mc/ModelChecker.hpp		diff \| blob \| history
src/mc/RegionSnapshot.cpp	[deleted file]	blob \| history
src/mc/VisitedState.hpp		diff \| blob \| history
src/mc/compare.cpp		diff \| blob \| history
src/mc/mc_global.cpp		diff \| blob \| history
src/mc/mc_hash.cpp		diff \| blob \| history
src/mc/mc_state.hpp		diff \| blob \| history
src/mc/remote/RemoteClient.cpp		diff \| blob \| history
src/mc/sosp/ChunkedData.cpp	[new file with mode: 0644]	blob
src/mc/sosp/ChunkedData.hpp	[moved from src/mc/ChunkedData.hpp with 71% similarity]	diff \| blob \| history
src/mc/sosp/PageStore.cpp	[moved from src/mc/PageStore.cpp with 74% similarity]	diff \| blob \| history
src/mc/sosp/PageStore.hpp	[moved from src/mc/PageStore.hpp with 98% similarity]	diff \| blob \| history
src/mc/sosp/RegionSnapshot.cpp	[new file with mode: 0644]	blob
src/mc/sosp/RegionSnapshot.hpp	[moved from src/mc/RegionSnapshot.hpp with 65% similarity]	diff \| blob \| history
src/mc/sosp/mc_checkpoint.cpp	[moved from src/mc/mc_checkpoint.cpp with 64% similarity]	diff \| blob \| history
src/mc/sosp/mc_page_snapshot.cpp	[moved from src/mc/mc_page_snapshot.cpp with 73% similarity]	diff \| blob \| history
src/mc/sosp/mc_snapshot.cpp	[moved from src/mc/mc_snapshot.cpp with 72% similarity]	diff \| blob \| history
src/mc/sosp/mc_snapshot.hpp	[moved from src/mc/mc_snapshot.hpp with 98% similarity]	diff \| blob \| history
tools/cmake/DefinePackages.cmake		diff \| blob \| history

Clone of SimGrid repository with local patches