Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : fix dot output for smpi examples
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 6 Jun 2013 20:31:39 +0000 (22:31 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 8 Jun 2013 16:16:23 +0000 (18:16 +0200)
commite081d27d94e22fb59dbd8294087fd10465a1ca1d
tree95015b32e2b5a09c93bb549e18083bc29b208e63
parent91ccd61316607f1aa43271257b00fb54af497808
model-checker : fix dot output for smpi examples
src/mc/mc_request.c