Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Move DPOR and sleep set algorithm from backtrack to run procedure
authormlaurent <mathieu.laurent@ens-rennes.fr>
Sat, 18 Mar 2023 14:58:43 +0000 (15:58 +0100)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Sat, 18 Mar 2023 14:58:43 +0000 (15:58 +0100)
commitadd8b5f44959343a150508770c76912d4886861c
treec554d97ac173ffa345d72000c11888d057d7e8aa
parent916cc08a5243e265e7900010e68ffff4e916e345
Move DPOR and sleep set algorithm from backtrack to run procedure
examples/cpp/synchro-barrier/s4u-mc-synchro-barrier.tesh
examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh
src/mc/explo/DFSExplorer.cpp