Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: move the reversible_race logic to the Transition class
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 13 Nov 2023 22:54:15 +0000 (23:54 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Mon, 13 Nov 2023 23:05:45 +0000 (00:05 +0100)
commit7e625e5e848a284b522d69ec28cb111f1f88515b
treed2fc23883d380240d5c7c915609e7c3c03ce0076
parent90bddc474870ce50b5398b88c7de59336d00a85f
MC: move the reversible_race logic to the Transition class
18 files changed:
MANIFEST.in
src/mc/explo/odpor/Execution.cpp
src/mc/explo/odpor/ReversibleRaceCalculator.cpp [deleted file]
src/mc/explo/odpor/ReversibleRaceCalculator.hpp [deleted file]
src/mc/transition/Transition.hpp
src/mc/transition/TransitionActor.cpp
src/mc/transition/TransitionActor.hpp
src/mc/transition/TransitionAny.cpp
src/mc/transition/TransitionAny.hpp
src/mc/transition/TransitionComm.cpp
src/mc/transition/TransitionComm.hpp
src/mc/transition/TransitionObjectAccess.cpp
src/mc/transition/TransitionObjectAccess.hpp
src/mc/transition/TransitionRandom.cpp
src/mc/transition/TransitionRandom.hpp
src/mc/transition/TransitionSynchro.cpp
src/mc/transition/TransitionSynchro.hpp
tools/cmake/DefinePackages.cmake