Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Discard the wakeup tree when ODPOR reaches a disabled transition
[simgrid.git] / src / mc / explo / odpor /
2023-11-09 mlaurentDiscard the wakeup tree when ODPOR reaches a disabled... tree | commitdiff
2023-11-08 mlaurentRedondant line in insertion tree | commitdiff
2023-11-08 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-08 Martin QuinsonFix ODPOR: overapproximate ReversibleRace (to not miss... tree | commitdiff
2023-11-08 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-08 mlaurentAdd debug log for ODPOR + required explaining comments tree | commitdiff
2023-11-08 Martin QuinsonFix SemWai::ReversibleRace() tree | commitdiff
2023-11-07 Martin QuinsonTell the MC transition about the semaphore capacity... tree | commitdiff
2023-11-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-07 mlaurentAdd some debug info tree | commitdiff
2023-11-03 Martin QuinsonMerge branch 'master' into simgrid-fork-changelog-plugins tree | commitdiff
2023-11-02 Martin QuinsonMC: add an observer to sleep simcalls tree | commitdiff
2023-06-29 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-29 Arnaud GierschUnused parameters (Sonar). tree | commitdiff
2023-06-29 Arnaud GierschShadowed variables (Sonar). tree | commitdiff
2023-06-28 Arnaud GierschFix: "std::move" should only be used where moving can... tree | commitdiff
2023-06-28 Arnaud GierschReplace redundant type with "auto" (Sonar). tree | commitdiff
2023-06-28 Arnaud GierschRemove nested code blocks (Sonar). tree | commitdiff
2023-06-28 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p... tree | commitdiff
2023-06-27 Arnaud GierschUse std::make_unique (Sonar). tree | commitdiff
2023-06-27 Arnaud GierschRespect coding style for boolean operators. tree | commitdiff
2023-06-27 Arnaud GierschUse the init-statement to reduce scope of local variabl... tree | commitdiff
2023-06-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-22 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-06-20 Fred SuterMerge branch 'master' into 'task-token' tree | commitdiff
2023-06-16 Arnaud GierschMerge branch 'fix-wakeup-tree-iterator' into 'master' tree | commitdiff
2023-06-16 Maxwell PirtleFix WakeupTreeIterator bug comparing diff iterators tree | commitdiff
2023-06-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-07 Arnaud GierschDisable maybe throwing move constructor (sonar). tree | commitdiff
2023-06-06 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-06 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-06 Arnaud GierschClang-tidy: readability-qualified-auto. tree | commitdiff
2023-06-06 Arnaud GierschDefine classes with "class". tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/mwapl... tree | commitdiff
2023-06-05 Martin QuinsonAnother struct/class mismatch between forward declarati... tree | commitdiff
2023-06-05 Martin QuinsonPlease clang by not defaulting a constructor that it... tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-05 Martin QuinsonMerge branch 'odpor-clean-ups' into 'master' tree | commitdiff
2023-06-05 Maxwell PirtleComplete missing docs for WakeupTreeNode tree | commitdiff
2023-06-05 Maxwell PirtleAdd more documentation and fix forward declaration tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-05 Martin QuinsonMerge branch 'rename-operation-task' into 'master' tree | commitdiff
2023-06-05 Martin QuinsonMerge branch 'odpor-implementation' into 'master' tree | commitdiff
2023-06-01 Maxwell PirtleIntroduce ODPOR integration with multiple actions tree | commitdiff
2023-06-01 Maxwell PirtleAdd small test for insertions tree | commitdiff
2023-05-31 Maxwell PirtleAdd SDPOR backtracking simulation unit test tree | commitdiff
2023-05-31 Maxwell PirtleAdd more independence tests w.r.t a partial execution tree | commitdiff
2023-05-31 Maxwell PirtleFix MANIFEST.in etc. tree | commitdiff
2023-05-30 Maxwell PirtleFix subtle bug in ~_E computation tree | commitdiff
2023-05-26 Maxwell PirtleAdd remaining handlers to ReversibleRaceCalculator tree | commitdiff
2023-05-26 Maxwell PirtleResolve misconception with ODPOR pseudocode impl. tree | commitdiff
2023-05-26 Maxwell PirtleResolve misconception with SDPOR pseudocode impl. tree | commitdiff
2023-05-26 Maxwell PirtleFix subtle bug in Execution regeneration in DFSExplorer tree | commitdiff
2023-05-25 Maxwell PirtleFix two minor bugs in the ODPOR implementation tree | commitdiff
2023-05-24 Maxwell PirtleAdd reversible race implementations for Comm actions tree | commitdiff
2023-05-24 Maxwell PirtleAdd reversible race calculator tree | commitdiff
2023-05-24 Maxwell PirtleAdd non-trivial insertion test tree | commitdiff
2023-05-23 Maxwell PirtleAdd tests for initials and independence for Execution tree | commitdiff
2023-05-23 Maxwell PirtleAdd first round of execution independence tests tree | commitdiff
2023-05-22 Maxwell PirtleAdd test for removing the first single-process subtree tree | commitdiff
2023-05-22 Maxwell PirtleBegin adding tests for subtree rooting tree | commitdiff
2023-05-22 Maxwell PirtleAdd detailed stress test for WakeupTree tree | commitdiff
2023-05-22 Maxwell PirtleBegin first round of in-depth tests for WakeupTree tree | commitdiff
2023-05-17 Maxwell PirtleAdd first "working" version of ODPOR tree | commitdiff
2023-05-16 Maxwell PirtleAdd tests before changes to WakeupTree structure tree | commitdiff
2023-05-16 Maxwell PirtleAdd first round of extensive docs to ODPOR methods tree | commitdiff
2023-05-16 Maxwell PirtleAdd test files for WakeupTree tree | commitdiff
2023-05-16 Maxwell PirtleAdd explicit ODPOR clean-up phase to DFSExplorer tree | commitdiff
2023-05-16 Maxwell PirtleAdd ODPOR "backtracking" logic tree | commitdiff
2023-05-16 Maxwell PirtleAdd ODPOR extension computation (lines 4-6) tree | commitdiff
2023-05-16 Maxwell PirtleUse `std::shared_ptr<Transition>` for Execution tree | commitdiff
2023-05-16 Maxwell PirtleAdd ODPOR race detection phase rough-draft tree | commitdiff
2023-05-16 Maxwell PirtleAutomatically remove nodes from parents tree | commitdiff
2023-05-16 Maxwell PirtleAdd tree pruning/subtree methods to State tree | commitdiff
2023-05-16 Maxwell PirtleAdd skeleton for expansion phase of ODPOR tree | commitdiff
2023-05-16 Maxwell PirtleAdd logic for subtree node removal tree | commitdiff
2023-05-16 Maxwell PirtleFinish post-order travesal with WakeupTreeIterator tree | commitdiff
2023-05-16 Maxwell PirtleAdd logic for subtree extraction from wakeup trees tree | commitdiff
2023-05-16 Maxwell PirtleAdd complicated computation of v ~_E w to Execution tree | commitdiff
2023-05-16 Maxwell PirtleAdd skeleton of implementation for tree insertion tree | commitdiff
2023-05-16 Maxwell PirtleAdd WakeupTreeIterator and WakeupTree skeletons tree | commitdiff
2023-05-16 Maxwell PirtleAdd more docmentation for get_first_sdpor_initial() tree | commitdiff
2023-05-15 Maxwell PirtleAdd more documentation to ClockVector/Execution tree | commitdiff
2023-05-15 Maxwell PirtleAdd unit tests for ClockVector tree | commitdiff
2023-05-12 Maxwell PirtleAdd more documentation to essential SDPOR methods tree | commitdiff
2023-05-12 Maxwell PirtleFix subtlety with SDPOR/ODPOR initials tree | commitdiff
2023-05-12 Maxwell PirtleFix two off-by-one errors with clock vectors tree | commitdiff
2023-05-12 Maxwell PirtleAdd workaround for subtlety with state regeneration tree | commitdiff
2023-05-12 Maxwell PirtleAdd first tests for "happens-before" tree | commitdiff
2023-05-12 Maxwell PirtleMove SDPOR core computation into a method tree | commitdiff
2023-05-12 Maxwell PirtleAdd tentatively-working SDPOR implementation tree | commitdiff
2023-05-12 Maxwell PirtleAdd initial outline of SDPOR implementation tree | commitdiff
2023-05-12 Maxwell PirtleAdd Execution concept without ExecutionViews tree | commitdiff
2023-05-12 Maxwell PirtleRemove sdpor folder in favor of odpor only tree | commitdiff
2023-05-12 Maxwell PirtleAdd `Execution` to represent series of transitions tree | commitdiff
Clone of SimGrid repository with local patches