Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
MC: add an observer to sleep simcalls
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Nov 2023 00:06:57 +0000 (01:06 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Thu, 2 Nov 2023 00:54:48 +0000 (01:54 +0100)
commitd0a8cb4f92bd372f091430671bd30f4422674d76
treeb246dbc9a1456a4a2c7428ee8204a376585f8be8
parentfb5e2f5efff54c1cba2814c60bd099b81ac5f091
MC: add an observer to sleep simcalls
MANIFEST.in
src/kernel/actor/SimcallObserver.cpp
src/kernel/actor/SimcallObserver.hpp
src/mc/explo/odpor/ReversibleRaceCalculator.hpp
src/mc/remote/AppSide.cpp
src/mc/transition/Transition.cpp
src/mc/transition/Transition.hpp
src/mc/transition/TransitionActor.cpp [moved from src/mc/transition/TransitionActorJoin.cpp with 74% similarity]
src/mc/transition/TransitionActor.hpp [moved from src/mc/transition/TransitionActorJoin.hpp with 69% similarity]
src/s4u/s4u_Actor.cpp
tools/cmake/DefinePackages.cmake