Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
adding sleep sets to reduction techniques
authormlaurent <mathieu.laurent@ens-rennes.fr>
Mon, 13 Feb 2023 14:33:49 +0000 (15:33 +0100)
committermlaurent <mathieu.laurent@ens-rennes.fr>
Mon, 13 Feb 2023 14:33:49 +0000 (15:33 +0100)
commit5a006fa396cfcc8a91a8284f0d625b2a9a2565c9
tree3778836d057598c3c3f98feae1dacd5095edbc03
parent75e982c8df081076c4d1c40e94552c4159b46feb
adding sleep sets to reduction techniques
src/mc/api/ActorState.hpp
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp