X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/fd07081f4b8805381e5b1b914df3b974e6b5e026..9992c04bba629eccd44905b4db102436727a779d:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 62758074cb..31e97565d3 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -316,6 +316,8 @@ include examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.cpp include examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.tesh include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.cpp include examples/cpp/mc-electric-fence/s4u-mc-electric-fence.tesh +include examples/cpp/mc-failing-assert/s4u-mc-failing-assert-nodpor.tesh +include examples/cpp/mc-failing-assert/s4u-mc-failing-assert-statequality.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 @@ -557,6 +559,8 @@ include examples/python/exec-cpu-nonlinear/exec-cpu-nonlinear.py include examples/python/exec-cpu-nonlinear/exec-cpu-nonlinear.tesh include examples/python/exec-dvfs/exec-dvfs.py include examples/python/exec-dvfs/exec-dvfs.tesh +include examples/python/exec-ptask/exec-ptask.py +include examples/python/exec-ptask/exec-ptask.tesh include examples/python/exec-remote/exec-remote.py include examples/python/exec-remote/exec-remote.tesh include examples/python/io-degradation/io-degradation.py @@ -710,6 +714,9 @@ include examples/smpi/trace_call_location/trace_call_location.c include examples/smpi/trace_call_location/trace_call_location.tesh include examples/smpi/trace_simple/trace_simple.c include examples/smpi/trace_simple/trace_simple.tesh +include examples/sthread/pthread-mutex-simple.c +include examples/sthread/pthread-mutex-simple.tesh +include examples/sthread/sthread-mutex-simple.c include src/include/catch_simgrid.hpp include teshsuite/java/semaphoregc/SemaphoreGC.java include teshsuite/java/semaphoregc/semaphoregc.tesh @@ -816,6 +823,8 @@ include teshsuite/s4u/cloud-interrupt-migration/cloud-interrupt-migration.tesh include teshsuite/s4u/cloud-two-execs/cloud-two-execs-bmf.tesh include teshsuite/s4u/cloud-two-execs/cloud-two-execs.cpp include teshsuite/s4u/cloud-two-execs/cloud-two-execs.tesh +include teshsuite/s4u/comm-fault-scenarios/comm-fault-scenarios.cpp +include teshsuite/s4u/comm-fault-scenarios/comm-fault-scenarios.tesh include teshsuite/s4u/comm-get-sender/comm-get-sender.cpp include teshsuite/s4u/comm-get-sender/comm-get-sender.tesh include teshsuite/s4u/comm-pt2pt/comm-pt2pt.cpp @@ -931,7 +940,6 @@ include teshsuite/smpi/coll-allreduce/coll-allreduce.tesh include teshsuite/smpi/coll-alltoall/clusters.tesh include teshsuite/smpi/coll-alltoall/coll-alltoall.c include teshsuite/smpi/coll-alltoall/coll-alltoall.tesh -include teshsuite/smpi/coll-alltoall/griffon.tesh include teshsuite/smpi/coll-alltoallv/coll-alltoallv.c include teshsuite/smpi/coll-alltoallv/coll-alltoallv.tesh include teshsuite/smpi/coll-barrier/coll-barrier.c @@ -1971,6 +1979,7 @@ include examples/smpi/comm_dynamic_costs/CMakeLists.txt include examples/smpi/replay_multiple/CMakeLists.txt include examples/smpi/replay_multiple_manual_deploy/CMakeLists.txt include examples/smpi/smpi_s4u_masterworker/CMakeLists.txt +include examples/sthread/CMakeLists.txt include include/simgrid/Exception.hpp include include/simgrid/actor.h include include/simgrid/barrier.h @@ -2052,6 +2061,7 @@ include include/xbt.h include include/xbt/Extendable.hpp include include/xbt/PropertyHolder.hpp include include/xbt/asserts.h +include include/xbt/asserts.hpp include include/xbt/automaton.h include include/xbt/automaton.hpp include include/xbt/backtrace.hpp @@ -2269,18 +2279,18 @@ include src/kernel/timer/Timer.cpp include src/mc/AddressSpace.hpp include src/mc/ModelChecker.cpp include src/mc/ModelChecker.hpp -include src/mc/Session.cpp -include src/mc/Session.hpp include src/mc/VisitedState.cpp include src/mc/VisitedState.hpp -include src/mc/api.cpp -include src/mc/api.hpp +include src/mc/api/ActorState.hpp +include src/mc/api/RemoteApp.cpp +include src/mc/api/RemoteApp.hpp include src/mc/api/State.cpp include src/mc/api/State.hpp include src/mc/compare.cpp include src/mc/explo/CommunicationDeterminismChecker.cpp include src/mc/explo/DFSExplorer.cpp include src/mc/explo/DFSExplorer.hpp +include src/mc/explo/Exploration.cpp include src/mc/explo/Exploration.hpp include src/mc/explo/LivenessChecker.cpp include src/mc/explo/LivenessChecker.hpp @@ -2313,17 +2323,11 @@ include src/mc/mc_config.hpp include src/mc/mc_exit.hpp include src/mc/mc_forward.hpp include src/mc/mc_global.cpp -include src/mc/mc_hash.cpp -include src/mc/mc_hash.hpp -include src/mc/mc_ignore.hpp include src/mc/mc_mmu.hpp -include src/mc/mc_pattern.hpp include src/mc/mc_private.hpp include src/mc/mc_record.cpp include src/mc/mc_record.hpp include src/mc/mc_replay.hpp -include src/mc/mc_safety.hpp -include src/mc/mc_smx.cpp include src/mc/remote/AppSide.cpp include src/mc/remote/AppSide.hpp include src/mc/remote/Channel.cpp @@ -2582,6 +2586,9 @@ include src/smpi/smpif90.in include src/smpi/smpiff.in include src/smpi/smpirun.in include src/smpi/smpitools.sh +include src/sthread/sthread.c +include src/sthread/sthread.h +include src/sthread/sthread_impl.cpp include src/surf/HostImpl.cpp include src/surf/HostImpl.hpp include src/surf/cpu_cas01.cpp @@ -2645,6 +2652,7 @@ include src/xbt/memory_map.cpp include src/xbt/memory_map.hpp include src/xbt/mmalloc/mfree.c include src/xbt/mmalloc/mm.c +include src/xbt/mmalloc/mm_interface.c include src/xbt/mmalloc/mm_legacy.c include src/xbt/mmalloc/mm_module.c include src/xbt/mmalloc/mmalloc.c