Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
new platform file, serving as a documentation to clusters
[simgrid.git] / examples / msg / mc /
2017-06-15 Martin QuinsonMerge pull request #181 from bcamus/master tree | commitdiff
2017-06-13 Martin Quinsonkill all trailling whitespaces 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-06-02 Martin QuinsonMerge pull request #177 from Takishipp/sd_exit tree | commitdiff
2017-05-30 Martin Quinsonplease sonar tree | commitdiff
2017-05-29 TakishippMerge branches 'master' and 'master' of github.com... tree | commitdiff
2017-05-24 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2017-05-24 Martin Quinsonlast bunch of codacy treats for tonight. Stop. tree | commitdiff
2017-05-21 Martin QuinsonMerge branch 'master' of github.com:simgrid/simgrid tree | commitdiff
2017-05-09 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2017-05-05 Martin QuinsonUpdate all our XML files + next XML version will be... tree | commitdiff
2017-05-05 Martin Quinsonfinish the conversion of public MACRO names, in the... tree | commitdiff
2017-02-07 Martin Quinsonmore info to the user. tree | commitdiff
2017-01-26 Martin QuinsonMC: cosmetics tree | commitdiff
2016-11-30 Millian PoquetMerge branch 'master' of https://github.com/mpoquet... tree | commitdiff
2016-06-21 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2016-06-21 Frederic Sutersome MC tests still believe that platform.xml exist tree | commitdiff
2016-06-21 Frederic Sutertrack down remaining XML glitches tree | commitdiff
2016-06-20 Frederic Suterreindent more deployment files tree | commitdiff
2016-06-20 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2016-06-20 Frederic Sutertoday is doomsday: platform.xml is sacrificed for the... tree | commitdiff
2016-04-26 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2016-04-25 Gabriel Corona[mc] Really ignore the output of bugged1_liveness tree | commitdiff
2016-04-24 Martin Quinsonstart converting option names to kebab-case tree | commitdiff
2016-04-21 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2016-04-21 Gabriel Corona[mc] Ingnore the output of the liveness test and only... tree | commitdiff
2016-04-20 Martin Quinsonspellchecking instead of sleeping tree | commitdiff
2016-04-19 Gabriel Corona[mc] Increase the timeout of the liveness tests tree | commitdiff
2016-04-04 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2016-04-04 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2016-04-04 Gabriel CoronaFix #includes to automaton.h tree | commitdiff
2016-03-23 Gabriel Corona[mc] Remove MC_init() tree | commitdiff
2016-03-15 Gabriel Corona[mc] Ignore output of bugged1_liveness_visited tree | commitdiff
2016-03-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2016-03-14 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2016-03-14 Frederic Suterfactor Cmake and clean files tree | commitdiff
2016-03-08 Gabriel Corona[mc] Update tesh files (bugged1_liveness_visited) tree | commitdiff
2016-03-06 Frederic SuterMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2016-03-06 Martin Quinsonone set of macros for min/max is enough tree | commitdiff
2016-02-27 Martin QuinsonMerge pull request #65 from fabienchaix/master tree | commitdiff
2016-02-24 Fabien ChaixMerge branch 'oldstyle_element_set' tree | commitdiff
2016-02-23 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2016-02-23 Martin Quinsonvarious cleanups in the CMakeLists.txt files tree | commitdiff
2016-02-23 fabienchaixMerge pull request #2 from mquinson/master tree | commitdiff
2016-02-22 Gabriel Corona[mc] Fix context registration which was disabled by... tree | commitdiff
2016-02-20 Martin QuinsonMerge branch 'coverity_scan' of github.com:mquinson... tree | commitdiff
2016-02-18 Frederic Sutermore cleanups in XML files tree | commitdiff
2016-02-15 Frederic SuterDo not declare empty sets tree | commitdiff
2016-02-12 Gabriel Corona[mc] Update the tesh for mc-bugged1-liveness tree | commitdiff
2016-02-08 Martin Quinsonconvert all xml files to the new DTD v4 tree | commitdiff
2016-02-07 Martin Quinsonrevalidate this tesh file, sorry tree | commitdiff
2016-02-07 Martin Quinsoncasting an int to void* is not ok tree | commitdiff
2016-02-07 Martin Quinsongreatly reduce the amount of atoi in our codebase tree | commitdiff
2016-02-02 fabienchaixMerge pull request #1 from mquinson/master tree | commitdiff
2016-02-01 Martin QuinsonMerge pull request #57 from fabienchaix/oldstyle_elemen... tree | commitdiff
2016-01-30 Christian Heinrich[MC] Renamed option sparse-checkpoint to sparse_checkpoint tree | commitdiff
2016-01-25 degommedesperate attempt : tree | commitdiff
2016-01-22 Martin Quinsonrevalidate tesh files when maestro is given a process... tree | commitdiff
2015-10-13 Martin QuinsonMerge branch 'S4U' tree | commitdiff
2015-09-01 Gabriel Corona[mc] Remove the --cfg=model-check:1 flag tree | commitdiff
2015-08-31 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2015-08-31 Martin Quinsondon't tell 165 times that we need CMAKE v2.6 tree | commitdiff
2015-08-09 Martin QuinsonMerge branch 'master' into S4U tree | commitdiff
2015-08-05 Martin QuinsonUpdate copyright notices tree | commitdiff
2015-06-02 Gabriel Corona[mc] exit() instead of abort() in normal operation tree | commitdiff
2015-05-19 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... 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-09 Gabriel Corona[mc] Move liveness in MCer process tree | commitdiff
2015-04-08 Adrien LebreMerge before commiting VM changes - Adrien tree | commitdiff
2015-04-04 Martin Quinsonmv msg/msg.h simgrid/msg.h tree | commitdiff
2015-03-26 Gabriel Corona[mc] Cross-process MC/safety implementation tree | commitdiff
2015-03-10 Gabriel CoronaMerge branch 'master' into mc-process tree | commitdiff
2015-02-18 Arnaud LegrandMerge branch 'master' of git+ssh://scm.gforge.inria... 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-09 Marion Guthmullermodel-checker : revalidate tesh 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-11-28 Adrien Lebremerge msg_vm.c - adrien (please note that there is... tree | commitdiff
2014-11-28 Augustin DegommeFix dist tree | commitdiff
2014-11-25 Gabriel Corona[mc] Test if the stack-cleaner has any effect tree | commitdiff
2014-10-09 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2014-10-09 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-10-09 Gabriel Corona[mc] Simplify tests specifications for mc-bugged1-liveness* tree | commitdiff
2014-07-29 Gabriel Corona[mc] Renable the sparse snpashot tests (after fixing... tree | commitdiff
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2014-07-28 Augustin Degommefix dist tree | commitdiff
2014-07-28 Adrien LebreMerge branch 'master' of git+ssh://scm.gforge.inria... 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-22 Gabriel Corona[mc] Add tests for sparse snapshot tree | commitdiff
2014-07-01 Gabriel Corona[mc] Fix unit MC tests after platform file move/rename tree | commitdiff
2014-06-27 Gabriel CoronaMerge branch 'mc' tree | commitdiff
2014-06-04 Marion Guthmullermodel-checker : compare the pid of enabled processes... tree | commitdiff
2014-06-03 Marion Guthmullermodel-checker : comment erroneous ignore (not completel... tree | commitdiff
2014-04-22 Stéphane CastelliMerge branch 'smpi-topo' tree | commitdiff
2014-04-01 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
next
Clone of SimGrid repository with local patches