include examples/python/comm-wait/comm-wait.tesh
include examples/python/comm-waitall/comm-waitall.py
include examples/python/comm-waitall/comm-waitall.tesh
+include examples/python/comm-waitallfor/comm-waitallfor.py
+include examples/python/comm-waitallfor/comm-waitallfor.tesh
include examples/python/comm-waitany/comm-waitany.py
include examples/python/comm-waitany/comm-waitany.tesh
include examples/python/comm-waitfor/comm-waitfor.py
include examples/python/platform-failures/platform-failures.tesh
include examples/python/platform-profile/platform-profile.py
include examples/python/platform-profile/platform-profile.tesh
+include examples/python/synchro-barrier/synchro-barrier.py
+include examples/python/synchro-barrier/synchro-barrier.tesh
+include examples/python/synchro-mutex/synchro-mutex.py
+include examples/python/synchro-mutex/synchro-mutex.tesh
+include examples/python/synchro-semaphore/synchro-semaphore.py
+include examples/python/synchro-semaphore/synchro-semaphore.tesh
include examples/smpi/NAS/DGraph.c
include examples/smpi/NAS/DGraph.h
include examples/smpi/NAS/README.install
include src/kernel/resource/VirtualMachineImpl.hpp
include src/kernel/resource/WifiLinkImpl.cpp
include src/kernel/resource/WifiLinkImpl.hpp
-include src/kernel/resource/profile/DatedValue.cpp
-include src/kernel/resource/profile/DatedValue.hpp
include src/kernel/resource/profile/Event.hpp
include src/kernel/resource/profile/FutureEvtSet.cpp
include src/kernel/resource/profile/FutureEvtSet.hpp
include src/mc/api/State.hpp
include src/mc/compare.cpp
include src/mc/explo/CommunicationDeterminismChecker.cpp
+include src/mc/explo/DFSExplorer.cpp
+include src/mc/explo/DFSExplorer.hpp
include src/mc/explo/Exploration.hpp
include src/mc/explo/LivenessChecker.cpp
include src/mc/explo/LivenessChecker.hpp
-include src/mc/explo/SafetyChecker.cpp
-include src/mc/explo/SafetyChecker.hpp
include src/mc/explo/UdporChecker.cpp
include src/mc/explo/UdporChecker.hpp
include src/mc/explo/simgrid_mc.cpp