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/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/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 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/profile/DatedValue.cpp
include src/kernel/resource/profile/DatedValue.hpp
include src/kernel/resource/profile/Event.hpp
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