include doc/webcruft/Paje_MSG_screenshot.jpg
include doc/webcruft/Paje_MSG_screenshot_thn.jpg
-include doc/webcruft/SGicon.gif
-include doc/webcruft/SGicon.icns
-include doc/webcruft/SGicon.ico
-include doc/webcruft/awstats_logo3.png
include doc/webcruft/eclipseScreenShot.png
include doc/webcruft/output.goal.pdf
-include doc/webcruft/poster_thumbnail.png
include doc/webcruft/simgrid_logo_2011.gif
include doc/webcruft/simgrid_logo_2011.png
include doc/webcruft/simgrid_logo_2011_small.png
-include doc/webcruft/storage_sample_scenario.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 teshsuite/mc/random-bug/random-bug.tesh
include teshsuite/models/cloud-sharing/cloud-sharing.cpp
include teshsuite/models/cloud-sharing/cloud-sharing.tesh
-include teshsuite/models/ptask_L07/ptask_L07.cpp
-include teshsuite/models/ptask_L07/ptask_L07.tesh
+include teshsuite/models/ptask_L07_usage/ptask_L07_usage.cpp
+include teshsuite/models/ptask_L07_usage/ptask_L07_usage.tesh
include teshsuite/models/wifi_usage/wifi_usage.cpp
include teshsuite/models/wifi_usage/wifi_usage.tesh
include teshsuite/models/wifi_usage_decay/wifi_usage_decay.cpp
include teshsuite/s4u/actor/actor.tesh
include teshsuite/s4u/basic-link-test/basic-link-test.cpp
include teshsuite/s4u/basic-link-test/basic-link-test.tesh
+include teshsuite/s4u/basic-parsing-test/basic-parsing-test-bypass.tesh
+include teshsuite/s4u/basic-parsing-test/basic-parsing-test-sym-full.tesh
+include teshsuite/s4u/basic-parsing-test/basic-parsing-test.cpp
+include teshsuite/s4u/basic-parsing-test/basic-parsing-test.tesh
include teshsuite/s4u/cloud-interrupt-migration/cloud-interrupt-migration.cpp
include teshsuite/s4u/cloud-interrupt-migration/cloud-interrupt-migration.tesh
include teshsuite/s4u/cloud-two-execs/cloud-two-execs.cpp
include teshsuite/s4u/wait-any-for/wait-any-for.tesh
include teshsuite/simdag/availability/availability.c
include teshsuite/simdag/availability/availability.tesh
-include teshsuite/simdag/basic-parsing-test/basic-parsing-test-bypass.tesh
-include teshsuite/simdag/basic-parsing-test/basic-parsing-test-sym-full.tesh
-include teshsuite/simdag/basic-parsing-test/basic-parsing-test.c
-include teshsuite/simdag/basic-parsing-test/basic-parsing-test.tesh
-include teshsuite/simdag/basic0/basic0.c
-include teshsuite/simdag/basic0/basic0.tesh
-include teshsuite/simdag/basic1/basic1.c
-include teshsuite/simdag/basic1/basic1.tesh
-include teshsuite/simdag/basic3/basic3.c
-include teshsuite/simdag/basic3/basic3.tesh
-include teshsuite/simdag/basic4/basic4.c
-include teshsuite/simdag/basic4/basic4.tesh
-include teshsuite/simdag/basic5/basic5.c
-include teshsuite/simdag/basic5/basic5.tesh
-include teshsuite/simdag/basic6/basic6.c
-include teshsuite/simdag/basic6/basic6.tesh
-include teshsuite/simdag/comm-mxn-all2all/comm-mxn-all2all.c
-include teshsuite/simdag/comm-mxn-all2all/comm-mxn-all2all.tesh
-include teshsuite/simdag/comm-mxn-independent/comm-mxn-independent.c
-include teshsuite/simdag/comm-mxn-independent/comm-mxn-independent.tesh
-include teshsuite/simdag/comm-mxn-scatter/comm-mxn-scatter.c
-include teshsuite/simdag/comm-mxn-scatter/comm-mxn-scatter.tesh
-include teshsuite/simdag/comm-p2p-latency-bound/comm-p2p-latency-bound.c
-include teshsuite/simdag/comm-p2p-latency-bound/comm-p2p-latency-bound.tesh
include teshsuite/simdag/flatifier/bogus_missing_gateway.tesh
include teshsuite/simdag/flatifier/bogus_two_hosts_asymetric.tesh
include teshsuite/simdag/flatifier/flatifier.cpp
include teshsuite/simdag/platforms/one_cluster_multicore.xml
include teshsuite/simdag/platforms/one_cluster_router_id.xml
include teshsuite/simdag/platforms/one_cluster_splitduplex.xml
-include teshsuite/simdag/platforms/platform_2p_1bb.xml
-include teshsuite/simdag/platforms/platform_2p_1fl.xml
-include teshsuite/simdag/platforms/platform_2p_1sl.xml
-include teshsuite/simdag/platforms/platform_2p_1sl_hetero.xml
-include teshsuite/simdag/platforms/platform_2p_1switch.xml
-include teshsuite/simdag/platforms/platform_4p_1switch.xml
include teshsuite/simdag/platforms/properties.xml
include teshsuite/simdag/platforms/test_of_is_router.xml
include teshsuite/simdag/platforms/three_hosts_non_symmetric_route.xml
include docs/source/Tutorial_Algorithms.rst
include docs/source/Tutorial_MPI_Applications.rst
include docs/source/XML_Reference.rst
-include docs/source/_ext/autodoxy.py
include docs/source/_ext/javasphinx/LICENSE
include docs/source/_ext/javasphinx/MANIFEST.in
include docs/source/_ext/javasphinx/README.md
include examples/platforms/profiles/trace_A_failure.txt
include examples/platforms/profiles/trace_B.txt
include examples/platforms/prop.xml
+include examples/platforms/ptask_L07.xml
include examples/platforms/routing_cluster.lua
include examples/platforms/routing_cluster.xml
include examples/platforms/routing_none.xml
include include/simgrid/simix.h
include include/simgrid/simix.hpp
include include/simgrid/simix/blocking_simcall.hpp
-include include/simgrid/smpi/replay.hpp
+include include/simgrid/smpi/smpi_replay.hpp
include include/simgrid/version.h.in
include include/simgrid/vm.h
include include/simgrid/zone.h
include include/xbt/file.hpp
include include/xbt/function_types.h
include include/xbt/functional.hpp
-include include/xbt/future.hpp
include include/xbt/graph.h
include include/xbt/log.h
include include/xbt/log.hpp
include include/xbt/module.h
include include/xbt/parmap.h
include include/xbt/parse_units.hpp
+include include/xbt/promise.hpp
include include/xbt/random.hpp
include include/xbt/range.hpp
include include/xbt/replay.hpp
include src/mc/checker/LivenessChecker.hpp
include src/mc/checker/SafetyChecker.cpp
include src/mc/checker/SafetyChecker.hpp
+include src/mc/checker/SimcallInspector.cpp
include src/mc/checker/SimcallInspector.hpp
include src/mc/checker/UdporChecker.cpp
include src/mc/checker/UdporChecker.hpp
