Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Rename mc::SafetyChecker to mc::DFSExplorer
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Tue, 8 Mar 2022 18:46:33 +0000 (19:46 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Wed, 9 Mar 2022 09:08:51 +0000 (10:08 +0100)
commit839aa39cec9e814fb9a6ccd5b3c3b870d25c7506
treeffdcc37fa41a37677e16cfeeb87f85db4d790bb3
parent3da4469131de2833075237e540984c82d57870fb
Rename mc::SafetyChecker to mc::DFSExplorer
14 files changed:
MANIFEST.in
examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh
examples/cpp/synchro-barrier/s4u-mc-synchro-barrier.tesh
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh
examples/cpp/synchro-semaphore/s4u-mc-synchro-semaphore.tesh
examples/smpi/mc/only_send_deterministic.tesh
examples/smpi/mc/sendsend.tesh
src/mc/api.cpp
src/mc/explo/CommunicationDeterminismChecker.cpp
src/mc/explo/DFSExplorer.cpp [moved from src/mc/explo/SafetyChecker.cpp with 90% similarity]
src/mc/explo/DFSExplorer.hpp [moved from src/mc/explo/SafetyChecker.hpp with 93% similarity]
src/mc/explo/Exploration.hpp
teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh
tools/cmake/DefinePackages.cmake