Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Discard the wakeup tree when ODPOR reaches a disabled transition
authormlaurent <mathieu.laurent@ens-rennes.fr>
Thu, 9 Nov 2023 09:26:22 +0000 (10:26 +0100)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Thu, 9 Nov 2023 09:26:22 +0000 (10:26 +0100)
commitbc2253e2c879ee28ae5153f1d56497ab802aeea9
tree5edf68c9c934997df8aa188d913710c49d686a7e
parent6e0c79dea1a322c6dbc569725865b7b6b05b2099
Discard the wakeup tree when ODPOR reaches a disabled transition
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/odpor/ReversibleRaceCalculator.cpp
src/mc/explo/odpor/WakeupTree.cpp
src/mc/explo/odpor/WakeupTree.hpp
src/mc/transition/TransitionSynchro.cpp