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: 6351888)
Desactivate an historical MC_assert so that model-checking Chord get a chance to...
authorMartin Quinson <martin.quinson@loria.fr>
Wed, 24 Oct 2012 13:13:41 +0000 (15:13 +0200)
committerMartin Quinson <martin.quinson@loria.fr>
Wed, 24 Oct 2012 13:30:07 +0000 (15:30 +0200)
Leave a comment on this first historical battle for MC in SimGrid in
the source code :)


No differences found
Clone of SimGrid repository with local patches