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: a6c262a)
Cleaner detection of using model-checking.
authorthiery <thiery@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 2 Dec 2010 17:18:59 +0000 (17:18 +0000)
committerthiery <thiery@48e7efb5-ca39-0410-a469-dd3cf9ba447f>
Thu, 2 Dec 2010 17:18:59 +0000 (17:18 +0000)
libgras no longer needs to define _surf_do_model_check.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@8912 48e7efb5-ca39-0410-a469-dd3cf9ba447f


No differences found
Clone of SimGrid repository with local patches