Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add new entry in Release_Notes.
[simgrid.git] / examples / smpi / mc /
2023-11-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-11-05 Martin QuinsonRemove the stateful model-checking from the archive... tree | commitdiff
2023-10-30 Martin QuinsonMerge branch 'example-battery-chiller-solar' into ... tree | commitdiff
2023-10-17 Augustin DegommeSMPI - delay allocation of mailboxes to save some memor... tree | commitdiff
2023-07-01 Martin QuinsonDon't send sbuff and rbuff to the MC checker tree | commitdiff
2023-06-29 Martin QuinsonFix MC builds tree | commitdiff
2023-06-28 Martin QuinsonMerge branch 'master' into 'python_bindings_host_load_p... tree | commitdiff
2023-06-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-22 Martin QuinsonFix MC builds tree | commitdiff
2023-06-16 Arnaud GierschMerge branch 'fix-wakeup-tree-iterator' into 'master' tree | commitdiff
2023-06-15 Martin QuinsonRevalidate the MC tesh files after the recent changes... tree | commitdiff
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-13 Martin QuinsonRevalidate the MC tesh files after the recent changes... tree | commitdiff
2023-06-13 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-13 mlaurentFix test stats according to current dependency relation tree | commitdiff
2023-06-07 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-06-07 mlaurentFix CI tests tree | commitdiff
2023-06-07 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-06-07 Arnaud GierschBuffers should not be considered by CommWaitTransition... 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 mlaurentFew more CI tesh fixing tree | commitdiff
2023-06-06 mlaurentFix stat order for CI tests tree | commitdiff
2023-06-05 mlaurentMerge branch 'master' of https://framagit.org/mwapl... 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-07 Arnaud GierschAdd $VALGRIND_NO_LEAK_CHECK in tesh files when simgrid... tree | commitdiff
2023-04-05 Arnaud GierschRegenerate tesh files (one more time). tree | commitdiff
2023-04-04 Arnaud GierschRegenerate tesh files. tree | commitdiff
2023-03-31 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-03-30 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-30 mlaurentRename guide as strategy and fix counter-example displa... tree | commitdiff
2023-03-30 mlaurentReplace state copy with recipe: list of transition... tree | commitdiff
2023-03-28 mlaurentChange opened states for a priority queue tree | commitdiff
2023-03-27 mlaurentNow handle random transition and multiple times transitions tree | commitdiff
2023-03-27 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-03-24 mlaurentAdd copy constructor to state, so we can backtrack... tree | commitdiff
2023-03-24 Arnaud GierschFix test: program needs exactly 2 processes. tree | commitdiff
2023-03-05 Martin QuinsonMerge branch 'maximal-subset-search' into 'master' tree | commitdiff
2023-03-02 Arnaud GierschHelp to identify null values. tree | commitdiff
2023-02-26 Martin QuinsonMerge branch 'master' into 'master' tree | commitdiff
2023-02-24 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-22 mlaurenttransitions in the same actor are dependent tree | commitdiff
2023-02-22 mlaurentMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2023-02-22 mlaurentfix a few test with dpor tree | commitdiff
2023-01-01 Arnaud GierschUpdate copyright lines for 2023. tree | commitdiff
2022-11-01 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2022-11-01 Martin QuinsonDisplay the mailbox name when showing a deadlocking... tree | commitdiff
2022-11-01 Martin QuinsonMC: display the status of all actors in case of deadlock tree | commitdiff
2022-11-01 Martin QuinsonMC: tell the user about how to use the replay path... tree | commitdiff
2022-03-11 Martin QuinsonMerge branch 'add_remaining_comm_sync_bindings' into... tree | commitdiff
2022-03-09 Martin QuinsonRename mc::SafetyChecker to mc::DFSExplorer tree | commitdiff
2022-02-19 Martin QuinsonMC: move a check_deadlock from ModelChecker to Session... tree | commitdiff
2022-02-18 Martin QuinsonRevalidate all SafetyChecker tesh now that the output... tree | commitdiff
2022-02-18 Martin QuinsonMake CommDet a plugin on top of Safety tree | commitdiff
2022-02-18 Martin QuinsonCommDet: reimplement on top of transitions. Don't mess... tree | commitdiff
2022-02-12 Martin QuinsonImprove the final stats reported by SafetyChecker,... tree | commitdiff
2022-01-06 Arnaud GierschUpdate copyright lines for 2022. tree | commitdiff
2021-09-14 SUTER FredericMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2021-06-22 Arnaud GierschAdd missing copyright notices. tree | commitdiff
2021-06-13 Arnaud GierschCleanup in .gitignore files; delete obsolete tesh file... tree | commitdiff
2021-05-04 Arnaud GierschPut stdout in line buffer mode for MCed apps. tree | commitdiff
2021-05-04 Martin QuinsonFix tesh file now that MC flushes the output on backtrack tree | commitdiff
2021-03-27 Arnaud Giersch[sonar] Useless parentheses. tree | commitdiff
2021-01-13 agougeonMerge branch 'master' of https://framagit.org/simgrid... tree | commitdiff
2021-01-12 Arnaud GierschUpdate copyright lines. tree | commitdiff
2020-10-23 Arnaud GierschMerge branch 'pikachuyann/simgrid-stoprofiles' tree | commitdiff
2020-09-30 Martin QuinsonMerge branch 'adrien' into 'master' tree | commitdiff
2020-09-30 Martin QuinsonMerge branch 'master' into adrien tree | commitdiff
2020-09-26 Martin QuinsonMerge branch 'master' of framagit.org:Adrien.Gougeon... tree | commitdiff
2020-06-12 Augustin Degommespelling mistakes in include/ and examples/ tree | commitdiff
2020-06-11 Martin QuinsonFinish converting the way we use cfg=smpi/host-speed... tree | commitdiff
2020-02-06 Arnaud GierschMerge branch 'pikachuyann/simgrid-xbt_random' tree | commitdiff
2020-01-24 Frederic SuterMerge branch 'depencencies' of https://framagit.org... tree | commitdiff
2020-01-01 Arnaud GierschUpdate copyright lines with new year. tree | commitdiff
2019-12-21 Arnaud GierschKill unused includes, and put the remaining ones at... tree | commitdiff
2019-10-07 Frederic SuterMerge branch 'master' into CRTP tree | commitdiff
2019-08-31 Gene CoopermanSpelling fixes & a few cases of polishing the English... tree | commitdiff
2019-08-18 Martin QuinsonThese tests really need zero buffering tree | commitdiff
2019-08-17 Martin Quinsonadd a test of MC detecting blocking send/send patterns tree | commitdiff
2019-07-16 Arnaud GierschCosmetics. tree | commitdiff
2019-01-08 Martin QuinsonMerge branch 'master' of framagit.org:simgrid/simgrid tree | commitdiff
2019-01-07 Arnaud GierschUpdate copyright lines with new year. tree | commitdiff
2018-10-11 jed56 ( Jean-Emile... Merge branch 'master' into v3.20-expose-simgrid-jni tree | commitdiff
2018-09-18 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2018-09-18 Martin QuinsonUnify the host names in cluster description files tree | commitdiff
2018-09-17 Martin QuinsonMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2018-09-17 Martin QuinsonRename cluster.xml to cluster_backbone.xml tree | commitdiff
2018-04-08 Arnaud GierschUpdate copyright headers. tree | commitdiff
2018-02-01 Millian Poquet[#!] #! ./tesh -> #!/usr/bin/env tesh tree | commitdiff
2017-11-27 Tom CornebizeMerge branch 'master' into fix/execute_benched tree | commitdiff
2017-11-23 TakishippMerge branch 'actor-yield' of github.com:Takishipp... tree | commitdiff
2017-11-23 ZitagccMerge branch 'master' into actor-yield tree | commitdiff
2017-10-18 ZitagccMerge branch 'master' into actor-priority tree | commitdiff
2017-10-15 Martin QuinsonMerge branch 'actor-startkilltime' of https://github... tree | commitdiff
2017-10-15 Martin QuinsonMerge pull request #228 from Takishipp/actor-execute tree | commitdiff
2017-10-14 Arnaud GierschCosmetics: one statement per declaration. tree | commitdiff
2017-10-04 Arnaud GierschRemove lines of commented code spotted by sonar. tree | commitdiff
2017-07-24 Martin QuinsonMerge pull request #202 from Takishipp/clear_fct tree | commitdiff
next
Clone of SimGrid repository with local patches