X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/61b204c37b11801e5c6649f859773e551c289658..012a604e0ccb1e677bf9d538d06c9adc34740aed:/MANIFEST.in

diff --git a/MANIFEST.in b/MANIFEST.in
index c5d7fa8c64..16e8a3ed9d 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -255,12 +255,11 @@ include examples/deprecated/java/trace/pingpong/Receiver.java
 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
@@ -662,8 +661,6 @@ include teshsuite/mc/random-bug/random-bug.cpp
 include teshsuite/mc/random-bug/random-bug.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
@@ -680,6 +677,8 @@ include teshsuite/s4u/activity-lifecycle/testing_sleep.cpp
 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
@@ -1699,6 +1698,8 @@ include teshsuite/surf/surf_usage2/surf_usage2.cpp
 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
@@ -1939,6 +1940,7 @@ include examples/platforms/two_hosts_profiles.xml
 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
@@ -2149,7 +2151,6 @@ include src/instr/instr_paje_header.cpp
 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
@@ -2276,7 +2277,6 @@ include src/mc/mc_global.cpp
 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
@@ -2289,13 +2289,15 @@ include src/mc/mc_smx.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