include doc/webcruft/Paje_MSG_screenshot_thn.jpg
include doc/webcruft/eclipseScreenShot.png
include doc/webcruft/output.goal.pdf
-include doc/webcruft/simgrid_logo_2011.gif
-include doc/webcruft/simgrid_logo_2011.png
-include doc/webcruft/simgrid_logo_2011_small.png
include examples/c/actor-create/actor-create.c
include examples/c/actor-create/actor-create.tesh
include examples/c/actor-create/actor-create_d.xml
include examples/cpp/cloud-migration/s4u-cloud-migration.tesh
include examples/cpp/cloud-simple/s4u-cloud-simple.cpp
include examples/cpp/cloud-simple/s4u-cloud-simple.tesh
+include examples/cpp/clusters-multicpu/s4u-clusters-multicpu.cpp
+include examples/cpp/clusters-multicpu/s4u-clusters-multicpu.tesh
include examples/cpp/comm-dependent/s4u-comm-dependent.cpp
include examples/cpp/comm-dependent/s4u-comm-dependent.tesh
include examples/cpp/comm-host2host/s4u-comm-host2host.cpp
include examples/cpp/exec-dependent/s4u-exec-dependent.tesh
include examples/cpp/exec-dvfs/s4u-exec-dvfs.cpp
include examples/cpp/exec-dvfs/s4u-exec-dvfs.tesh
+include examples/cpp/exec-ptask-multicore/s4u-exec-ptask-multicore.cpp
+include examples/cpp/exec-ptask-multicore/s4u-exec-ptask-multicore.tesh
include examples/cpp/exec-ptask/s4u-exec-ptask.cpp
include examples/cpp/exec-ptask/s4u-exec-ptask.tesh
include examples/cpp/exec-remote/s4u-exec-remote.cpp
include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh
include examples/cpp/mc-failing-assert/s4u-mc-failing-assert.cpp
include examples/cpp/mc-failing-assert/s4u-mc-failing-assert.tesh
+include examples/cpp/network-factors/s4u-network-factors.cpp
+include examples/cpp/network-factors/s4u-network-factors.tesh
include examples/cpp/network-ns3-wifi/s4u-network-ns3-wifi.cpp
include examples/cpp/network-ns3-wifi/s4u-network-ns3-wifi.tesh
include examples/cpp/network-ns3/3hosts_2links_d.xml
include examples/cpp/plugin-host-load/s4u-plugin-host-load.tesh
include examples/cpp/plugin-link-load/s4u-plugin-link-load.cpp
include examples/cpp/plugin-link-load/s4u-plugin-link-load.tesh
+include examples/cpp/plugin-prodcons/s4u-plugin-prodcons.cpp
+include examples/cpp/plugin-prodcons/s4u-plugin-prodcons.tesh
include examples/cpp/replay-comm/s4u-replay-comm-split-p0.txt
include examples/cpp/replay-comm/s4u-replay-comm-split-p1.txt
include examples/cpp/replay-comm/s4u-replay-comm-split_d.xml
include examples/smpi/replay_multiple/README
include examples/smpi/replay_multiple/description_file
include examples/smpi/replay_multiple/generate_multiple_deployment.sh
-include examples/smpi/replay_multiple/replay_multiple.c
+include examples/smpi/replay_multiple/replay_multiple.cpp
include examples/smpi/replay_multiple/replay_multiple.tesh
include examples/smpi/replay_multiple/smpi_replay.txt
include examples/smpi/replay_multiple/ti_traces_32_1/ti_trace0.txt
include teshsuite/kernel/context-defaults/factory_raw.tesh
include teshsuite/kernel/context-defaults/factory_thread.tesh
include teshsuite/kernel/context-defaults/factory_ucontext.tesh
+include teshsuite/kernel/simcall-generic/blocking_simcall.hpp
include teshsuite/kernel/simcall-generic/simcall-generic.cpp
include teshsuite/kernel/simcall-generic/simcall-generic.tesh
include teshsuite/kernel/stack-overflow/stack-overflow.cpp
include teshsuite/s4u/host-on-off/host-on-off.tesh
include teshsuite/s4u/is-router/is-router.cpp
include teshsuite/s4u/is-router/is-router.tesh
+include teshsuite/s4u/issue71/issue71.cpp
+include teshsuite/s4u/issue71/issue71.tesh
+include teshsuite/s4u/issue71/platform_bad.xml
include teshsuite/s4u/listen_async/listen_async.cpp
include teshsuite/s4u/listen_async/listen_async.tesh
include teshsuite/s4u/ns3-from-src-to-itself/ns3-from-src-to-itself.cpp
include teshsuite/s4u/ns3-simultaneous-send-rcv/ns3-simultaneous-send-rcv.tesh
include teshsuite/s4u/pid/pid.cpp
include teshsuite/s4u/pid/pid.tesh
+include teshsuite/s4u/seal-platform/seal-platform.cpp
+include teshsuite/s4u/seal-platform/seal-platform.tesh
include teshsuite/s4u/storage_client_server/storage_client_server.cpp
include teshsuite/s4u/storage_client_server/storage_client_server.tesh
include teshsuite/s4u/trace-integration/test-hbp1-c0s0-c0s1.xml
include teshsuite/s4u/vm-live-migration/platform.xml
include teshsuite/s4u/vm-live-migration/vm-live-migration.cpp
include teshsuite/s4u/vm-live-migration/vm-live-migration.tesh
+include teshsuite/s4u/vm-suicide/vm-suicide.cpp
+include teshsuite/s4u/vm-suicide/vm-suicide.tesh
include teshsuite/s4u/wait-any-for/wait-any-for.cpp
include teshsuite/s4u/wait-any-for/wait-any-for.tesh
include teshsuite/simdag/availability/availability.c
include teshsuite/simdag/platforms/bogus_missing_src_gateway.xml
include teshsuite/simdag/platforms/bogus_two_hosts_asymetric.xml
include teshsuite/simdag/platforms/carol.fail
+include teshsuite/simdag/platforms/cluster_dragonfly_noncontiguous_rad.xml
+include teshsuite/simdag/platforms/cluster_fat_tree_noncontiguous_rad.xml
+include teshsuite/simdag/platforms/cluster_torus_noncontiguous_rad.xml
include teshsuite/simdag/platforms/erin.avail
include teshsuite/simdag/platforms/four_hosts_floyd.xml
include teshsuite/simdag/platforms/host_attributes.xml
include teshsuite/smpi/coll-allgather/coll-allgather.tesh
include teshsuite/smpi/coll-allgatherv/coll-allgatherv.c
include teshsuite/smpi/coll-allgatherv/coll-allgatherv.tesh
+include teshsuite/smpi/coll-allreduce-with-leaks/coll-allreduce-with-leaks.c
+include teshsuite/smpi/coll-allreduce-with-leaks/coll-allreduce-with-leaks.tesh
+include teshsuite/smpi/coll-allreduce-with-leaks/mc-coll-allreduce-with-leaks.tesh
include teshsuite/smpi/coll-allreduce/coll-allreduce-automatic.tesh
include teshsuite/smpi/coll-allreduce/coll-allreduce-large.tesh
include teshsuite/smpi/coll-allreduce/coll-allreduce-papi.tesh
include MANIFEST.in.in
include NEWS
include README.md
-include doc/Doxyfile.in
-include doc/Layout.xml
include doc/doxygen/FAQ.doc
include doc/doxygen/inside.doc
include doc/doxygen/inside_cmake.doc
include doc/doxygen/uhood_arch.doc
include doc/doxygen/uhood_switch.doc
include docs/Build.sh
+include docs/README.md
include docs/bin/extract_logs_hierarchy.pl
include docs/find-missing.ignore
include docs/find-missing.py
include docs/source/The_XBT_toolbox.rst
include docs/source/Tutorial_Algorithms.rst
include docs/source/Tutorial_MPI_Applications.rst
+include docs/source/Tutorial_Model-checking.rst
include docs/source/XML_reference.rst
include docs/source/_ext/javasphinx/LICENSE
include docs/source/_ext/javasphinx/MANIFEST.in
include docs/source/img/smpi_simgrid_alltoall_ring_16.png
include docs/source/img/zone_hierarchy.png
include docs/source/index.rst
+include docs/source/intl.rst
include docs/source/tuto_s4u/deployment1.xml
include docs/source/tuto_s4u/deployment2.xml
include docs/source/tuto_s4u/deployment3.xml
include examples/deprecated/java/CMakeLists.txt
include examples/deprecated/msg/mc/CMakeLists.txt
include examples/deprecated/simdag/CMakeLists.txt
+include examples/platforms/CMakeLists.txt
include examples/platforms/bypassRoute.xml
include examples/platforms/bypassZoneRoute.xml
include examples/platforms/cloud.xml
include examples/platforms/profiles/trace_B.txt
include examples/platforms/prop.xml
include examples/platforms/ptask_L07.xml
+include examples/platforms/routing_cluster.cpp
include examples/platforms/routing_cluster.lua
include examples/platforms/routing_cluster.xml
include examples/platforms/routing_none.xml
include include/simgrid/jedule/jedule_events.hpp
include include/simgrid/jedule/jedule_platform.hpp
include include/simgrid/jedule/jedule_sd_binding.h
+include include/simgrid/kernel/Timer.hpp
include include/simgrid/kernel/future.hpp
include include/simgrid/kernel/resource/Action.hpp
include include/simgrid/kernel/resource/Model.hpp
+include include/simgrid/kernel/resource/NetworkModelIntf.hpp
include include/simgrid/kernel/resource/Resource.hpp
include include/simgrid/kernel/routing/ClusterZone.hpp
include include/simgrid/kernel/routing/DijkstraZone.hpp
include include/simgrid/kernel/routing/NetPoint.hpp
include include/simgrid/kernel/routing/NetZoneImpl.hpp
include include/simgrid/kernel/routing/RoutedZone.hpp
+include include/simgrid/kernel/routing/StarZone.hpp
include include/simgrid/kernel/routing/TorusZone.hpp
include include/simgrid/kernel/routing/VivaldiZone.hpp
include include/simgrid/kernel/routing/WifiZone.hpp
include include/simgrid/modelchecker.h
include include/simgrid/msg.h
include include/simgrid/mutex.h
+include include/simgrid/plugins/ProducerConsumer.hpp
include include/simgrid/plugins/dvfs.h
include include/simgrid/plugins/energy.h
include include/simgrid/plugins/file_system.h
include include/simgrid/simdag.h
include include/simgrid/simix.h
include include/simgrid/simix.hpp
-include include/simgrid/simix/blocking_simcall.hpp
include include/simgrid/smpi/smpi_replay.hpp
include include/simgrid/version.h.in
include include/simgrid/vm.h
include include/xbt/signal.hpp
include include/xbt/str.h
include include/xbt/string.hpp
-include include/xbt/synchro.h
include include/xbt/sysdep.h
include include/xbt/system_error.hpp
include include/xbt/utility.hpp
include src/include/xbt/coverage.h
include src/include/xbt/mmalloc.h
include src/include/xbt/parmap.hpp
+include src/include/xbt/xbt_modinter.h
include src/include/xxhash.hpp
include src/instr/instr_config.cpp
include src/instr/instr_interface.cpp
include src/kernel/activity/SynchroRaw.hpp
include src/kernel/actor/ActorImpl.cpp
include src/kernel/actor/ActorImpl.hpp
+include src/kernel/actor/SimcallObserver.cpp
+include src/kernel/actor/SimcallObserver.hpp
include src/kernel/context/Context.cpp
include src/kernel/context/Context.hpp
include src/kernel/context/ContextBoost.cpp
include src/kernel/resource/DiskImpl.cpp
include src/kernel/resource/DiskImpl.hpp
include src/kernel/resource/Model.cpp
-include src/kernel/resource/Resource.cpp
+include src/kernel/resource/NetworkModelIntf_test.cpp
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/StochasticDatedValue.hpp
include src/kernel/routing/ClusterZone.cpp
include src/kernel/routing/DijkstraZone.cpp
+include src/kernel/routing/DijkstraZone_test.cpp
include src/kernel/routing/DragonflyZone.cpp
+include src/kernel/routing/DragonflyZone_test.cpp
include src/kernel/routing/EmptyZone.cpp
include src/kernel/routing/FatTreeZone.cpp
+include src/kernel/routing/FatTreeZone_test.cpp
include src/kernel/routing/FloydZone.cpp
+include src/kernel/routing/FloydZone_test.cpp
include src/kernel/routing/FullZone.cpp
+include src/kernel/routing/FullZone_test.cpp
include src/kernel/routing/NetPoint.cpp
include src/kernel/routing/NetZoneImpl.cpp
include src/kernel/routing/RoutedZone.cpp
+include src/kernel/routing/StarZone.cpp
+include src/kernel/routing/StarZone_test.cpp
include src/kernel/routing/TorusZone.cpp
+include src/kernel/routing/TorusZone_test.cpp
include src/kernel/routing/VivaldiZone.cpp
include src/kernel/routing/WifiZone.cpp
+include src/kernel/timer/Timer.cpp
include src/mc/AddressSpace.hpp
include src/mc/ModelChecker.cpp
include src/mc/ModelChecker.hpp
include src/mc/checker/LivenessChecker.hpp
include src/mc/checker/SafetyChecker.cpp
include src/mc/checker/SafetyChecker.hpp
-include src/mc/checker/SimcallObserver.cpp
-include src/mc/checker/SimcallObserver.hpp
include src/mc/checker/UdporChecker.cpp
include src/mc/checker/UdporChecker.hpp
include src/mc/checker/simgrid_mc.cpp
include src/mc/mc_record.cpp
include src/mc/mc_record.hpp
include src/mc/mc_replay.hpp
-include src/mc/mc_request.cpp
-include src/mc/mc_request.hpp
include src/mc/mc_safety.hpp
include src/mc/mc_smx.cpp
include src/mc/mc_state.cpp
include src/mc/remote/Channel.hpp
include src/mc/remote/CheckerSide.cpp
include src/mc/remote/CheckerSide.hpp
+include src/mc/remote/RemoteProcess.cpp
+include src/mc/remote/RemoteProcess.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.h
include src/mc/sosp/ChunkedData.cpp
include src/mc/sosp/ChunkedData.hpp
include src/msg/msg_private.hpp
include src/msg/msg_process.cpp
include src/msg/msg_task.cpp
+include src/plugins/ProducerConsumer.cpp
include src/plugins/dirty_page_tracking.cpp
include src/plugins/file_system/s4u_FileSystem.cpp
include src/plugins/host_dvfs.cpp
include src/xbt/xbt_str.cpp
include src/xbt/xbt_str_test.cpp
include src/xbt/xbt_virtu.cpp
-include src/xbt_modinter.h
include teshsuite/java/CMakeLists.txt
include teshsuite/kernel/CMakeLists.txt
include teshsuite/lua/CMakeLists.txt