Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Remove ignored lines from tesh files, uberbumer
[simgrid.git] / src / mc / explo /
2023-11-02 Martin QuinsonFix MC builds
2023-11-02 Martin QuinsonMC: more debug messages
2023-11-02 Martin QuinsonMC: add an observer to sleep simcalls
2023-11-02 Martin QuinsonMC: display the 100 first transitions when we reach...
2023-07-10 Fred SuterMerge remote-tracking branch 'origin/master' into jbod
2023-07-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-07-10 Arnaud GierschMake function "const", and void copy by returning a...
2023-07-01 Martin QuinsonDon't send sbuff and rbuff to the MC checker
2023-06-29 Martin QuinsonShow the user-level call in MC backtraces
2023-06-29 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-29 Arnaud GierschUnused parameters (Sonar).
2023-06-29 Arnaud GierschShadowed variables (Sonar).
2023-06-29 Arnaud GierschPass large objects by reference to const (Sonar).
2023-06-29 Arnaud GierschThe result of "std::move" should not be passed as a...
2023-06-28 Arnaud GierschFunctions having rvalue reference arguments should...
2023-06-28 Arnaud GierschFix: "std::move" should only be used where moving can...
2023-06-28 Arnaud GierschReplace redundant type with "auto" (Sonar).
2023-06-28 Arnaud GierschRemove nested code blocks (Sonar).
2023-06-28 Arnaud GierschFurther little simplifications around "if" statements.
2023-06-28 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p...
2023-06-27 Arnaud GierschUse std::make_unique (Sonar).
2023-06-27 Arnaud GierschRespect coding style for boolean operators.
2023-06-27 Arnaud GierschUse the init-statement to reduce scope of local variabl...
2023-06-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-26 Arnaud GierschWhitespace cleanup (codefactor.io).
2023-06-24 Martin Quinsonsleep sets are not an option in MC. We always need...
2023-06-22 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid
2023-06-20 Fred SuterMerge branch 'master' into 'task-token'
2023-06-16 Arnaud GierschMerge branch 'fix-wakeup-tree-iterator' into 'master'
2023-06-16 Maxwell PirtleFix WakeupTreeIterator bug comparing diff iterators
2023-06-16 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-15 Martin QuinsonMC: Give an ID to comms to not use their pointer value...
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-09 Martin QuinsonMerge branch 'udpor-phase8' into 'master'
2023-06-09 Maxwell PirtleOnly compute extensions for enabled events
2023-06-09 Maxwell PirtleAdd events with implicit bottom event
2023-06-09 Maxwell PirtleAdd partial implementation for MutexWait/MutexTest
2023-06-09 Maxwell PirtleAdd ex(C) computation for mutex lock/unlock
2023-06-09 Maxwell PirtleAdd tentative implementation of CommTest ex(C) pseudocode
2023-06-09 Maxwell PirtleReorder loop processing in CommWait ex(C) comp
2023-06-09 Maxwell PirtleAdd "working" UDPOR on small examples with CommWait...
2023-06-09 Maxwell PirtleAdd ex(C) example with a small program
2023-06-09 Maxwell PirtleAdd monotonically-increasing IDs for UnfoldingEvent
2023-06-09 Maxwell PirtleExpand sanity-check tests for CommSend/CommRecv transitions
2023-06-09 Maxwell PirtleAdd preliminary basic tests for ex(C) computation
2023-06-07 Martin QuinsonMerge branch 'master' into 'master'
2023-06-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-07 Arnaud GierschAnother round of pointer-to-const for sonar.
2023-06-07 Arnaud GierschDisable maybe throwing move constructor (sonar).
2023-06-06 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-06 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-06 Arnaud GierschClang-tidy: readability-qualified-auto.
2023-06-06 Arnaud GierschDefine classes with "class".
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/mwapl...
2023-06-05 Martin QuinsonAnother struct/class mismatch between forward declarati...
2023-06-05 Martin QuinsonPlease clang by not defaulting a constructor that it...
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-05 mlaurentFix stat missorder at the end of DFSexplorer
2023-06-05 Martin QuinsonMerge branch 'odpor-clean-ups' into 'master'
2023-06-05 Maxwell PirtleComplete missing docs for WakeupTreeNode
2023-06-05 Maxwell PirtleAdd more documentation and fix forward declaration
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid...
2023-06-05 Martin QuinsonMerge branch 'rename-operation-task' into 'master'
2023-06-05 Martin QuinsonMerge branch 'odpor-implementation' into 'master'
2023-06-01 Maxwell PirtleIntroduce ODPOR integration with multiple actions
2023-06-01 Martin QuinsonMerge branch 'python-repr' into 'master'
2023-06-01 Maxwell PirtleAdd small test for insertions
2023-06-01 Arnaud GierschAdd missing includes.
2023-05-31 Maxwell PirtleAdd SDPOR backtracking simulation unit test
2023-05-31 Maxwell PirtleAdd more independence tests w.r.t a partial execution
2023-05-31 Martin QuinsonMerge branch 'simgrid-fork-plugin-photovoltaic'
2023-05-31 Maxwell PirtleFix MANIFEST.in etc.
2023-05-30 Maxwell PirtleForce the use of sleep sets with ODPOR
2023-05-30 Maxwell PirtleFix subtle bug in ~_E computation
2023-05-26 Maxwell PirtleAdd remaining handlers to ReversibleRaceCalculator
2023-05-26 Maxwell PirtleResolve misconception with ODPOR pseudocode impl.
2023-05-26 Maxwell PirtleResolve misconception with SDPOR pseudocode impl.
2023-05-26 Maxwell PirtleFix subtle bug in Execution regeneration in DFSExplorer
2023-05-25 Maxwell PirtleKeep pointers to transitions instead of slices
2023-05-25 Maxwell PirtleFix two minor bugs in the ODPOR implementation
2023-05-24 Maxwell PirtleAdd reversible race implementations for Comm actions
2023-05-24 Maxwell PirtleAdd reversible race calculator
2023-05-24 Maxwell PirtleAdd non-trivial insertion test
2023-05-23 Maxwell PirtleAdd tests for initials and independence for Execution
2023-05-23 Maxwell PirtleAdd first round of execution independence tests
2023-05-22 Maxwell PirtleAdd test for removing the first single-process subtree
2023-05-22 Maxwell PirtleBegin adding tests for subtree rooting
2023-05-22 Maxwell PirtleAdd detailed stress test for WakeupTree
2023-05-22 Maxwell PirtleBegin first round of in-depth tests for WakeupTree
2023-05-17 Arnaud GierschExplicitly capture required scope variables (sonar).
2023-05-17 Maxwell PirtleAdd first "working" version of ODPOR
2023-05-16 Maxwell PirtleAdd tests before changes to WakeupTree structure
2023-05-16 mlaurentAdd some strategies and fix the semantics of Max/MinMatch
2023-05-16 Maxwell PirtleAdd first round of extensive docs to ODPOR methods
2023-05-16 Maxwell PirtleAdd test files for WakeupTree
2023-05-16 Maxwell PirtleAdd explicit ODPOR clean-up phase to DFSExplorer
2023-05-16 Maxwell PirtleAdd ODPOR "backtracking" logic
2023-05-16 Maxwell PirtleAdd ODPOR extension computation (lines 4-6)
next