X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/eaf8316769037f78a4b9d475d9c81a182da655dc..9c4b046a0b348663606b63e1446aba8c77cb2b1a:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 031b3693a6..5038c32cb5 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -39,12 +39,28 @@ include examples/c/actor-suspend/actor-suspend.tesh include examples/c/actor-yield/actor-yield.c include examples/c/actor-yield/actor-yield.tesh include examples/c/actor-yield/actor-yield_d.xml +include examples/c/app-bittorrent/app-bittorrent.c +include examples/c/app-bittorrent/app-bittorrent.h +include examples/c/app-bittorrent/app-bittorrent.tesh +include examples/c/app-bittorrent/app-bittorrent_d.xml +include examples/c/app-bittorrent/bittorrent-peer.c +include examples/c/app-bittorrent/bittorrent-peer.h +include examples/c/app-bittorrent/generate.py +include examples/c/app-bittorrent/tracker.c +include examples/c/app-bittorrent/tracker.h include examples/c/app-chainsend/app-chainsend.tesh include examples/c/app-chainsend/app-chainsend_d.xml include examples/c/app-chainsend/broadcaster.c include examples/c/app-chainsend/chainsend.c include examples/c/app-chainsend/chainsend.h include examples/c/app-chainsend/peer.c +include examples/c/app-masterworker/app-masterworker-multicore.tesh +include examples/c/app-masterworker/app-masterworker-multicore_d.xml +include examples/c/app-masterworker/app-masterworker-vivaldi.tesh +include examples/c/app-masterworker/app-masterworker-vivaldi_d.xml +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 @@ -70,6 +86,23 @@ include examples/c/cloud-migration/cloud-migration.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/dht-kademlia/answer.c +include examples/c/dht-kademlia/answer.h +include examples/c/dht-kademlia/common.h +include examples/c/dht-kademlia/dht-kademlia.c +include examples/c/dht-kademlia/dht-kademlia.tesh +include examples/c/dht-kademlia/dht-kademlia_d.xml +include examples/c/dht-kademlia/generate.py +include examples/c/dht-kademlia/message.c +include examples/c/dht-kademlia/message.h +include examples/c/dht-kademlia/node.c +include examples/c/dht-kademlia/node.h +include examples/c/dht-kademlia/routing_table.c +include examples/c/dht-kademlia/routing_table.h +include examples/c/dht-pastry/dht-pastry.c +include examples/c/dht-pastry/dht-pastry.tesh +include examples/c/dht-pastry/dht-pastry_d.xml +include examples/c/dht-pastry/generate.py include examples/c/energy-exec-ptask/energy-exec-ptask.c include examples/c/energy-exec-ptask/energy-exec-ptask.tesh include examples/c/energy-exec/energy-exec.c @@ -98,6 +131,8 @@ include examples/c/platform-properties/platform-properties.tesh include examples/c/platform-properties/platform-properties_d.xml include examples/c/plugin-hostload/plugin-hostload.c include examples/c/plugin-hostload/plugin-hostload.tesh +include examples/c/synchro-semaphore/synchro-semaphore.c +include examples/c/synchro-semaphore/synchro-semaphore.tesh include examples/deprecated/java/app/bittorrent/Common.java include examples/deprecated/java/app/bittorrent/Connection.java include examples/deprecated/java/app/bittorrent/Main.java @@ -218,54 +253,14 @@ 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/app-masterworker/app-masterworker-multicore.tesh -include examples/deprecated/msg/app-masterworker/app-masterworker-multicore_d.xml -include examples/deprecated/msg/app-masterworker/app-masterworker-vivaldi.tesh -include examples/deprecated/msg/app-masterworker/app-masterworker-vivaldi_d.xml -include examples/deprecated/msg/app-masterworker/app-masterworker.c -include examples/deprecated/msg/app-masterworker/app-masterworker.tesh -include examples/deprecated/msg/app-masterworker/app-masterworker_d.xml -include examples/deprecated/msg/dht-kademlia/answer.c -include examples/deprecated/msg/dht-kademlia/answer.h -include examples/deprecated/msg/dht-kademlia/common.h -include examples/deprecated/msg/dht-kademlia/dht-kademlia.c -include examples/deprecated/msg/dht-kademlia/dht-kademlia.h -include examples/deprecated/msg/dht-kademlia/dht-kademlia.tesh -include examples/deprecated/msg/dht-kademlia/dht-kademlia_d.xml -include examples/deprecated/msg/dht-kademlia/generate.py -include examples/deprecated/msg/dht-kademlia/node.c -include examples/deprecated/msg/dht-kademlia/node.h -include examples/deprecated/msg/dht-kademlia/routing_table.c -include examples/deprecated/msg/dht-kademlia/routing_table.h -include examples/deprecated/msg/dht-kademlia/task.c -include examples/deprecated/msg/dht-kademlia/task.h -include examples/deprecated/msg/dht-pastry/dht-pastry.c -include examples/deprecated/msg/dht-pastry/dht-pastry.tesh -include examples/deprecated/msg/dht-pastry/dht-pastry_d.xml -include examples/deprecated/msg/dht-pastry/generate.py -include examples/deprecated/msg/mc/bugged1.c -include examples/deprecated/msg/mc/bugged1.tesh -include examples/deprecated/msg/mc/bugged1_liveness.c -include examples/deprecated/msg/mc/bugged1_liveness.tesh -include examples/deprecated/msg/mc/bugged1_liveness_stack_cleaner -include examples/deprecated/msg/mc/bugged1_liveness_visited.tesh -include examples/deprecated/msg/mc/bugged2.c -include examples/deprecated/msg/mc/bugged2.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_bugged1.xml -include examples/deprecated/msg/mc/deploy_bugged1_liveness.xml -include examples/deprecated/msg/mc/deploy_bugged1_liveness_visited.xml -include examples/deprecated/msg/mc/deploy_bugged2.xml 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_bugged1_liveness include examples/deprecated/msg/mc/promela_bugged2_liveness -include examples/deprecated/msg/synchro-semaphore/synchro-semaphore.c -include examples/deprecated/msg/synchro-semaphore/synchro-semaphore.tesh include examples/deprecated/msg/trace-categories/trace-categories.c include examples/deprecated/msg/trace-categories/trace-categories.tesh include examples/deprecated/msg/trace-host-user-variables/trace-host-user-variables.c @@ -288,8 +283,6 @@ include examples/deprecated/simdag/daxload/simple_dax_with_cycle.xml include examples/deprecated/simdag/daxload/smalldax.xml include examples/deprecated/simdag/fail/sd_fail.c include examples/deprecated/simdag/fail/sd_fail.tesh -include examples/deprecated/simdag/properties/sd_properties.c -include examples/deprecated/simdag/properties/sd_properties.tesh include examples/deprecated/simdag/ptg-dotload/ptg.dot include examples/deprecated/simdag/ptg-dotload/sd_ptg-dotload.c include examples/deprecated/simdag/ptg-dotload/sd_ptg-dotload.tesh @@ -461,7 +454,15 @@ include examples/s4u/io-file-system/s4u-io-file-system.cpp include examples/s4u/io-file-system/s4u-io-file-system.tesh include examples/s4u/maestro-set/s4u-maestro-set.cpp include examples/s4u/maestro-set/s4u-maestro-set.tesh -include examples/s4u/mc-electric-fence/platform.xml +include examples/s4u/mc-bugged1-liveness/promela_bugged1_liveness +include examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness-stack-cleaner +include examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness-visited.tesh +include examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp +include examples/s4u/mc-bugged1-liveness/s4u-mc-bugged1-liveness.tesh +include examples/s4u/mc-bugged1/s4u-mc-bugged1.cpp +include examples/s4u/mc-bugged1/s4u-mc-bugged1.tesh +include examples/s4u/mc-bugged2/s4u-mc-bugged2.cpp +include examples/s4u/mc-bugged2/s4u-mc-bugged2.tesh include examples/s4u/mc-electric-fence/s4u-mc-electric-fence.cpp include examples/s4u/mc-electric-fence/s4u-mc-electric-fence.tesh include examples/s4u/mc-failing-assert/s4u-mc-failing-assert.cpp @@ -657,19 +658,6 @@ include teshsuite/mc/random-bug/random-bug-nocrash.tesh 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/app-bittorrent/app-bittorrent.tesh -include teshsuite/msg/app-bittorrent/app-bittorrent_d.xml -include teshsuite/msg/app-bittorrent/bittorrent-messages.c -include teshsuite/msg/app-bittorrent/bittorrent-messages.h -include teshsuite/msg/app-bittorrent/bittorrent-peer.c -include teshsuite/msg/app-bittorrent/bittorrent-peer.h -include teshsuite/msg/app-bittorrent/bittorrent.c -include teshsuite/msg/app-bittorrent/bittorrent.h -include teshsuite/msg/app-bittorrent/connection.c -include teshsuite/msg/app-bittorrent/connection.h -include teshsuite/msg/app-bittorrent/generate.py -include teshsuite/msg/app-bittorrent/tracker.c -include teshsuite/msg/app-bittorrent/tracker.h 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 @@ -1903,6 +1891,7 @@ include examples/platforms/g5k.xml include examples/platforms/griffon.xml include examples/platforms/hosts_with_disks.xml include examples/platforms/meta_cluster.xml +include examples/platforms/model_checker_platform.xml include examples/platforms/multicore_machine.xml include examples/platforms/ns3-big-cluster.xml include examples/platforms/onelink.xml