X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/68880b8ce3ff9ade9d9a872db8fa5cdfdff2c2b4..98755faee042e94d1ff52f6e9508b18015bb1ae5:/MANIFEST.in?ds=sidebyside

diff --git a/MANIFEST.in b/MANIFEST.in
index 516d08fbdf..ac81774cdc 100644
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -451,6 +451,8 @@ include examples/smpi/mc/non_termination3.c
 include examples/smpi/mc/non_termination4.c
 include examples/smpi/mc/only_send_deterministic.c
 include examples/smpi/mc/promela_bugged1_liveness
+include examples/smpi/mc/sendsend.c
+include examples/smpi/mc/sendsend.tesh
 include examples/smpi/replay/actions0.txt
 include examples/smpi/replay/actions1.txt
 include examples/smpi/replay/actions_allgatherv.txt
@@ -557,6 +559,7 @@ include teshsuite/mc/mutex-handling/mutex-handling.c
 include teshsuite/mc/mutex-handling/mutex-handling.tesh
 include teshsuite/mc/mutex-handling/mutex-handling_d.xml
 include teshsuite/mc/mutex-handling/without-mutex-handling.tesh
+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
@@ -1747,15 +1750,6 @@ include docs/source/Tutorial_Algorithms.rst
 include docs/source/Tutorial_MPI_Applications.rst
 include docs/source/XML_Reference.rst
 include docs/source/_ext/hidden_code_block.py
-include docs/source/_ext/javasphinx-apidoc
-include docs/source/_ext/javasphinx/__init__.py
-include docs/source/_ext/javasphinx/apidoc.py
-include docs/source/_ext/javasphinx/compiler.py
-include docs/source/_ext/javasphinx/domain.py
-include docs/source/_ext/javasphinx/extdoc.py
-include docs/source/_ext/javasphinx/formatter.py
-include docs/source/_ext/javasphinx/htmlrst.py
-include docs/source/_ext/javasphinx/util.py
 include docs/source/_templates/breadcrumbs.html
 include docs/source/app_msg.rst
 include docs/source/app_s4u.rst
@@ -1896,6 +1890,7 @@ include include/simgrid/Exception.hpp
 include include/simgrid/actor.h
 include include/simgrid/barrier.h
 include include/simgrid/chrono.hpp
+include include/simgrid/cond.h
 include include/simgrid/config.h.in
 include include/simgrid/engine.h
 include include/simgrid/forward.h
@@ -1925,6 +1920,7 @@ include include/simgrid/link.h
 include include/simgrid/mailbox.h
 include include/simgrid/modelchecker.h
 include include/simgrid/msg.h
+include include/simgrid/mutex.h
 include include/simgrid/plugins/dvfs.h
 include include/simgrid/plugins/energy.h
 include include/simgrid/plugins/file_system.h
@@ -2175,6 +2171,7 @@ include src/mc/checker/LivenessChecker.cpp
 include src/mc/checker/LivenessChecker.hpp
 include src/mc/checker/SafetyChecker.cpp
 include src/mc/checker/SafetyChecker.hpp
+include src/mc/checker/SimcallInspector.hpp
 include src/mc/checker/simgrid_mc.cpp
 include src/mc/compare.cpp
 include src/mc/inspect/DwarfExpression.cpp