include examples/c/io-file-remote/io-file-remote.c
include examples/c/io-file-remote/io-file-remote.tesh
include examples/c/io-file-remote/io-file-remote_d.xml
+include examples/c/io-file-system/io-file-system.c
+include examples/c/io-file-system/io-file-system.tesh
include examples/c/platform-failures/platform-failures.c
include examples/c/platform-failures/platform-failures.tesh
include examples/c/platform-properties/platform-properties.c
include examples/deprecated/java/trace/pingpong/Sender.java
include examples/deprecated/java/trace/pingpong/trace-pingpong.tesh
include examples/deprecated/msg/README.doc
+include examples/deprecated/msg/mc/bugged2-liveness.tesh
include examples/deprecated/msg/mc/bugged2_liveness.c
-include examples/deprecated/msg/mc/bugged3.c
include examples/deprecated/msg/mc/centralized_mutex.c
include examples/deprecated/msg/mc/centralized_mutex.tesh
include examples/deprecated/msg/mc/deploy_bugged2_liveness.xml
-include examples/deprecated/msg/mc/deploy_bugged3.xml
include examples/deprecated/msg/mc/deploy_centralized_mutex.xml
include examples/deprecated/msg/mc/promela_bugged2_liveness
include examples/deprecated/msg/trace-categories/trace-categories.c
include teshsuite/mc/random-bug/random-bug-replay.tesh
include teshsuite/mc/random-bug/random-bug.cpp
include teshsuite/mc/random-bug/random-bug.tesh
-include teshsuite/msg/cloud-two-tasks/cloud-two-tasks.c
-include teshsuite/msg/cloud-two-tasks/cloud-two-tasks.tesh
-include teshsuite/msg/get_sender/get_sender.c
-include teshsuite/msg/get_sender/get_sender.tesh
-include teshsuite/msg/io-file/io-file.c
-include teshsuite/msg/io-file/io-file.tesh
include teshsuite/msg/task_destroy_cancel/task_destroy_cancel.c
include teshsuite/msg/task_destroy_cancel/task_destroy_cancel.tesh
-include teshsuite/msg/task_listen_from/task_listen_from.c
-include teshsuite/msg/task_listen_from/task_listen_from.tesh
include teshsuite/python/borken-context/borken-context.py
include teshsuite/python/borken-context/borken-context.tesh
include teshsuite/python/borken-context/borken-context_d.xml
include teshsuite/s4u/activity-lifecycle/testing_test-wait.cpp
include teshsuite/s4u/actor-autorestart/actor-autorestart.cpp
include teshsuite/s4u/actor-autorestart/actor-autorestart.tesh
+include teshsuite/s4u/actor-suspend/actor-suspend.cpp
+include teshsuite/s4u/actor-suspend/actor-suspend.tesh
include teshsuite/s4u/actor/actor.cpp
include teshsuite/s4u/actor/actor.tesh
include teshsuite/s4u/basic-link-test/basic-link-test.cpp
include teshsuite/s4u/cloud-interrupt-migration/cloud-interrupt-migration.tesh
include teshsuite/s4u/cloud-sharing/cloud-sharing.cpp
include teshsuite/s4u/cloud-sharing/cloud-sharing.tesh
+include teshsuite/s4u/cloud-two-execs/cloud-two-execs.cpp
+include teshsuite/s4u/cloud-two-execs/cloud-two-execs.tesh
+include teshsuite/s4u/comm-get-sender/comm-get-sender.cpp
+include teshsuite/s4u/comm-get-sender/comm-get-sender.tesh
include teshsuite/s4u/comm-pt2pt/comm-pt2pt.cpp
include teshsuite/s4u/concurrent_rw/concurrent_rw.cpp
include teshsuite/s4u/concurrent_rw/concurrent_rw.tesh
include teshsuite/surf/surf_usage2/surf_usage2.tesh
include teshsuite/surf/wifi_usage/wifi_usage.cpp
include teshsuite/surf/wifi_usage/wifi_usage.tesh
+include teshsuite/surf/wifi_usage_decay/wifi_usage_decay.cpp
+include teshsuite/surf/wifi_usage_decay/wifi_usage_decay.tesh
include teshsuite/xbt/cmdline/cmdline.c
include teshsuite/xbt/cmdline/cmdline.tesh
include teshsuite/xbt/log_large/log_large.c
include tools/doxygen/xbt_log_extract_hierarchy.pl
include tools/fix-paje-trace.sh
include tools/generate-dwarf-functions
-include tools/graphicator/graphicator.c
+include tools/graphicator/graphicator.cpp
include tools/graphicator/graphicator.tesh
include tools/normalize-pointers.py
include tools/pkg-config/simgrid.pc.in
include examples/platforms/two_peers.xml
include examples/platforms/vivaldi.xml
include examples/platforms/wifi.xml
+include examples/platforms/wifi_decay_2STA.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/instr/instr_paje_trace.cpp
include src/instr/instr_paje_types.cpp
include src/instr/instr_paje_types.hpp
-include src/instr/instr_paje_values.cpp
include src/instr/instr_paje_values.hpp
include src/instr/instr_platform.cpp
include src/instr/instr_private.hpp
include src/mc/mc_hash.cpp
include src/mc/mc_hash.hpp
include src/mc/mc_ignore.hpp
-include src/mc/mc_memory.cpp
include src/mc/mc_mmu.hpp
include src/mc/mc_private.hpp
include src/mc/mc_record.cpp
include src/mc/mc_smx.hpp
include src/mc/mc_state.cpp
include src/mc/mc_state.hpp
+include src/mc/remote/AppSide.cpp
+include src/mc/remote/AppSide.hpp
include src/mc/remote/Channel.cpp
include src/mc/remote/Channel.hpp
-include src/mc/remote/Client.cpp
-include src/mc/remote/Client.hpp
-include src/mc/remote/RemoteClient.cpp
-include src/mc/remote/RemoteClient.hpp
+include src/mc/remote/CheckerSide.cpp
+include src/mc/remote/CheckerSide.hpp
include src/mc/remote/RemotePtr.hpp
+include src/mc/remote/RemoteSimulation.cpp
+include src/mc/remote/RemoteSimulation.hpp
include src/mc/remote/mc_protocol.cpp
include src/mc/remote/mc_protocol.h
include src/mc/sosp/ChunkedData.cpp
include src/smpi/bindings/smpi_f77.cpp
include src/smpi/bindings/smpi_f77_coll.cpp
include src/smpi/bindings/smpi_f77_comm.cpp
+include src/smpi/bindings/smpi_f77_file.cpp
include src/smpi/bindings/smpi_f77_request.cpp
include src/smpi/bindings/smpi_f77_type.cpp
include src/smpi/bindings/smpi_mpi.cpp