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: 07e586b)
Revert "model-checker : add new surf configuration mc-checkpoint"
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 20 Jun 2012 16:45:48 +0000 (18:45 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 20 Jun 2012 16:45:48 +0000 (18:45 +0200)
Need more modifications

This reverts commit 997b2f3f37f1b2ee77b2dfbf82c70e183a5ed5f3.


No differences found
Clone of SimGrid repository with local patches