Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Run test with --log=no_loc.
[simgrid.git] / examples / msg / chord /
2014-02-05 Arnaud GierschAdd/update copyright notices. tree | commitdiff
2013-11-15 Paul BédarideMerge branch 'surf++' tree | commitdiff
2013-11-08 Paul BédarideMerge branch 'hypervisor' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-11-08 Paul BédarideMerge tag 'v3_9_90' into hypervisor tree | commitdiff
2013-10-30 Arnaud GierschSlightly change the sleep duration. tree | commitdiff
2013-10-30 Paul BédarideMerge commit '045db1657e870c721be490b411868f4181a12ced... tree | commitdiff
2013-10-30 Arnaud GierschFix another memory leak in chord example. tree | commitdiff
2013-10-30 Arnaud GierschAvoid code duplication. tree | commitdiff
2013-10-10 suterat least this one works. leak-- tree | commitdiff
2013-10-07 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-10-06 suterleak -- tree | commitdiff
2013-09-26 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-09-25 Arnaud GierschDig through git history, and update copyright lines. tree | commitdiff
2013-08-14 Pierre VeyreMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2013-08-10 Marion Guthmullermodel-checker : update chord example for exhaustive... tree | commitdiff
2013-08-05 Marion Guthmullerupdate the other tesh for chord example tree | commitdiff
2013-08-05 Marion Guthmullerdisable random lookup in Chord (tesh examples fail) tree | commitdiff
2013-08-05 Marion Guthmullerupdate chord.tesh tree | commitdiff
2013-08-05 Marion Guthmullerimplement check_predecessor and random_lookup (periodic... tree | commitdiff
2013-04-10 Takahiro HirofuchiMerge branch 'hypervisor' of scm.gforge.inria.fr:/gitro... tree | commitdiff
2013-04-02 alebreMerge branch 'master' into hypervisor tree | commitdiff
2013-03-16 Marion Guthmullermodel-checker : update msg chord example for the verifi... tree | commitdiff
2013-03-16 Marion Guthmullermodel-checker : fix MC_RANDOM simcall tree | commitdiff
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/. tree | commitdiff
2012-12-25 Martin Quinsonthis file should not overload the codebase tree | commitdiff
2012-12-25 Marion Guthmullermodel-checker : stats XP of model checking on chord... tree | commitdiff
2012-11-27 Jonathan Rouzaud... update tree | commitdiff
2012-11-27 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-11-26 suterrevalidate tesh outputs for chord tree | commitdiff
2012-11-25 Martin QuinsonRemove all traces of chord_before_dsend tree | commitdiff
2012-11-14 Martin Quinsontypo in comments tree | commitdiff
2012-10-24 navarroMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-24 Martin QuinsonDesactivate an historical MC_assert so that model-check... tree | commitdiff
2012-10-24 alebreMerge branch 'master' into vmtrace tree | commitdiff
2012-10-16 Martin Quinsons/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly... tree | commitdiff
2012-10-16 Arnaud GierschRegenerate tesh files for chord examples. tree | commitdiff
2012-10-14 Lucas Nussbaumchord: avoid duplicate call of MSG_comm_test() tree | commitdiff
2012-10-10 Martin Quinsoncommit my deployment for testing the model-checking... tree | commitdiff
2012-10-08 Martin Quinsonwe need the simgrid library too. True story. tree | commitdiff
2012-10-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-10-08 Martin Quinsonmake it compile in a recent tree tree | commitdiff
2012-10-08 Marion Guthmulleradd executable chord_before_dsend in CMakeLists tree | commitdiff
2012-10-08 Marion Guthmullerversion of chord before use MSG_task_dsend tree | commitdiff
2012-10-03 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-10-02 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-10-02 Martin QuinsonDeprecate MSG_clean tree | commitdiff
2012-07-05 Martin Quinsonbe more verbose on explaining the expected result of... tree | commitdiff
2012-07-05 Christophe ThiéryMake it clear that MC is supposed to detect a counter... tree | commitdiff
2012-07-03 Samuel LepetitRevalidate chord.tesh/chord_crosstraffic.tesh tree | commitdiff
2012-07-03 Samuel LepetitAdd leave in chord tree | commitdiff
2012-06-29 lbobelinCleaned doc, re-included examples, should be better... tree | commitdiff
2012-06-29 Samuel LepetitUse msg_error_t instead of MSG_error_t tree | commitdiff
2012-06-29 Samuel LepetitUse msg_task_t instead of m_task_t tree | commitdiff
2012-06-26 Arnaud GierschReindent Cmake files. tree | commitdiff
2012-06-21 jean-noel quintinMerge remote-tracking branch 'origin/master' tree | commitdiff
2012-06-21 Martin QuinsonDeprecate functions MSG_global_init() / MSG_global_init... tree | commitdiff
2012-06-14 Marion Guthmullerresolve merge conflict tree | commitdiff
2012-06-14 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-06-14 navarroFirst step to delete GLOB command from cmake tree | commitdiff
2012-05-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-05-14 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-05-14 Christophe ThiéryAdd comments to this script tree | commitdiff
2012-04-22 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-04-20 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-04-17 Christophe ThiéryRespect the coding style tree | commitdiff
2012-04-17 Christophe ThiéryRemove tabs tree | commitdiff
2012-03-30 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-03-29 navarroTry to clean platform files containing in examples... tree | commitdiff
2012-03-23 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-03-21 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-03-21 Martin Quinsonfurther improve the MSG doc by documenting the examples tree | commitdiff
2012-02-21 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-02-21 Arnaud GierschFix format strings to match their arguments. tree | commitdiff
2012-02-08 Martin Quinsonstop using internal header files from the examples... tree | commitdiff
2012-02-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot... tree | commitdiff
2012-02-08 Martin Quinsonmove a public header in the simgrid/ directory to fight... tree | commitdiff
2012-01-30 Marion Guthmullermerge conflict resolved tree | commitdiff
2012-01-23 navarroPlace MSG init before testing args for --help argument. tree | commitdiff
2012-01-23 navarroUpdate factor for model LegrandVelho. tree | commitdiff
2012-01-19 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-01-19 Marion Guthmullerunused example chord_stateful removed tree | commitdiff
2012-01-17 navarroCompletely remove channel mecanism with tesh tested... tree | commitdiff
2012-01-11 Marion Guthmullermerge conflicts resolved tree | commitdiff
2012-01-09 Martin QuinsonMerge branches 'MC_LTL' and 'MC_LTL' of scm.gforge... tree | commitdiff
2012-01-06 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
2012-01-06 NavarropAdd some tests for crosstraffic = 1. tree | commitdiff
2012-01-06 Christophe ThiéryMerge branch 'smpi' tree | commitdiff
2012-01-02 Christophe ThiéryAdd a Chord test with the constant network model tree | commitdiff
2011-12-26 Martin Quinsonmerge back the master trunk into the smpi branch tree | commitdiff
2011-12-13 Marion GuthmullerMerge branch 'master' into MC_LTL tree | commitdiff
2011-12-07 Marion GuthmullerMerge branch 'master' into MC_LTL tree | commitdiff
2011-12-05 Marion GuthmullerMerge branch 'master' into MC_LTL tree | commitdiff
2011-11-30 Marion GuthmullerMerge branch 'master' into MC_LTL tree | commitdiff
2011-11-22 Marion Guthmullermerge conflicts tree | commitdiff
2011-11-14 Christophe ThiéryLua Chord example (not working yet, the API is still... tree | commitdiff
2011-10-25 Marion Guthmullermodel-checker : stateless model checking for liveness... tree | commitdiff
2011-10-20 Martin QuinsonMerge stuff again. Damn, I should pull before changing... tree | commitdiff
2011-10-20 Martin Quinsonmerge branches tree | commitdiff
2011-10-14 Christophe ThiéryRevalidate Chord tesh output (the end of the simulation... tree | commitdiff
2011-10-13 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria... tree | commitdiff
next
Clone of SimGrid repository with local patches