Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ed04aa) | patch
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)
commitbdd60f6c3abf41bfca1c86fdf7fa7a28aca704c5
tree1e378fb711996da716560abb56c99c871c52ecd9tree | snapshot
parent2ed04aa36876f1bf3aca3db9009212945493c9b7commit | diff
Remove all traces of chord_before_dsend

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.
examples/msg/chord/CMakeLists.txt diff | blob | history
examples/msg/chord/chord_before_dsend.c [deleted file] blob | history
examples/msg/mc/chord/chord_before_dsend_liveness.c [deleted file] blob | history
Clone of SimGrid repository with local patches