Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker : interleave all enabled processes for each state and apply DPOR only...
2012-12-12 Paul BédarideAdd ctest2junit.xsl for jenkins
 commit | commitdiff | tree
2012-12-06 Paul BédarideMerge branch 'master' of git+ssh://scm.gforge.inria...
commit | commitdiff | tree
2012-12-06 Paul BédarideAdd ModelChecker build type
 commit | commitdiff | tree
Clone of SimGrid repository with local patches