Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Small typos in comments
[simgrid.git] / src / mc / explo / udpor /
2023-11-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-05 Martin QuinsonAnother attempt to fix the printf issue on mac: don... tree | commitdiff
2023-11-05 Martin QuinsonAvoid casting errors in printf on MacOSX tree | commitdiff
2023-11-05 Martin Quinsonunify struct and class declarations tree | commitdiff
2023-11-03 Martin QuinsonMerge branch 'master' into simgrid-fork-changelog-plugins tree | commitdiff
2023-11-02 Martin QuinsonFix MC builds tree | commitdiff
2023-07-01 Martin QuinsonDon't send sbuff and rbuff to the MC checker tree | commitdiff
2023-06-29 mlaurentMerge branch 'master' of https://framagit.org/simgrid... 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-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-26 Arnaud GierschWhitespace cleanup (codefactor.io). 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 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-15 Martin QuinsonMC: Give an ID to comms to not use their pointer value... tree | commitdiff
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-09 Martin QuinsonMerge branch 'udpor-phase8' into 'master' 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 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 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-06 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-06 Arnaud GierschClang-tidy: readability-qualified-auto. tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/mwapl... tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-05 Martin QuinsonMerge branch 'odpor-implementation' into 'master' tree | commitdiff
2023-05-31 Martin QuinsonMerge branch 'simgrid-fork-plugin-photovoltaic' tree | commitdiff
2023-05-17 Arnaud GierschExplicitly capture required scope variables (sonar). tree | commitdiff
2023-05-10 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid 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-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 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-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 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 PirtleReplace switch statement with map of handlers tree | commitdiff
2023-04-05 Maxwell PirtleAdd skeleton implementation for ex(C) for CommSend tree | commitdiff
2023-04-05 Maxwell PirtleAdd skeleton implementations to ExtensionSetCalculator tree | commitdiff
2023-04-05 Maxwell PirtleAdd ExtensionSetCalculator files tree | commitdiff
2023-04-05 Maxwell PirtleAdd test case for tracking latest events/transitions tree | commitdiff
2023-04-05 Maxwell PirtleAdd dependency between same actor for tests tree | commitdiff
2023-04-05 Maxwell PirtleBegin tracking latest events for each actor tree | commitdiff
2023-03-23 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-22 Martin QuinsonMerge branch 'udpor-phase6' into 'master' tree | commitdiff
2023-03-20 Maxwell PirtleAddress minor comments in MR review tree | commitdiff
2023-03-20 Maxwell PirtleRemove empty Comb.cpp tree | commitdiff
2023-03-20 Maxwell PirtleAdd documentation for Comb data structure tree | commitdiff
2023-03-17 Maxwell PirtleFix test in k-partial alternatives step five tree | commitdiff
2023-03-16 Maxwell PirtleRemove unused code in Comb.cpp + fix MANIFEST.in tree | commitdiff
2023-03-16 Maxwell PirtleAdd full example for K-partial alternatives tree | commitdiff
2023-03-15 Maxwell PirtleMove alternative computation to Configuration for testing tree | commitdiff
2023-03-15 Maxwell PirtleAdd semantic equivalence to UnfoldingEvent tree | commitdiff
2023-03-15 Maxwell PirtleAdd comments in K-partial alternatives computation tree | commitdiff
2023-03-14 Maxwell PirtleAdd first go at implementation of K-partial alternatives tree | commitdiff
2023-03-13 Fred SuterMerge branch 'master' into 'master' tree | commitdiff
2023-03-13 Maxwell PirtleAdd Comb data structure for K-partial alternatives tree | commitdiff
2023-03-13 Maxwell PirtleAdd clean up phase to UDPOR tree | commitdiff
2023-03-12 Arnaud GierschFix build with -D_GLIBCXX_DEBUG [-Werror=range-loop... tree | commitdiff
2023-03-10 Martin QuinsonMerge branch 'udpor-phase5' into 'master' tree | commitdiff
2023-03-10 Maxwell PirtleAdd first test for immediate conflicts edge case tree | commitdiff
2023-03-10 Maxwell PirtleAdd first batch of tests for conflict detection among... tree | commitdiff
2023-03-09 Maxwell PirtleAdd implementation for immediate conflicts tree | commitdiff
2023-03-09 Maxwell PirtleRequire conflict-freedom in is_valid_configuration tree | commitdiff
2023-03-09 Maxwell PirtleAdd test to verify topological ordering of EventSet tree | commitdiff
2023-03-08 Maxwell PirtleBegin filling in computations of ex(C) and en(C) tree | commitdiff
2023-03-08 Arnaud GierschObvious typo. tree | commitdiff
next
Clone of SimGrid repository with local patches