Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
cosmetics
[simgrid.git] / MANIFEST.in
index a0059d4..acc1fb8 100644 (file)
@@ -3,17 +3,11 @@
 
 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
@@ -758,8 +752,6 @@ 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/availability/availability.tesh
-include teshsuite/simdag/basic1/basic1.c
-include teshsuite/simdag/basic1/basic1.tesh
 include teshsuite/simdag/flatifier/bogus_missing_gateway.tesh
 include teshsuite/simdag/flatifier/bogus_two_hosts_asymetric.tesh
 include teshsuite/simdag/flatifier/flatifier.cpp
@@ -2229,6 +2221,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.cpp
 include src/mc/checker/SimcallInspector.hpp
 include src/mc/checker/UdporChecker.cpp
 include src/mc/checker/UdporChecker.hpp