src/kernel/actor/ActorImpl.hpp
src/kernel/actor/CommObserver.cpp
src/kernel/actor/CommObserver.hpp
- src/kernel/actor/MutexObserver.cpp
- src/kernel/actor/MutexObserver.hpp
src/kernel/actor/SimcallObserver.cpp
src/kernel/actor/SimcallObserver.hpp
+ src/kernel/actor/SynchroObserver.cpp
+ src/kernel/actor/SynchroObserver.hpp
${SIMIX_GENERATED_SRC}
)
src/mc/transition/TransitionComm.hpp
src/mc/transition/TransitionRandom.cpp
src/mc/transition/TransitionRandom.hpp
+ src/mc/transition/TransitionSynchro.cpp
+ src/mc/transition/TransitionSynchro.hpp
src/mc/udpor_global.cpp
src/mc/udpor_global.hpp
)