src/sthread/sthread_impl.cpp
src/sthread/sthread.c
src/sthread/sthread.h
+ src/sthread/ObjectAccess.cpp
)
set(XBT_SRC
src/xbt/xbt_parse_units.cpp
src/xbt/xbt_replay.cpp
src/xbt/xbt_str.cpp
+ src/xbt/utils/iter/iterator_wrapping.hpp
+ src/xbt/utils/iter/subsets.hpp
+ src/xbt/utils/iter/powerset.hpp
+ src/xbt/utils/iter/variable_for_loop.hpp
+ src/xbt/utils/iter/LazyKSubsets.hpp
+ src/xbt/utils/iter/LazyPowerset.hpp
)
if(HAVE_MMALLOC)
src/mc/explo/LivenessChecker.hpp
src/mc/explo/UdporChecker.cpp
src/mc/explo/UdporChecker.hpp
-
+
+ src/mc/explo/udpor/Comb.hpp
src/mc/explo/udpor/Configuration.hpp
src/mc/explo/udpor/Configuration.cpp
src/mc/explo/udpor/EventSet.cpp
src/mc/explo/udpor/EventSet.hpp
src/mc/explo/udpor/History.cpp
src/mc/explo/udpor/History.hpp
+ src/mc/explo/udpor/maximal_subsets_iterator.cpp
+ src/mc/explo/udpor/maximal_subsets_iterator.hpp
src/mc/explo/udpor/UnfoldingEvent.cpp
src/mc/explo/udpor/UnfoldingEvent.hpp
src/mc/explo/udpor/Unfolding.cpp
src/mc/explo/udpor/Unfolding.hpp
src/mc/explo/udpor/udpor_forward.hpp
+ src/mc/explo/udpor/udpor_tests_private.hpp
src/mc/inspect/DwarfExpression.cpp
src/mc/inspect/DwarfExpression.hpp
src/mc/remote/Channel.hpp
src/mc/remote/CheckerSide.cpp
src/mc/remote/CheckerSide.hpp
- src/mc/remote/RemoteProcess.cpp
- src/mc/remote/RemoteProcess.hpp
src/mc/remote/RemotePtr.hpp
src/mc/remote/mc_protocol.h
-
+
src/mc/sosp/ChunkedData.cpp
src/mc/sosp/ChunkedData.hpp
src/mc/sosp/PageStore.cpp
src/mc/sosp/PageStore.hpp
src/mc/sosp/Region.cpp
src/mc/sosp/Region.hpp
+ src/mc/sosp/RemoteProcessMemory.cpp
+ src/mc/sosp/RemoteProcessMemory.hpp
src/mc/sosp/Snapshot.cpp
src/mc/sosp/Snapshot.hpp
src/mc/transition/TransitionAny.hpp
src/mc/transition/TransitionComm.cpp
src/mc/transition/TransitionComm.hpp
+ src/mc/transition/TransitionObjectAccess.cpp
+ src/mc/transition/TransitionObjectAccess.hpp
src/mc/transition/TransitionRandom.cpp
src/mc/transition/TransitionRandom.hpp
src/mc/transition/TransitionSynchro.cpp
src/mc/transition/TransitionSynchro.hpp
- src/mc/AddressSpace.hpp
- src/mc/ModelChecker.cpp
- src/mc/ModelChecker.hpp
- src/mc/VisitedState.cpp
- src/mc/VisitedState.hpp
+ src/mc/api/guide/BasicGuide.hpp
+ src/mc/api/guide/GuidedState.hpp
+ src/mc/api/guide/WaitGuide.hpp
src/mc/api/ActorState.hpp
src/mc/api/State.cpp
src/mc/api/State.hpp
src/mc/api/RemoteApp.cpp
src/mc/api/RemoteApp.hpp
+
+ src/mc/AddressSpace.hpp
+ src/mc/VisitedState.cpp
+ src/mc/VisitedState.hpp
src/mc/compare.cpp
src/mc/mc_exit.hpp
src/mc/mc_forward.hpp
src/mc/mc_private.hpp
src/mc/mc_record.cpp
+ src/mc/api/guide/BasicGuide.hpp
+ src/mc/api/guide/GuidedState.hpp
+ src/mc/api/guide/WaitGuide.hpp
+
src/xbt/mmalloc/mm_interface.c
)
docs/source/_static/css/custom.css
docs/source/_templates/breadcrumbs.html
+ docs/source/img/design-scheduling-parallel.svg
+ docs/source/img/design-scheduling-simulatedtime.svg
+ docs/source/img/design-scheduling-wallclock.svg
docs/source/img/eclipseScreenShot.png
docs/source/img/extlink.png
docs/source/img/extlink.svg
docs/source/tuto_s4u/master-workers-lab3.cpp
docs/source/tuto_s4u/master-workers-lab4.cpp
+ docs/source/Tutorial_DAG.rst
+ docs/source/tuto_dag/dag_lab1.cpp
+ docs/source/tuto_dag/dag_lab2-1.cpp
+ docs/source/tuto_dag/dag_lab2-2.cpp
+ docs/source/tuto_dag/dag_lab2-3.cpp
+ docs/source/tuto_dag/img/dag1.svg
+ docs/source/tuto_dag/img/dag2.svg
+ docs/source/tuto_dag/img/dag.svg
+ docs/source/tuto_dag/simple_dax.xml
+ docs/source/tuto_dag/simple_dot.dot
+ docs/source/tuto_dag/simple_json.json
+ docs/source/tuto_dag/small_platform.xml
+
docs/source/Tutorial_MPI_Applications.rst
docs/source/tuto_smpi/3hosts.png
docs/source/tuto_smpi/3hosts.xml
tools/cmake/Modules/FindNS3.cmake
tools/cmake/Modules/FindPAPI.cmake
tools/cmake/Modules/FindValgrind.cmake
+ tools/cmake/Modules/nlohmann_jsonConfig.cmake
tools/cmake/Modules/pybind11Config.cmake
tools/cmake/Option.cmake
tools/cmake/Tests.cmake