Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
s4u::Semaphore: use a simpler example with no mutex
[simgrid.git] / examples / smpi / mc /
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
2017-07-20 Arnaud GierschUse actual names for configuration options (kebab-case... tree | commitdiff
2017-07-06 Martin Quinsoncodacy tree | commitdiff
2017-06-30 Martin QuinsonMerge pull request #193 from Takishipp/signals tree | commitdiff
2017-06-15 Martin QuinsonMerge pull request #181 from bcamus/master tree | commitdiff
2017-06-14 TakishippMerge branch 'clean_events' of github.com:Takishipp... tree | commitdiff
2017-06-14 Toufik BoubehzizMerge branch 'master' into clean_events tree | commitdiff
2017-06-13 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2017-06-13 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2017-06-12 Frederic Sutera few smells less tree | commitdiff
2017-06-02 Martin QuinsonMerge pull request #179 from Takishipp/signals tree | commitdiff
2017-06-02 Martin Quinsonplease sonar a tiny bit tree | commitdiff
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com... tree | commitdiff
2017-05-26 Martin Quinsoncodacy treats tree | commitdiff
2017-05-24 Martin Quinsonrename simix::Mutex to simix::MutexImpl tree | commitdiff
2017-05-24 Martin Quinsontidy the scope of some more locals tree | commitdiff
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet... tree | commitdiff
2016-08-29 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2016-08-29 Martin Quinsonsmpi/running-power is renamed to smpi/host-speed tree | commitdiff
2016-04-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2016-04-25 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2016-04-25 Martin Quinsonkebab-case some smpi options tree | commitdiff
2016-04-14 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2016-04-13 Gabriel Corona[mc] Delegate some part of Session::logState() to Check... tree | commitdiff
2016-04-13 Gabriel Corona[mc] Move MC_print_statistics() as Session::logState() tree | commitdiff
2016-03-08 Martin Quinsonuse #if instead if #ifdef for the things in the public... tree | commitdiff
2016-03-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2016-03-07 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2016-03-07 Frederic Sutera couple of blank and space lines tree | commitdiff
2016-02-24 Fabien ChaixMerge branch 'oldstyle_element_set' tree | commitdiff
2016-02-23 fabienchaixMerge pull request #2 from mquinson/master tree | commitdiff
2016-02-20 Martin QuinsonMerge branch 'coverity_scan' of github.com:mquinson... tree | commitdiff
2016-02-06 Martin Quinsonsed -i -e 's/\t/ /g' [sources] Please people, stop... tree | commitdiff
2016-02-06 Martin QuinsonMerge pull request #59 from fabienchaix/master tree | commitdiff
2016-02-03 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2016-02-02 Christian Heinrich[SMPI] Renamed option send_is_detached_thres to send_is... tree | commitdiff
2015-10-13 Martin QuinsonMerge branch 'S4U' tree | commitdiff
2015-09-10 Martin Quinsonignore some generated cruft tree | commitdiff
2015-09-01 Gabriel Corona[mc] Remove the --cfg=model-check:1 flag tree | commitdiff
2015-08-27 Martin QuinsonMerge branch 'master' into S4U tree | commitdiff
2015-08-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-08-27 Gabriel Corona[smpi] Avoid locking the mutex when it's not needed tree | commitdiff
2015-08-09 Martin QuinsonMerge branch 'master' into S4U tree | commitdiff
2015-08-05 Martin QuinsonUpdate copyright notices tree | commitdiff
2015-07-14 Martin QuinsonMerge pull request #17 from mpoquet/master tree | commitdiff
2015-07-10 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-07-10 Martin Quinsondo not output a user unfriendly line tree | commitdiff
2015-07-10 Martin QuinsonMASSIVE cleanup: s/workstation/host/ tree | commitdiff
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2015-04-27 Gabriel CoronaMerge branch 'master' into mc tree | commitdiff
2015-04-17 Gabriel Corona[mc] Remove standalone mode and remove MC_do_the_modelc... tree | commitdiff
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-04-14 Gabriel Corona[mc] Fix comm_determinism to work in split MCer/MCed tree | commitdiff
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-02-26 Marion Guthmullermodel-checker : MUTEX_UNLOCK is invisible for MC tree | commitdiff
2015-02-25 Marion Guthmullermodel-checker : initialize variable tree | commitdiff
2015-02-25 Marion Guthmullermodel-checker : really (?) fix SIMCALL_MUTEX_LOCK and... tree | commitdiff
2015-02-24 Marion Guthmullermodel-checker : new files forgotten tree | commitdiff
2015-02-12 Gabriel CoronaMerge master into mc-process tree | commitdiff
2015-02-10 Gabriel Corona[mc] Register symbols as pointers in the examples tree | commitdiff
2015-02-03 Gabriel Corona[mc] Basic infrastructure for a real model-checker... tree | commitdiff
2015-01-16 Gabriel Corona[mc] Create a separate simgrid-mc program tree | commitdiff
2014-12-09 Gabriel Corona[mc] Enable the custom mm malloc only in MC tree | commitdiff
2014-12-04 Gabriel Corona[mc] Move process info in a new s_mc_process_t structure tree | commitdiff
2014-10-09 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-10-01 etortilopezMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-09-29 Augustin Degommechange name of some targets for mc, to avoid warnings... tree | commitdiff
2014-07-25 Gabriel CoronaMerge branch 'mc' tree | commitdiff
2014-07-24 Gabriel CoronaMerge remote-tracking branch 'origin/mc-fastsnapshot... tree | commitdiff
2014-07-24 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-07-17 Augustin Degommetesh update for fabien's work on surf tree | commitdiff
2014-07-03 Marion Guthmullermodel-checker : update tesh tree | commitdiff
2014-06-27 Gabriel CoronaMerge branch 'mc' tree | commitdiff
2014-06-27 Gabriel CoronaMerge branch 'mc-fastsnapshot' into mc tree | commitdiff
2014-06-26 Marion Guthmullermodel-checker : update tesh tree | commitdiff
2014-06-04 Marion Guthmullermodel-checker : fix backtracking with comm determinism... tree | commitdiff
2014-06-03 Marion Guthmullermodel-checker : new tesh examples about communications... tree | commitdiff
2014-05-26 Gabriel CoronaMerge branch 'master' into mc tree | commitdiff
2014-05-12 Henri CasanovaMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-05-12 Arnaud GierschFix dead assignments. tree | commitdiff
2014-05-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-04-22 Stéphane CastelliMerge branch 'smpi-topo' tree | commitdiff
2014-04-14 Gabriel CoronaMerge branch 'mc-perf' tree | commitdiff
2014-04-10 Marion Guthmullermodel-checker : add commande line in comment to run... tree | commitdiff
2014-04-10 Marion Guthmullermodel-checker : worst case considered for bugged1_liven... tree | commitdiff
next
Clone of SimGrid repository with local patches