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 'master' of framagit.org:simgrid/simgrid
[simgrid.git] / src / mc /
2023-06-22 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-06-22 Martin Quinsonmodel-check/sleep-set is now true by default 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-15 Martin QuinsonFix the liveness tests by ignoring the Comm ID memory... tree | commitdiff
2023-06-15 Martin QuinsonDo not consider the memory addresses in MC depends... tree | commitdiff
2023-06-15 Martin QuinsonMC: Give an ID to comms to not use their pointer value... tree | commitdiff
2023-06-15 Arnaud GierschA few spelling mistakes and many replacements: [Ss... tree | commitdiff
2023-06-15 Arnaud GierschAnother unw_accessor forgotten in previous commit. tree | commitdiff
2023-06-15 Arnaud GierschFix error: missing initializer for member unw_accessors... tree | commitdiff
2023-06-13 Arnaud GierschA few spelling mistakes and many replacements: [Ss... tree | commitdiff
2023-06-13 Arnaud GierschAnother unw_accessor forgotten in previous commit. tree | commitdiff
2023-06-13 Arnaud GierschFix error: missing initializer for member unw_accessors... tree | commitdiff
2023-06-09 Arnaud GierschSometimes the expansion may work and the memory address... tree | commitdiff
2023-06-09 Martin QuinsonMerge branch 'udpor-phase8' into 'master' tree | commitdiff
2023-06-09 Maxwell PirtleOnly compute extensions for enabled events tree | commitdiff
2023-06-09 Maxwell PirtleAdd events with implicit bottom event tree | commitdiff
2023-06-09 Maxwell PirtleAdd partial implementation for MutexWait/MutexTest tree | commitdiff
2023-06-09 Maxwell PirtleAdd ex(C) computation for mutex lock/unlock tree | commitdiff
2023-06-09 Maxwell PirtleAdd tentative implementation of CommTest ex(C) pseudocode tree | commitdiff
2023-06-09 Maxwell PirtleReorder loop processing in CommWait ex(C) comp tree | commitdiff
2023-06-09 Maxwell PirtleAdd "working" UDPOR on small examples with CommWait... tree | commitdiff
2023-06-09 Maxwell PirtleAdd ex(C) example with a small program tree | commitdiff
2023-06-09 Maxwell PirtleAdd monotonically-increasing IDs for UnfoldingEvent tree | commitdiff
2023-06-09 Maxwell PirtleExpand sanity-check tests for CommSend/CommRecv transitions tree | commitdiff
2023-06-09 Maxwell PirtleAdd preliminary basic tests for ex(C) computation tree | commitdiff
2023-06-07 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-06-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-07 mlaurentBetter strategy documentation tree | commitdiff
2023-06-07 Arnaud GierschBuffers should not be considered by CommWaitTransition... tree | commitdiff
2023-06-07 mlaurentUse xbt::random instead of rand and srand tree | commitdiff
2023-06-07 mlaurentBetter warning message for max-depth tree | commitdiff
2023-06-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-07 Arnaud GierschAnother round of pointer-to-const for sonar. 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-06 mlaurentAdd factorisation for strategy and Use dynamic over... 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 mlaurentFix stat missorder at the end of DFSexplorer 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 mlaurentFix few typos and add random seed intializer 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 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-06-01 Arnaud GierschCorrect signature for deleted constructor. 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 PirtleMark transitions run by the same actor as dependent 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 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-05-23 Arnaud GierschRemove global variables in PageStore_test too (mimic... tree | commitdiff
2023-05-23 Arnaud GierschUse the "_t" and "_v" version of type traits. 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 Arnaud GierschGet rid of global variables for snapshot tests. 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 mlaurentAdd some strategies and fix the semantics of Max/MinMatch 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 PirtleAdd boolean check for wakeup tree initialization 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
next
Clone of SimGrid repository with local patches