Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model-checker : if acceptance cycle is detected, get num of equal pairs
[simgrid.git] / examples / smpi / mc_bugged1.c
2013-01-30 Arnaud GierschIncorporate simgrid-java in simgrid-java/. blob | commitdiff | raw
2012-02-08 Arnaud GierschFile has moved. blob | commitdiff | raw
2011-02-16 coldpeacecheck HAVE_MC before calling MC_assert blob | commitdiff | raw | diff to current
2011-02-15 cristianrosaAdd SMPI bugged example to test the MC. blob | commitdiff | raw | diff to current
Clone of SimGrid repository with local patches