Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: no need for a depends() method in Observers
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 24 Feb 2022 10:22:29 +0000 (11:22 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 24 Feb 2022 11:43:28 +0000 (12:43 +0100)
commitdc472b7da21b21f1cebacb5d30e4d8176f30a0fd
treed8d389e7f113c69fc82e51f7ee41a43ecde0f925
parentc631036f32a331d99f8ef55654efc21279eed25b
MC: no need for a depends() method in Observers

These things are on the checker side now
src/kernel/actor/MutexObserver.cpp
src/kernel/actor/SimcallObserver.cpp
src/kernel/actor/SimcallObserver.hpp