Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Remove the stateful model-checking from the archive. It's not working anymore
[simgrid.git] / src / mc / api /
2023-11-05 Martin QuinsonRemove the stateful model-checking from the archive... tree | commitdiff
2023-11-03 Martin QuinsonMerge branch 'master' into simgrid-fork-changelog-plugins tree | commitdiff
2023-11-02 Martin QuinsonDo not use MC_process_clock_add() for now, as it makes... tree | commitdiff
2023-11-02 Martin QuinsonMC: display the 100 first transitions when we reach... 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-01 Martin QuinsonMore verbose error and debug messages 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-28 Arnaud GierschReplace redundant type with "auto" (Sonar). 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 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-16 Arnaud GierschMerge branch 'fix-wakeup-tree-iterator' into 'master' tree | commitdiff
2023-06-15 Arnaud GierschA few spelling mistakes and many replacements: [Ss... 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-09 Martin QuinsonMerge branch 'udpor-phase8' into 'master' tree | commitdiff
2023-06-09 Maxwell PirtleOnly compute extensions for enabled events 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 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-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 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 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 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 Arnaud GierschAdd missing includes. tree | commitdiff
2023-06-01 Arnaud GierschCorrect signature for deleted constructor. tree | commitdiff
2023-05-30 Maxwell PirtleFix subtle bug in ~_E computation 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-23 Maxwell PirtleAdd first round of execution independence tests tree | commitdiff
2023-05-17 Maxwell PirtleAdd first "working" version of ODPOR tree | commitdiff
2023-05-16 mlaurentAdd some strategies and fix the semantics of Max/MinMatch 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 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-15 Arnaud GierschSuprious brace (fix non-linux builds). tree | commitdiff
2023-05-15 Arnaud GierschDefine master_socket_name only once, and embed it with... tree | commitdiff
2023-05-15 Arnaud GierschTry harder not to fail with stale sockets after several... tree | commitdiff
2023-05-15 Arnaud GierschThe default destructor should be fine. 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 PirtleMove SDPOR core computation into a method tree | commitdiff
2023-05-12 Maxwell PirtleAdd initial outline of SDPOR implementation tree | commitdiff
2023-05-12 Maxwell PirtleAdd `Execution` to represent series of transitions tree | commitdiff
2023-05-12 Maxwell PirtleAdd class for eventual "happens-before" computations tree | commitdiff
2023-05-10 Martin QuinsonMC: Kill the now useless code State::get_recipe 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-05 Arnaud GierschMisc Sonar issues. tree | commitdiff
2023-04-27 Martin QuinsonLazily compute the recipe of a state, on need only 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 Martin QuinsonFix comment [no-ci] 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-15 Martin QuinsonMake sure that we never have a 0 transition at the... tree | commitdiff
2023-04-15 Martin QuinsonAlso send the disabled transitions over: UDPOR needs it tree | commitdiff
2023-04-14 Martin QuinsonMore defensive programing style tree | commitdiff
2023-04-12 Arnaud GierschRemove useless specialized exceptions from simgrid... tree | commitdiff
2023-04-12 Arnaud GierschSonar... tree | commitdiff
2023-04-11 Arnaud GierschAssignment operators should return non-"const" referenc... tree | commitdiff
2023-04-11 Arnaud GierschMark functions as "const" (sonar). tree | commitdiff
2023-04-11 Arnaud GierschUse std::string (sonar). tree | commitdiff
2023-04-11 Arnaud GierschReduce scope for variables (sonar). tree | commitdiff
2023-04-11 Arnaud GierschPointer and reference should be "const" if the correspo... tree | commitdiff
2023-04-11 Arnaud GierschWhitespace cleanup (codefactor.io). tree | commitdiff
2023-04-05 Maxwell PirtleIntermediate commit to prove that UDPOR functions tree | commitdiff
2023-04-04 Martin QuinsonUse the fast SOCK_SEQPACKET where available tree | commitdiff
2023-04-04 Martin QuinsonMake the MC protocol work on top of STREAM sockets tree | commitdiff
2023-04-04 Arnaud GierschAn integer seems good enough to handle priorities,... tree | commitdiff
next
Clone of SimGrid repository with local patches