Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix context registration which was disabled by a bug
[simgrid.git] / examples / smpi / mc /
2016-02-20 Martin QuinsonMerge branch 'coverity_scan' of github.com:mquinson...
2016-02-06 Martin Quinsonsed -i -e 's/\t/ /g' [sources] Please people, stop...
2016-02-06 Martin QuinsonMerge pull request #59 from fabienchaix/master
2016-02-03 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2016-02-02 Christian Heinrich[SMPI] Renamed option send_is_detached_thres to send_is...
2015-10-13 Martin QuinsonMerge branch 'S4U'
2015-09-10 Martin Quinsonignore some generated cruft
2015-09-01 Gabriel Corona[mc] Remove the --cfg=model-check:1 flag
2015-08-27 Martin QuinsonMerge branch 'master' into S4U
2015-08-27 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-08-27 Gabriel Corona[smpi] Avoid locking the mutex when it's not needed
2015-08-09 Martin QuinsonMerge branch 'master' into S4U
2015-08-05 Martin QuinsonUpdate copyright notices
2015-07-14 Martin QuinsonMerge pull request #17 from mpoquet/master
2015-07-10 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2015-07-10 Martin Quinsondo not output a user unfriendly line
2015-07-10 Martin QuinsonMASSIVE cleanup: s/workstation/host/
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2015-04-27 Gabriel CoronaMerge branch 'master' into mc
2015-04-17 Gabriel Corona[mc] Remove standalone mode and remove MC_do_the_modelc...
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-14 Gabriel CoronaMerge branch 'master' into mc-process
2015-04-14 Gabriel Corona[mc] Fix comm_determinism to work in split MCer/MCed
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process
2015-02-26 Marion Guthmullermodel-checker : MUTEX_UNLOCK is invisible for MC
2015-02-25 Marion Guthmullermodel-checker : initialize variable
2015-02-25 Marion Guthmullermodel-checker : really (?) fix SIMCALL_MUTEX_LOCK and...
2015-02-24 Marion Guthmullermodel-checker : new files forgotten
2015-02-12 Gabriel CoronaMerge master into mc-process
2015-02-10 Gabriel Corona[mc] Register symbols as pointers in the examples
2015-02-03 Gabriel Corona[mc] Basic infrastructure for a real model-checker...
2015-01-16 Gabriel Corona[mc] Create a separate simgrid-mc program
2014-12-09 Gabriel Corona[mc] Enable the custom mm malloc only in MC
2014-12-04 Gabriel Corona[mc] Move process info in a new s_mc_process_t structure
2014-10-09 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-10-01 etortilopezMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-09-29 Augustin Degommechange name of some targets for mc, to avoid warnings...
2014-07-25 Gabriel CoronaMerge branch 'mc'
2014-07-24 Gabriel CoronaMerge remote-tracking branch 'origin/mc-fastsnapshot...
2014-07-24 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-07-17 Augustin Degommetesh update for fabien's work on surf
2014-07-03 Marion Guthmullermodel-checker : update tesh
2014-06-27 Gabriel CoronaMerge branch 'mc'
2014-06-27 Gabriel CoronaMerge branch 'mc-fastsnapshot' into mc
2014-06-26 Marion Guthmullermodel-checker : update tesh
2014-06-04 Marion Guthmullermodel-checker : fix backtracking with comm determinism...
2014-06-03 Marion Guthmullermodel-checker : new tesh examples about communications...
2014-05-26 Gabriel CoronaMerge branch 'master' into mc
2014-05-12 Henri CasanovaMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-05-12 Arnaud GierschFix dead assignments.
2014-05-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2014-04-22 Stéphane CastelliMerge branch 'smpi-topo'
2014-04-14 Gabriel CoronaMerge branch 'mc-perf'
2014-04-10 Marion Guthmullermodel-checker : add commande line in comment to run...
2014-04-10 Marion Guthmullermodel-checker : worst case considered for bugged1_liven...
2014-04-01 Arnaud GierschUpdate copyright headers.
2014-04-01 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-03-31 Martin QuinsonRevert "Remove XBT_INFO call"
2014-03-31 Pierre VeyreRemove XBT_INFO call
2014-03-31 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-03-28 Marion Guthmullermodel-checker : smpi mutual exclusion example
2014-03-21 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2014-03-21 Gabriel CoronaMerge branch 'mc++'
2014-03-06 Gabriel CoronaMerge branch 'mc' into mc++
2014-02-28 Gabriel CoronaMerge branch 'mc++' into mc-merge
2014-02-25 Gabriel CoronaMerge branch 'mc' into mc++
2014-02-25 Gabriel CoronaMerge bugfix from branch mc-refactor
2014-02-25 Gabriel CoronaMerge branches 'mc'
2014-02-25 Gabriel Corona[mc] Fix format strings
2014-02-25 Marion Guthmullermodel-checker : smpi examples for the communication...
2014-02-24 Gabriel CoronaMerge 'master' into mc
2014-02-05 Arnaud GierschAdd/update copyright notices.
2013-11-08 Paul BédarideMerge branch 'hypervisor' of git+ssh://scm.gforge.inria...
2013-11-08 Paul BédarideMerge tag 'v3_9_90' into hypervisor
2013-10-30 Paul BédarideMerge commit '045db1657e870c721be490b411868f4181a12ced...
2013-10-06 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-10-04 Marion Guthmullermodel-checker : update bugged mutual exclusion algorithm
2013-10-01 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-09-29 Marion Guthmullermodel-checker : fix bugged mutual exclusion example...
2013-09-26 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-09-25 Arnaud GierschDig through git history, and update copyright lines.
2013-08-19 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-08-14 Marion Guthmullermodel-checker : update SMPI bugged mutual exclusion...
2013-08-14 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria...
2013-08-13 Marion Guthmullermodel-checker : remove binary
2013-08-13 Marion Guthmullermodel-checker : create mc directory in smpi examples...