Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Implement MPI_IN_PLACE behavior for collectives
[simgrid.git] / examples / msg / chord /
2013-03-16 Marion Guthmullermodel-checker : update msg chord example for the verifi...
2013-03-16 Marion Guthmullermodel-checker : fix MC_RANDOM simcall
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/.
2012-12-25 Martin Quinsonthis file should not overload the codebase
2012-12-25 Marion Guthmullermodel-checker : stats XP of model checking on chord...
2012-11-27 Jonathan Rouzaud... update
2012-11-27 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2012-11-26 suterrevalidate tesh outputs for chord
2012-11-25 Martin QuinsonRemove all traces of chord_before_dsend
2012-11-14 Martin Quinsontypo in comments
2012-10-24 navarroMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-24 Martin QuinsonDesactivate an historical MC_assert so that model-check...
2012-10-24 alebreMerge branch 'master' into vmtrace
2012-10-16 Martin Quinsons/MC_IS_ENABLED/MC_is_active()/ to remove an unfriendly...
2012-10-16 Arnaud GierschRegenerate tesh files for chord examples.
2012-10-14 Lucas Nussbaumchord: avoid duplicate call of MSG_comm_test()
2012-10-10 Martin Quinsoncommit my deployment for testing the model-checking...
2012-10-08 Martin Quinsonwe need the simgrid library too. True story.
2012-10-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-10-08 Martin Quinsonmake it compile in a recent tree
2012-10-08 Marion Guthmulleradd executable chord_before_dsend in CMakeLists
2012-10-08 Marion Guthmullerversion of chord before use MSG_task_dsend
2012-10-03 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-10-02 Jonathan Rouzaud... Merge branch 'master' of git+ssh://scm.gforge.inria...
2012-10-02 Martin QuinsonDeprecate MSG_clean
2012-07-05 Martin Quinsonbe more verbose on explaining the expected result of...
2012-07-05 Christophe ThiéryMake it clear that MC is supposed to detect a counter...
2012-07-03 Samuel LepetitRevalidate chord.tesh/chord_crosstraffic.tesh
2012-07-03 Samuel LepetitAdd leave in chord
2012-06-29 lbobelinCleaned doc, re-included examples, should be better...
2012-06-29 Samuel LepetitUse msg_error_t instead of MSG_error_t
2012-06-29 Samuel LepetitUse msg_task_t instead of m_task_t
2012-06-26 Arnaud GierschReindent Cmake files.
2012-06-21 jean-noel quintinMerge remote-tracking branch 'origin/master'
2012-06-21 Martin QuinsonDeprecate functions MSG_global_init() / MSG_global_init...
2012-06-14 Marion Guthmullerresolve merge conflict
2012-06-14 Samuel LepetitMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-06-14 navarroFirst step to delete GLOB command from cmake
2012-05-14 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-05-14 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-05-14 Christophe ThiéryAdd comments to this script
2012-04-22 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-04-20 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-04-17 Christophe ThiéryRespect the coding style
2012-04-17 Christophe ThiéryRemove tabs
2012-03-30 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-03-29 navarroTry to clean platform files containing in examples...
2012-03-23 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-03-21 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-03-21 Martin Quinsonfurther improve the MSG doc by documenting the examples
2012-02-21 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-02-21 Arnaud GierschFix format strings to match their arguments.
2012-02-08 Martin Quinsonstop using internal header files from the examples...
2012-02-08 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2012-02-08 Martin Quinsonmove a public header in the simgrid/ directory to fight...
2012-01-30 Marion Guthmullermerge conflict resolved
2012-01-23 navarroPlace MSG init before testing args for --help argument.
2012-01-23 navarroUpdate factor for model LegrandVelho.
2012-01-19 Marion GuthmullerMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-01-19 Marion Guthmullerunused example chord_stateful removed
2012-01-17 navarroCompletely remove channel mecanism with tesh tested...
2012-01-11 Marion Guthmullermerge conflicts resolved
2012-01-09 Martin QuinsonMerge branches 'MC_LTL' and 'MC_LTL' of scm.gforge...
2012-01-06 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2012-01-06 NavarropAdd some tests for crosstraffic = 1.
2012-01-06 Christophe ThiéryMerge branch 'smpi'
2012-01-02 Christophe ThiéryAdd a Chord test with the constant network model
2011-12-26 Martin Quinsonmerge back the master trunk into the smpi branch
2011-12-13 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-07 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-12-05 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-11-30 Marion GuthmullerMerge branch 'master' into MC_LTL
2011-11-22 Marion Guthmullermerge conflicts
2011-11-14 Christophe ThiéryLua Chord example (not working yet, the API is still...
2011-10-25 Marion Guthmullermodel-checker : stateless model checking for liveness...
2011-10-20 Martin QuinsonMerge stuff again. Damn, I should pull before changing...
2011-10-20 Martin Quinsonmerge branches
2011-10-14 Christophe ThiéryRevalidate Chord tesh output (the end of the simulation...
2011-10-13 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-10-13 Christophe ThiéryFighting more memory leaks in Chord
2011-10-13 Christophe ThiéryFix a memory leak in chord
2011-04-26 Christophe ThiéryFix the binary directory of Chord tesh file
2011-04-21 Martin QuinsonMerge branch 'master' of scm.gforge.inria.fr:/gitroot...
2011-04-21 Navarropadd ${bindir}/ to tesh chord
2011-04-21 Christophe ThiéryMerge branch 'master' of git+ssh://scm.gforge.inria...
2011-04-21 Christophe ThiéryAdd Chord to the test suite
2011-03-24 agierschRemove usage of xbt_assert[0-9].
2011-03-15 thieryChord: update some messages displayed
2011-02-22 agierschReplace xbt_die(bprintf(...)) with xbt_die(...).
2011-02-22 thieryThis initialization change the experiment too much
2011-02-17 navarropRemove all xbt_assert.*(0,FALSE or NULL for xbt_die
2011-02-17 agierschUse new style logging macros.
2011-02-15 cristianrosaCompute the real simulation time.
2011-02-08 thieryChord: display the number of messages created
2011-02-04 agierschDoctype as changed.
2011-01-31 thieryFix a compilation problem with dsend and Chord
2011-01-31 thieryChord: use MSG_task_dsend when possible
2011-01-26 cristianrosaChange again the size of the problem for the MC.
2011-01-26 cristianrosaIncrease the frequency of chord's getrequest operations...
2011-01-26 cristianrosaReduce the run size for the MC
next