Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: bdd60f6)
Remove all traces of chord_before_dsend
authorMartin Quinson <martin.quinson@loria.fr>
Sun, 25 Nov 2012 11:09:00 +0000 (12:09 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Sun, 25 Nov 2012 11:09:00 +0000 (12:09 +0100)
This was an attempt at working around bugs in the model-checker, but
it turned out that the bugs were not due to dsend, making the work
around useless.


No differences found
Clone of SimGrid repository with local patches