Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Document Message Queues (and the change of data structure in Mailboxes
[simgrid.git] / src / mc /
2023-10-30 Martin QuinsonMerge branch 'example-battery-chiller-solar' into ... tree | commitdiff
2023-10-24 Fred SuterMerge branch 'master' into mq tree | commitdiff
2023-10-21 Martin QuinsonFix the dependency of barrier from the same actor ... tree | commitdiff
2023-09-13 Martin QuinsonMerge branch 'plugins-energy-battery-interaction' into... tree | commitdiff
2023-07-20 Fred SuterMerge branch 'master' into jbod tree | commitdiff
2023-07-15 Martin QuinsonMerge branch 'fix-comm-signal' into 'master' tree | commitdiff
2023-07-12 Arnaud GierschFix misleading indentation. tree | commitdiff
2023-07-10 Fred SuterMerge remote-tracking branch 'origin/master' into jbod tree | commitdiff
2023-07-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2023-07-10 Arnaud GierschMissing includes (for gcc-14?) tree | commitdiff
2023-07-10 Arnaud GierschCosmetics (codefactor.io). tree | commitdiff
2023-07-10 Arnaud GierschMake function "const", and void copy by returning a... tree | commitdiff
2023-07-02 Martin QuinsonFix a MC serialization bug around WaitAny tree | commitdiff
2023-07-01 Martin QuinsonDon't send sbuff and rbuff to the MC checker tree | commitdiff
2023-07-01 Martin QuinsonMore verbose error and debug messages tree | commitdiff
2023-06-29 Martin QuinsonShow the user-level call in MC backtraces tree | commitdiff
2023-06-29 Martin QuinsonMerge branch 'master' into 'master' 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-29 Arnaud GierschPass large objects by reference to const (Sonar). tree | commitdiff
2023-06-29 Arnaud GierschThe result of "std::move" should not be passed as a... tree | commitdiff
2023-06-28 Arnaud GierschFunctions having rvalue reference arguments should... 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 Arnaud GierschFurther little simplifications around "if" statements. 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-28 Martin QuinsonTypo found by lintian 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 Arnaud GierschUse std::any_of(...). tree | commitdiff
2023-06-27 Arnaud GierschMisc. Sonar smells. tree | commitdiff
2023-06-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-26 Arnaud GierschWhitespace cleanup (codefactor.io). tree | commitdiff
2023-06-24 Martin Quinsonsleep sets are not an option in MC. We always need... tree | commitdiff
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-16 mlaurentMerge branch 'master' of https://framagit.org/simgrid... 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-15 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-14 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-13 Arnaud GierschA few spelling mistakes and many replacements: [Ss... tree | commitdiff
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... 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-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-13 mlaurentAdd function call and full location in checker-side... 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
next
Clone of SimGrid repository with local patches