Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'odpor-implementation' into 'master'
[simgrid.git] / src / mc / explo /
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 Martin QuinsonMerge branch 'python-repr' into 'master' tree | commitdiff
2023-06-01 Maxwell PirtleAdd small test for insertions tree | commitdiff
2023-06-01 Arnaud GierschAdd missing includes. 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 Martin QuinsonMerge branch 'simgrid-fork-plugin-photovoltaic' tree | commitdiff
2023-05-31 Maxwell PirtleFix MANIFEST.in etc. tree | commitdiff
2023-05-30 Maxwell PirtleForce the use of sleep sets with ODPOR 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 PirtleKeep pointers to transitions instead of slices 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 Arnaud GierschExplicitly capture required scope variables (sonar). 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 PirtleIntegrate SDPOR into `model-check/reduction` flag 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 PirtlePrevent adding outgoing transition for top-most state 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
2023-05-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-05-10 Martin QuinsonDFS MC: Restore from system states even if we have... tree | commitdiff
2023-05-10 Martin QuinsonMerge branch 'dag-lab' into 'master' tree | commitdiff
2023-05-10 Martin QuinsonMerge branch 'changelog-operation-plugin' into 'master' tree | commitdiff
2023-05-09 Arnaud GierschUse forwarding references with std::forward (sonar). tree | commitdiff
2023-05-09 Arnaud GierschUse a std::vector as an underlying container for backtr... tree | commitdiff
2023-05-03 Martin QuinsonOne use less of get_recipe() that will soon die tree | commitdiff
2023-05-03 Martin QuinsonFactorize more code between DFSExplo and LivenessExplo... tree | commitdiff
2023-05-02 Arnaud GierschDefine each identifier in a dedicated statement (sonar). tree | commitdiff
2023-04-27 Arnaud GierschWhitespace cleanup (codefactor.io). tree | commitdiff
2023-04-27 Martin QuinsonMore automatic memory mgmt in MC tree | commitdiff
2023-04-27 Martin QuinsonMC: give each state an incoming transition too tree | commitdiff
2023-04-27 Arnaud GierschFix comment. tree | commitdiff
2023-04-27 Arnaud GierschThere is no need to declare the default constructors... tree | commitdiff
2023-04-27 Arnaud GierschFix build error: exception specification of explicitly tree | commitdiff
2023-04-26 Martin QuinsonMerge branch 'operation-plugin' into 'master' tree | commitdiff
2023-04-18 Martin QuinsonMerge branch 'udpor-phase7' into 'master' tree | commitdiff
2023-04-17 Martin Quinsonsonar fixes tree | commitdiff
2023-04-15 Martin QuinsonMake sure that we never have a 0 transition at the... tree | commitdiff
2023-04-12 Arnaud GierschInline Exploration::system_error. tree | commitdiff
2023-04-12 Arnaud GierschRemove useless specialized exceptions from simgrid... tree | commitdiff
2023-04-12 Arnaud GierschUse an exception on Exploration::system_exit(). tree | commitdiff
2023-04-12 Arnaud GierschSonar... tree | commitdiff
2023-04-06 Maxwell PirtleRename `remove()` method on `Unfolding` tree | commitdiff
2023-04-06 Maxwell PirtleMake use of the sets `G` and `U` with `Unfolding` tree | commitdiff
2023-04-06 Maxwell PirtleFix bug with immediate conflict detection tree | commitdiff
2023-04-05 Arnaud GierschExamine all opened_states_ to find the best candidate. tree | commitdiff
2023-04-05 Arnaud GierschCentralize definitions for the name of environment... tree | commitdiff
2023-04-05 Arnaud GierschSonar smells; remove redundant mentions of std::shared_... tree | commitdiff
2023-04-05 Maxwell PirtleFix conflict detection between configs + history tree | commitdiff
2023-04-05 Maxwell PirtleFix dynamic_cast<> typo for computation for CommRecv tree | commitdiff
2023-04-05 Maxwell PirtleClarify that the issuer for a CommWait() action is... tree | commitdiff
2023-04-05 Maxwell PirtleAdd first round of debug logging to UDPOR tree | commitdiff
2023-04-05 Maxwell PirtleIntermediate commit to prove that UDPOR functions tree | commitdiff
2023-04-05 Maxwell PirtleFill in implementation of CommWait before large changes tree | commitdiff
2023-04-05 Maxwell PirtleAdd extension set computations without type casts tree | commitdiff
2023-04-05 Maxwell PirtleAdd first steps for ex(C) for CommWait tree | commitdiff
2023-04-05 Maxwell PirtleMove state stack management to member on UnfoldingChecker tree | commitdiff
2023-04-05 Maxwell PirtleAdd comment on state restoration in UnfoldingChecker tree | commitdiff
next
Clone of SimGrid repository with local patches