X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ef1af4e53dff6d26dcfabafed5e78b461866071f..7892398d58ea8c28bdbc03bb251bd58e1b66f03e:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index cf536e284d..ebaf62ecd4 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 @@ -715,6 +717,7 @@ 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 examples/sthread/sthread-mutex-simple.tesh include src/include/catch_simgrid.hpp include teshsuite/java/semaphoregc/SemaphoreGC.java include teshsuite/java/semaphoregc/semaphoregc.tesh @@ -898,20 +901,26 @@ include teshsuite/smpi/MBI/CollMatchingGenerator.py include teshsuite/smpi/MBI/CollP2PMatchingGenerator.py include teshsuite/smpi/MBI/CollP2PMessageRaceGenerator.py include teshsuite/smpi/MBI/CollTopoGenerator.py +include teshsuite/smpi/MBI/InputHazardGenerator.py include teshsuite/smpi/MBI/MBI.py include teshsuite/smpi/MBI/MBIutils.py include teshsuite/smpi/MBI/MissingWaitandStartGenerator.py include teshsuite/smpi/MBI/P2PArgGenerator.py +include teshsuite/smpi/MBI/P2PBufferingGenerator.py include teshsuite/smpi/MBI/P2PComGenerator.py include teshsuite/smpi/MBI/P2PInvalidComGenerator.py include teshsuite/smpi/MBI/P2PLocalConcurrencyGenerator.py include teshsuite/smpi/MBI/P2PMatchingANYSRCGenerator.py include teshsuite/smpi/MBI/P2PMatchingGenerator.py +include teshsuite/smpi/MBI/P2PMessageRaceGenerator.py +include teshsuite/smpi/MBI/P2PMessageRaceTagsGenerator.py include teshsuite/smpi/MBI/P2PProbeGenerator.py +include teshsuite/smpi/MBI/P2PSendrecvArgGenerator.py include teshsuite/smpi/MBI/RMAArgGenerator.py include teshsuite/smpi/MBI/RMAInvalidArgGenerator.py include teshsuite/smpi/MBI/RMALocalLocalConcurrencyGenerator.py include teshsuite/smpi/MBI/RMAP2PGlobalConcurrencyGenerator.py +include teshsuite/smpi/MBI/RMAP2PLocalConcurrencyGenerator.py include teshsuite/smpi/MBI/RMARemoteLocalConcurrencyGenerator.py include teshsuite/smpi/MBI/RMARemoteRemoteConcurrencyGenerator.py include teshsuite/smpi/MBI/RMAReqLifecycleGenerator.py @@ -938,7 +947,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 @@ -1966,6 +1974,7 @@ include examples/platforms/two_peers.xml include examples/platforms/vivaldi.xml include examples/platforms/wifi.xml include examples/platforms/wifi_energy.xml +include examples/platforms/wifi_large_cell.xml include examples/platforms/wifi_ns3.xml include examples/python/CMakeLists.txt include examples/python/actor-create/actor-create_d.xml @@ -2278,18 +2287,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 @@ -2322,16 +2331,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/remote/AppSide.cpp include src/mc/remote/AppSide.hpp include src/mc/remote/Channel.cpp @@ -2403,7 +2407,6 @@ include src/simgrid/sg_config.cpp include src/simgrid/sg_version.cpp include src/simgrid/util.hpp include src/simix/libsmx.cpp -include src/simix/smx_context.cpp include src/smpi/bindings/smpi_f77.cpp include src/smpi/bindings/smpi_f77_coll.cpp include src/smpi/bindings/smpi_f77_comm.cpp @@ -2656,6 +2659,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