X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/94e8e80d9cb7c0e424fb4f9ae4914a07cd64d3e5..refs/heads/dev:/MANIFEST.in diff --git a/MANIFEST.in b/MANIFEST.in index d33f19fba6..938585b7b2 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -166,6 +166,10 @@ include examples/cpp/app-masterworkers/s4u-app-masterworkers.tesh include examples/cpp/app-masterworkers/s4u-app-masterworkers_d.xml include examples/cpp/app-token-ring/s4u-app-token-ring.cpp include examples/cpp/app-token-ring/s4u-app-token-ring.tesh +include examples/cpp/battery-chiller-solar/s4u-battery-chiller-solar.cpp +include examples/cpp/battery-chiller-solar/s4u-battery-chiller-solar.tesh +include examples/cpp/battery-connector/s4u-battery-connector.cpp +include examples/cpp/battery-connector/s4u-battery-connector.tesh include examples/cpp/battery-degradation/plot_battery_degradation.py include examples/cpp/battery-degradation/s4u-battery-degradation.cpp include examples/cpp/battery-degradation/s4u-battery-degradation.tesh @@ -310,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 @@ -327,9 +323,10 @@ 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 +include examples/cpp/mess-wait/s4u-mess-wait.tesh include examples/cpp/network-factors/s4u-network-factors.cpp include examples/cpp/network-factors/s4u-network-factors.tesh include examples/cpp/network-nonlinear/s4u-network-nonlinear.cpp @@ -348,8 +345,6 @@ include examples/cpp/network-ns3/s4u-network-ns3-timed.tesh include examples/cpp/network-ns3/s4u-network-ns3.cpp include examples/cpp/network-wifi/s4u-network-wifi.cpp include examples/cpp/network-wifi/s4u-network-wifi.tesh -include examples/cpp/solar-panel-simple/s4u-solar-panel-simple.cpp -include examples/cpp/solar-panel-simple/s4u-solar-panel-simple.tesh include examples/cpp/platform-comm-serialize/s4u-platform-comm-serialize.cpp include examples/cpp/platform-comm-serialize/s4u-platform-comm-serialize.tesh include examples/cpp/platform-failures/s4u-platform-failures.cpp @@ -380,6 +375,8 @@ include examples/cpp/replay-io/s4u-replay-io.txt include examples/cpp/replay-io/s4u-replay-io_d.xml include examples/cpp/routing-get-clusters/s4u-routing-get-clusters.cpp include examples/cpp/routing-get-clusters/s4u-routing-get-clusters.tesh +include examples/cpp/solar-panel-simple/s4u-solar-panel-simple.cpp +include examples/cpp/solar-panel-simple/s4u-solar-panel-simple.tesh include examples/cpp/synchro-barrier/s4u-mc-synchro-barrier.tesh include examples/cpp/synchro-barrier/s4u-synchro-barrier.cpp include examples/cpp/synchro-barrier/s4u-synchro-barrier.tesh @@ -387,13 +384,14 @@ 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 include examples/cpp/synchro-semaphore/s4u-mc-synchro-semaphore.tesh include examples/cpp/synchro-semaphore/s4u-synchro-semaphore.cpp include examples/cpp/synchro-semaphore/s4u-synchro-semaphore.tesh +include examples/cpp/task-dispatch/s4u-task-dispatch.cpp +include examples/cpp/task-dispatch/s4u-task-dispatch.tesh include examples/cpp/task-io/s4u-task-io.cpp include examples/cpp/task-io/s4u-task-io.tesh include examples/cpp/task-microservice/s4u-task-microservice.cpp @@ -524,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 @@ -641,9 +631,12 @@ 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-mc-mutex-recursive.tesh include examples/sthread/pthread-mc-mutex-simple.tesh include examples/sthread/pthread-mc-mutex-simpledeadlock.tesh include examples/sthread/pthread-mc-producer-consumer.tesh +include examples/sthread/pthread-mutex-recursive.c +include examples/sthread/pthread-mutex-recursive.tesh include examples/sthread/pthread-mutex-simple.c include examples/sthread/pthread-mutex-simple.tesh include examples/sthread/pthread-mutex-simpledeadlock.c @@ -661,10 +654,50 @@ 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 +include teshsuite/mc/mcmini/barber_shop_ok.tesh +include teshsuite/mc/mcmini/philosophers_mutex_deadlock.c +include teshsuite/mc/mcmini/philosophers_mutex_deadlock.tesh +include teshsuite/mc/mcmini/philosophers_mutex_ok.c +include teshsuite/mc/mcmini/philosophers_mutex_ok.tesh +include teshsuite/mc/mcmini/philosophers_semaphores_deadlock.c +include teshsuite/mc/mcmini/philosophers_semaphores_deadlock.tesh +include teshsuite/mc/mcmini/philosophers_semaphores_ok.c +include teshsuite/mc/mcmini/philosophers_semaphores_ok.tesh +include teshsuite/mc/mcmini/producer_consumer_deadlock.c +include teshsuite/mc/mcmini/producer_consumer_deadlock.tesh +include teshsuite/mc/mcmini/producer_consumer_ok.c +include teshsuite/mc/mcmini/producer_consumer_ok.tesh +include teshsuite/mc/mcmini/simple_barrier_deadlock.c +include teshsuite/mc/mcmini/simple_barrier_deadlock.tesh +include teshsuite/mc/mcmini/simple_barrier_ok.c +include teshsuite/mc/mcmini/simple_barrier_ok.tesh +include teshsuite/mc/mcmini/simple_barrier_with_threads_deadlock.c +include teshsuite/mc/mcmini/simple_barrier_with_threads_deadlock.tesh +include teshsuite/mc/mcmini/simple_barrier_with_threads_ok.c +include teshsuite/mc/mcmini/simple_barrier_with_threads_ok.tesh +include teshsuite/mc/mcmini/simple_mutex_deadlock.c +include teshsuite/mc/mcmini/simple_mutex_deadlock.tesh +include teshsuite/mc/mcmini/simple_mutex_ok.c +include teshsuite/mc/mcmini/simple_mutex_ok.tesh +include teshsuite/mc/mcmini/simple_mutex_with_threads_deadlock.c +include teshsuite/mc/mcmini/simple_mutex_with_threads_deadlock.tesh +include teshsuite/mc/mcmini/simple_mutex_with_threads_ok.c +include teshsuite/mc/mcmini/simple_mutex_with_threads_ok.tesh +include teshsuite/mc/mcmini/simple_semaphore_deadlock.c +include teshsuite/mc/mcmini/simple_semaphore_deadlock.tesh +include teshsuite/mc/mcmini/simple_semaphores_deadlock.c +include teshsuite/mc/mcmini/simple_semaphores_deadlock.tesh +include teshsuite/mc/mcmini/simple_semaphores_ok.c +include teshsuite/mc/mcmini/simple_semaphores_ok.tesh +include teshsuite/mc/mcmini/simple_semaphores_with_threads_deadlock.c +include teshsuite/mc/mcmini/simple_semaphores_with_threads_deadlock.tesh +include teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.c +include teshsuite/mc/mcmini/simple_semaphores_with_threads_ok.tesh +include teshsuite/mc/mcmini/simple_threads_ok.c +include teshsuite/mc/mcmini/simple_threads_ok.tesh include teshsuite/mc/mutex-handling/mutex-handling.cpp include teshsuite/mc/mutex-handling/mutex-handling.tesh include teshsuite/mc/mutex-handling/without-mutex-handling.tesh @@ -932,6 +965,7 @@ include teshsuite/smpi/macro-shared/macro-shared.c include teshsuite/smpi/macro-shared/macro-shared.tesh include teshsuite/smpi/mpich3-test/README include teshsuite/smpi/mpich3-test/attr/attr2type.c +include teshsuite/smpi/mpich3-test/attr/attrdelete.c include teshsuite/smpi/mpich3-test/attr/attrdeleteget.c include teshsuite/smpi/mpich3-test/attr/attrend.c include teshsuite/smpi/mpich3-test/attr/attrend2.c @@ -966,6 +1000,8 @@ include teshsuite/smpi/mpich3-test/coll/allred3.c include teshsuite/smpi/mpich3-test/coll/allred4.c include teshsuite/smpi/mpich3-test/coll/allred5.c include teshsuite/smpi/mpich3-test/coll/allred6.c +include teshsuite/smpi/mpich3-test/coll/allred_derived.c +include teshsuite/smpi/mpich3-test/coll/allred_float.c include teshsuite/smpi/mpich3-test/coll/allredmany.c include teshsuite/smpi/mpich3-test/coll/alltoall1.c include teshsuite/smpi/mpich3-test/coll/alltoallv.c @@ -993,6 +1029,7 @@ include teshsuite/smpi/mpich3-test/coll/exscan2.c include teshsuite/smpi/mpich3-test/coll/gather.c include teshsuite/smpi/mpich3-test/coll/gather2.c include teshsuite/smpi/mpich3-test/coll/gather_big.c +include teshsuite/smpi/mpich3-test/coll/gatherv.c include teshsuite/smpi/mpich3-test/coll/iallred.c include teshsuite/smpi/mpich3-test/coll/ibarrier.c include teshsuite/smpi/mpich3-test/coll/icallgather.c @@ -1045,6 +1082,7 @@ include teshsuite/smpi/mpich3-test/coll/scatterv.c include teshsuite/smpi/mpich3-test/coll/testlist include teshsuite/smpi/mpich3-test/coll/uoplong.c include teshsuite/smpi/mpich3-test/comm/cmfree.c +include teshsuite/smpi/mpich3-test/comm/cmfree2.c include teshsuite/smpi/mpich3-test/comm/cmsplit.c include teshsuite/smpi/mpich3-test/comm/cmsplit2.c include teshsuite/smpi/mpich3-test/comm/cmsplit_type.c @@ -1061,6 +1099,7 @@ include teshsuite/smpi/mpich3-test/comm/comm_idup_mul.c include teshsuite/smpi/mpich3-test/comm/comm_idup_nb.c include teshsuite/smpi/mpich3-test/comm/comm_idup_overlap.c include teshsuite/smpi/mpich3-test/comm/comm_info.c +include teshsuite/smpi/mpich3-test/comm/comm_info2.c include teshsuite/smpi/mpich3-test/comm/commcreate1.c include teshsuite/smpi/mpich3-test/comm/commname.c include teshsuite/smpi/mpich3-test/comm/ctxalloc.c @@ -1392,21 +1431,28 @@ include teshsuite/smpi/mpich3-test/pt2pt/dtype_send.c include teshsuite/smpi/mpich3-test/pt2pt/eagerdt.c include teshsuite/smpi/mpich3-test/pt2pt/greq1.c include teshsuite/smpi/mpich3-test/pt2pt/huge_anysrc.c +include teshsuite/smpi/mpich3-test/pt2pt/huge_dupcomm.c +include teshsuite/smpi/mpich3-test/pt2pt/huge_ssend.c include teshsuite/smpi/mpich3-test/pt2pt/huge_underflow.c include teshsuite/smpi/mpich3-test/pt2pt/icsend.c include teshsuite/smpi/mpich3-test/pt2pt/inactivereq.c include teshsuite/smpi/mpich3-test/pt2pt/isendirecv.c +include teshsuite/smpi/mpich3-test/pt2pt/isendrecv.c +include teshsuite/smpi/mpich3-test/pt2pt/isendrecv_replace.c include teshsuite/smpi/mpich3-test/pt2pt/isendself.c include teshsuite/smpi/mpich3-test/pt2pt/isendselfprobe.c include teshsuite/smpi/mpich3-test/pt2pt/issendselfcancel.c include teshsuite/smpi/mpich3-test/pt2pt/large_message.c +include teshsuite/smpi/mpich3-test/pt2pt/large_tag.c include teshsuite/smpi/mpich3-test/pt2pt/many_isend.c include teshsuite/smpi/mpich3-test/pt2pt/manylmt.c include teshsuite/smpi/mpich3-test/pt2pt/mprobe.c +include teshsuite/smpi/mpich3-test/pt2pt/multi_psend_derived.c include teshsuite/smpi/mpich3-test/pt2pt/pingping.c include teshsuite/smpi/mpich3-test/pt2pt/probe-unexp.c include teshsuite/smpi/mpich3-test/pt2pt/probenull.c include teshsuite/smpi/mpich3-test/pt2pt/pscancel.c +include teshsuite/smpi/mpich3-test/pt2pt/pssend.c include teshsuite/smpi/mpich3-test/pt2pt/rcancel.c include teshsuite/smpi/mpich3-test/pt2pt/recv_any.c include teshsuite/smpi/mpich3-test/pt2pt/rqfreeb.c @@ -1608,9 +1654,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 @@ -1621,7 +1664,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 @@ -1942,7 +1984,6 @@ include include/simgrid/mutex.h include include/simgrid/plugins/ProducerConsumer.hpp include include/simgrid/plugins/battery.hpp include include/simgrid/plugins/chiller.hpp -include include/simgrid/plugins/dvfs.h include include/simgrid/plugins/energy.h include include/simgrid/plugins/file_system.h include include/simgrid/plugins/jbod.hpp @@ -1964,6 +2005,8 @@ include include/simgrid/s4u/Host.hpp include include/simgrid/s4u/Io.hpp include include/simgrid/s4u/Link.hpp include include/simgrid/s4u/Mailbox.hpp +include include/simgrid/s4u/Mess.hpp +include include/simgrid/s4u/MessageQueue.hpp include include/simgrid/s4u/Mutex.hpp include include/simgrid/s4u/NetZone.hpp include include/simgrid/s4u/Semaphore.hpp @@ -1988,8 +2031,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 @@ -2022,7 +2063,6 @@ include include/xbt/virtu.h include include/xbt/xbt_os_time.h include setup.py include src/3rd-party/catch.hpp -include src/3rd-party/xxhash.hpp include src/bindings/python/simgrid_python.cpp include src/dag/dax.dtd include src/dag/dax_dtd.c @@ -2060,6 +2100,10 @@ include src/kernel/activity/IoImpl.cpp include src/kernel/activity/IoImpl.hpp include src/kernel/activity/MailboxImpl.cpp include src/kernel/activity/MailboxImpl.hpp +include src/kernel/activity/MessImpl.cpp +include src/kernel/activity/MessImpl.hpp +include src/kernel/activity/MessageQueueImpl.cpp +include src/kernel/activity/MessageQueueImpl.hpp include src/kernel/activity/MutexImpl.cpp include src/kernel/activity/MutexImpl.hpp include src/kernel/activity/SemaphoreImpl.cpp @@ -2185,9 +2229,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 @@ -2200,23 +2241,18 @@ 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 include src/mc/explo/odpor/Execution.cpp include src/mc/explo/odpor/Execution.hpp include src/mc/explo/odpor/Execution_test.cpp -include src/mc/explo/odpor/ReversibleRaceCalculator.cpp -include src/mc/explo/odpor/ReversibleRaceCalculator.hpp include src/mc/explo/odpor/WakeupTree.cpp include src/mc/explo/odpor/WakeupTree.hpp include src/mc/explo/odpor/WakeupTreeIterator.cpp @@ -2248,24 +2284,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 @@ -2289,22 +2307,10 @@ 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/TransitionActorJoin.cpp -include src/mc/transition/TransitionActorJoin.hpp +include src/mc/transition/TransitionActor.cpp +include src/mc/transition/TransitionActor.hpp include src/mc/transition/TransitionAny.cpp include src/mc/transition/TransitionAny.hpp include src/mc/transition/TransitionComm.cpp @@ -2320,7 +2326,6 @@ include src/plugins/battery.cpp include src/plugins/chaos_monkey.cpp include src/plugins/chiller.cpp include src/plugins/file_system/s4u_FileSystem.cpp -include src/plugins/host_dvfs.cpp include src/plugins/host_energy.cpp include src/plugins/host_load.cpp include src/plugins/jbod.cpp @@ -2344,6 +2349,8 @@ include src/s4u/s4u_Host.cpp include src/s4u/s4u_Io.cpp include src/s4u/s4u_Link.cpp include src/s4u/s4u_Mailbox.cpp +include src/s4u/s4u_Mess.cpp +include src/s4u/s4u_MessageQueue.cpp include src/s4u/s4u_Mutex.cpp include src/s4u/s4u_Netzone.cpp include src/s4u/s4u_Semaphore.cpp @@ -2549,13 +2556,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 @@ -2575,20 +2575,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 @@ -2664,10 +2650,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