include examples/c/app-masterworker/app-masterworker.c
include examples/c/app-masterworker/app-masterworker.tesh
include examples/c/app-masterworker/app-masterworker_d.xml
-include examples/c/app-pingpong/app-pingpong.c
-include examples/c/app-pingpong/app-pingpong.tesh
-include examples/c/app-pingpong/app-pingpong_d.xml
include examples/c/app-token-ring/app-token-ring.c
include examples/c/app-token-ring/app-token-ring.tesh
include examples/c/cloud-capping/cloud-capping.c
include examples/c/cloud-migration/cloud-migration.tesh
include examples/c/cloud-simple/cloud-simple.c
include examples/c/cloud-simple/cloud-simple.tesh
+include examples/c/comm-pingpong/comm-pingpong.c
+include examples/c/comm-pingpong/comm-pingpong.tesh
+include examples/c/comm-pingpong/comm-pingpong_d.xml
include examples/c/comm-wait/comm-wait.c
include examples/c/comm-wait/comm-wait.tesh
include examples/c/comm-wait/comm-wait2_d.xml
include examples/s4u/app-masterworkers/s4u-app-masterworkers-fun.cpp
include examples/s4u/app-masterworkers/s4u-app-masterworkers.tesh
include examples/s4u/app-masterworkers/s4u-app-masterworkers_d.xml
-include examples/s4u/app-pingpong/s4u-app-pingpong.cpp
-include examples/s4u/app-pingpong/s4u-app-pingpong.tesh
-include examples/s4u/app-pingpong/simix-breakpoint.tesh
include examples/s4u/app-token-ring/s4u-app-token-ring.cpp
include examples/s4u/app-token-ring/s4u-app-token-ring.tesh
include examples/s4u/cloud-capping/s4u-cloud-capping.cpp
include examples/s4u/cloud-simple/s4u-cloud-simple.tesh
include examples/s4u/comm-dependent/s4u-comm-dependent.cpp
include examples/s4u/comm-dependent/s4u-comm-dependent.tesh
+include examples/s4u/comm-host2host/s4u-comm-host2host.cpp
+include examples/s4u/comm-host2host/s4u-comm-host2host.tesh
+include examples/s4u/comm-pingpong/s4u-comm-pingpong.cpp
+include examples/s4u/comm-pingpong/s4u-comm-pingpong.tesh
+include examples/s4u/comm-pingpong/simix-breakpoint.tesh
include examples/s4u/comm-ready/s4u-comm-ready.cpp
include examples/s4u/comm-ready/s4u-comm-ready.tesh
include examples/s4u/comm-ready/s4u-comm-ready_d.xml
include examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh
include examples/s4u/mc-failing-assert/s4u-mc-failing-assert.cpp
include examples/s4u/mc-failing-assert/s4u-mc-failing-assert.tesh
+include examples/s4u/network-ns3-wifi/s4u-network-ns3-wifi.cpp
+include examples/s4u/network-ns3-wifi/s4u-network-ns3-wifi.tesh
include examples/s4u/network-ns3/3hosts_2links_d.xml
include examples/s4u/network-ns3/3links-timer_d.xml
include examples/s4u/network-ns3/3links_d.xml
include examples/platforms/vivaldi.xml
include examples/platforms/wifi.xml
include examples/platforms/wifi_energy.xml
+include examples/platforms/wifi_ns3.xml
include examples/python/CMakeLists.txt
include examples/python/actor-create/actor-create_d.xml
include examples/python/actor-lifetime/actor-lifetime_d.xml
include src/mc/checker/SafetyChecker.cpp
include src/mc/checker/SafetyChecker.hpp
include src/mc/checker/SimcallInspector.hpp
+include src/mc/checker/UdporChecker.cpp
+include src/mc/checker/UdporChecker.hpp
include src/mc/checker/simgrid_mc.cpp
include src/mc/compare.cpp
include src/mc/inspect/DwarfExpression.cpp
include src/mc/sosp/Snapshot.cpp
include src/mc/sosp/Snapshot.hpp
include src/mc/sosp/Snapshot_test.cpp
+include src/mc/udpor_global.cpp
+include src/mc/udpor_global.hpp
include src/msg/msg_comm.cpp
include src/msg/msg_global.cpp
include src/msg/msg_legacy.cpp