Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Semaphore made observable from the Checker side
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 3 Mar 2022 13:39:46 +0000 (14:39 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 3 Mar 2022 13:39:46 +0000 (14:39 +0100)
commit6ebb4fb025da8422b9fa57533ec966430b5fff6c
tree310530e1b2b25daf6f0c4ad80cb7964b18954ff1
parent8c7c0f5d324ecb46f856e532350c1a463500c3a7
Semaphore made observable from the Checker side
13 files changed:
src/kernel/activity/MutexImpl.cpp
src/kernel/activity/SemaphoreImpl.cpp
src/kernel/activity/SemaphoreImpl.hpp
src/kernel/actor/SimcallObserver.cpp
src/kernel/actor/SimcallObserver.hpp
src/kernel/actor/SynchroObserver.cpp
src/kernel/actor/SynchroObserver.hpp
src/mc/transition/Transition.cpp
src/mc/transition/Transition.hpp
src/mc/transition/TransitionSynchro.cpp
src/mc/transition/TransitionSynchro.hpp
src/s4u/s4u_Mutex.cpp
src/s4u/s4u_Semaphore.cpp