X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f10e58f8e9ede5aa9c325ae2441bd74d5b056597..0f0aacb167ddc9427ea1da1c8f1b66ef2d6f532e:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index 0eec0465f0..322f765f6f 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -314,16 +314,8 @@ include examples/cpp/io-priority/s4u-io-priority.cpp include examples/cpp/io-priority/s4u-io-priority.tesh include examples/cpp/maestro-set/s4u-maestro-set.cpp include examples/cpp/maestro-set/s4u-maestro-set.tesh -include examples/cpp/mc-bugged1-liveness/promela_bugged1_liveness -include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness-stack-cleaner -include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness-visited.tesh -include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.cpp -include examples/cpp/mc-bugged1-liveness/s4u-mc-bugged1-liveness.tesh include examples/cpp/mc-bugged1/s4u-mc-bugged1.cpp include examples/cpp/mc-bugged1/s4u-mc-bugged1.tesh -include examples/cpp/mc-bugged2-liveness/promela_bugged2_liveness -include examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.cpp -include examples/cpp/mc-bugged2-liveness/s4u-mc-bugged2-liveness.tesh include examples/cpp/mc-bugged2/s4u-mc-bugged2.cpp include examples/cpp/mc-bugged2/s4u-mc-bugged2.tesh include examples/cpp/mc-centralized-mutex/s4u-mc-centralized-mutex.cpp @@ -331,7 +323,6 @@ 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/mess-wait/s4u-mess-wait.cpp @@ -393,7 +384,6 @@ include examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition- include examples/cpp/synchro-condition-variable-waituntil/s4u-synchro-condition-variable-waituntil.tesh include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.cpp include examples/cpp/synchro-condition-variable/s4u-synchro-condition-variable.tesh -include examples/cpp/synchro-mutex/s4u-mc-synchro-mutex-stateful.tesh include examples/cpp/synchro-mutex/s4u-mc-synchro-mutex.tesh include examples/cpp/synchro-mutex/s4u-synchro-mutex.cpp include examples/cpp/synchro-mutex/s4u-synchro-mutex.tesh @@ -532,22 +522,14 @@ include examples/smpi/gemm/gemm.c include examples/smpi/gemm/gemm.tesh include examples/smpi/hostfile include examples/smpi/mc/bugged1.c -include examples/smpi/mc/bugged1_liveness.c include examples/smpi/mc/bugged2.c include examples/smpi/mc/hostfile_bugged1 -include examples/smpi/mc/hostfile_bugged1_liveness include examples/smpi/mc/hostfile_bugged2 include examples/smpi/mc/hostfile_mutual_exclusion -include examples/smpi/mc/hostfile_non_termination include examples/smpi/mc/hostfile_only_send_deterministic include examples/smpi/mc/mutual_exclusion.c -include examples/smpi/mc/non_termination1.c -include examples/smpi/mc/non_termination2.c -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/only_send_deterministic.tesh -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 @@ -672,10 +654,6 @@ include teshsuite/kernel/context-defaults/factory_thread.tesh include teshsuite/kernel/context-defaults/factory_ucontext.tesh include teshsuite/kernel/stack-overflow/stack-overflow.cpp include teshsuite/kernel/stack-overflow/stack-overflow.tesh -include teshsuite/mc/dwarf-expression/dwarf-expression.cpp -include teshsuite/mc/dwarf-expression/dwarf-expression.tesh -include teshsuite/mc/dwarf/dwarf.cpp -include teshsuite/mc/dwarf/dwarf.tesh include teshsuite/mc/mcmini/barber_shop_deadlock.c include teshsuite/mc/mcmini/barber_shop_deadlock.tesh include teshsuite/mc/mcmini/barber_shop_ok.c @@ -1635,9 +1613,6 @@ include teshsuite/xbt/log_large/log_large.tesh include teshsuite/xbt/log_usage/log_usage.c include teshsuite/xbt/log_usage/log_usage.tesh include teshsuite/xbt/log_usage/log_usage_ndebug.tesh -include teshsuite/xbt/mmalloc/mmalloc_32.tesh -include teshsuite/xbt/mmalloc/mmalloc_64.tesh -include teshsuite/xbt/mmalloc/mmalloc_test.cpp include teshsuite/xbt/parallel_log_crashtest/parallel_log_crashtest.cpp include teshsuite/xbt/parallel_log_crashtest/parallel_log_crashtest.tesh include teshsuite/xbt/parmap_bench/parmap_bench.cpp @@ -1648,7 +1623,6 @@ include teshsuite/xbt/signals/signals.cpp include teshsuite/xbt/signals/signals.tesh include tools/address_sanitizer.supp include tools/fix-paje-trace.sh -include tools/generate-dwarf-functions include tools/graphicator/graphicator.cpp include tools/graphicator/graphicator.tesh include tools/normalize-pointers.py @@ -2017,8 +1991,6 @@ 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 include include/xbt/base.h include include/xbt/config.h @@ -2218,9 +2190,6 @@ include src/kernel/xml/sg_platf.cpp include src/kernel/xml/simgrid.dtd include src/kernel/xml/simgrid_dtd.c include src/kernel/xml/simgrid_dtd.h -include src/mc/AddressSpace.hpp -include src/mc/VisitedState.cpp -include src/mc/VisitedState.hpp include src/mc/api/ActorState.hpp include src/mc/api/ClockVector.cpp include src/mc/api/ClockVector.hpp @@ -2233,15 +2202,12 @@ include src/mc/api/strategy/MaxMatchComm.hpp include src/mc/api/strategy/MinMatchComm.hpp include src/mc/api/strategy/Strategy.hpp include src/mc/api/strategy/UniformStrategy.hpp -include src/mc/compare.cpp include src/mc/datatypes.h 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 include src/mc/explo/UdporChecker.cpp include src/mc/explo/UdporChecker.hpp include src/mc/explo/odpor/ClockVector_test.cpp @@ -2281,24 +2247,6 @@ include src/mc/explo/udpor/maximal_subsets_iterator.cpp include src/mc/explo/udpor/maximal_subsets_iterator.hpp include src/mc/explo/udpor/udpor_forward.hpp include src/mc/explo/udpor/udpor_tests_private.hpp -include src/mc/inspect/DwarfExpression.cpp -include src/mc/inspect/DwarfExpression.hpp -include src/mc/inspect/Frame.cpp -include src/mc/inspect/Frame.hpp -include src/mc/inspect/LocationList.cpp -include src/mc/inspect/LocationList.hpp -include src/mc/inspect/ObjectInformation.cpp -include src/mc/inspect/ObjectInformation.hpp -include src/mc/inspect/Type.hpp -include src/mc/inspect/Variable.hpp -include src/mc/inspect/mc_dwarf.cpp -include src/mc/inspect/mc_dwarf.hpp -include src/mc/inspect/mc_dwarf_attrnames.cpp -include src/mc/inspect/mc_dwarf_tagnames.cpp -include src/mc/inspect/mc_member.cpp -include src/mc/inspect/mc_unw.cpp -include src/mc/inspect/mc_unw.hpp -include src/mc/inspect/mc_unw_vmread.cpp include src/mc/mc.h include src/mc/mc_base.cpp include src/mc/mc_base.hpp @@ -2322,18 +2270,6 @@ include src/mc/remote/CheckerSide.cpp include src/mc/remote/CheckerSide.hpp include src/mc/remote/RemotePtr.hpp include src/mc/remote/mc_protocol.h -include src/mc/sosp/ChunkedData.cpp -include src/mc/sosp/ChunkedData.hpp -include src/mc/sosp/PageStore.cpp -include src/mc/sosp/PageStore.hpp -include src/mc/sosp/PageStore_test.cpp -include src/mc/sosp/Region.cpp -include src/mc/sosp/Region.hpp -include src/mc/sosp/RemoteProcessMemory.cpp -include src/mc/sosp/RemoteProcessMemory.hpp -include src/mc/sosp/Snapshot.cpp -include src/mc/sosp/Snapshot.hpp -include src/mc/sosp/Snapshot_test.cpp include src/mc/transition/Transition.cpp include src/mc/transition/Transition.hpp include src/mc/transition/TransitionActor.cpp @@ -2584,13 +2520,6 @@ include src/sthread/sthread.h include src/sthread/sthread_impl.cpp include src/xbt/OsSemaphore.hpp include src/xbt/PropertyHolder.cpp -include src/xbt/automaton/automaton.c -include src/xbt/automaton/automaton_lexer.yy.c -include src/xbt/automaton/automatonparse_promela.c -include src/xbt/automaton/parserPromela.lex -include src/xbt/automaton/parserPromela.tab.cacc -include src/xbt/automaton/parserPromela.tab.hacc -include src/xbt/automaton/parserPromela.yacc include src/xbt/backtrace.cpp include src/xbt/config.cpp include src/xbt/config_test.cpp @@ -2610,20 +2539,6 @@ include src/xbt/mallocator.c include src/xbt/mallocator_private.h 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 -include src/xbt/mmalloc/mmalloc.h -include src/xbt/mmalloc/mmalloc.info -include src/xbt/mmalloc/mmalloc.texi -include src/xbt/mmalloc/mmorecore.c -include src/xbt/mmalloc/mmprivate.h -include src/xbt/mmalloc/mrealloc.c -include src/xbt/mmalloc/swag.c -include src/xbt/mmalloc/swag.h include src/xbt/parmap.cpp include src/xbt/parmap.hpp include src/xbt/random.cpp @@ -2699,10 +2614,7 @@ include tools/cmake/Flags.cmake include tools/cmake/MaintainerMode.cmake include tools/cmake/MakeLib.cmake include tools/cmake/Modules/FindGraphviz.cmake -include tools/cmake/Modules/FindLibdw.cmake -include tools/cmake/Modules/FindLibelf.cmake include tools/cmake/Modules/FindLibevent.cmake -include tools/cmake/Modules/FindLibunwind.cmake include tools/cmake/Modules/FindNS3.cmake include tools/cmake/Modules/FindPAPI.cmake include tools/cmake/Modules/FindValgrind.cmake