AND Public Git Repository - simgrid.git/commit

author	mlaurent <mathieu.laurent@ens-rennes.fr>
	Thu, 30 Mar 2023 20:09:31 +0000 (22:09 +0200)
committer	mlaurent <mathieu.laurent@ens-rennes.fr>
	Thu, 30 Mar 2023 20:09:31 +0000 (22:09 +0200)
commit	3f53fa0e417dcf21536630d285ec51c0deced9a8
tree	c5c070e814df31791a0cdf66b0ab4c7c49a6cb5f	tree \| snapshot
parent	e48eade5ab404acd1948883302768c55be145b6a	commit \| diff

Rename guide as strategy and fix counter-example display with recipe

20 files changed:

MANIFEST.in		diff \| blob \| history
examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh		diff \| blob \| history
examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh		diff \| blob \| history
examples/cpp/mc-failing-assert/s4u-mc-failing-assert-nodpor.tesh		diff \| blob \| history
examples/cpp/synchro-barrier/s4u-mc-synchro-barrier.tesh		diff \| blob \| history
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh		diff \| blob \| history
examples/smpi/mc/only_send_deterministic.tesh		diff \| blob \| history
examples/sthread/pthread-mc-mutex-simple.tesh		diff \| blob \| history
examples/sthread/pthread-mc-producer-consumer.tesh		diff \| blob \| history
src/mc/api/State.cpp		diff \| blob \| history
src/mc/api/State.hpp		diff \| blob \| history
src/mc/api/strategy/BasicStrategy.hpp	[moved from src/mc/api/guide/BasicGuide.hpp with 87% similarity]	diff \| blob \| history
src/mc/api/strategy/Strategy.hpp	[moved from src/mc/api/guide/GuidedState.hpp with 90% similarity]	diff \| blob \| history
src/mc/api/strategy/WaitStrategy.hpp	[moved from src/mc/api/guide/WaitGuide.hpp with 92% similarity]	diff \| blob \| history
src/mc/explo/DFSExplorer.cpp		diff \| blob \| history
src/mc/mc_config.cpp		diff \| blob \| history
src/mc/mc_config.hpp		diff \| blob \| history
teshsuite/mc/random-bug/random-bug.tesh		diff \| blob \| history
teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh		diff \| blob \| history
tools/cmake/DefinePackages.cmake		diff \| blob \| history

Clone of SimGrid repository with local patches