Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : update SMPI bugged mutual exclusion example
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 14 Aug 2013 09:57:14 +0000 (11:57 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 14 Aug 2013 09:57:14 +0000 (11:57 +0200)
commitfb262c98039662cceb7db5d9a18e851fcc5213de
treee08e49ee27c577f2781e63106e4b1d65b5195b01
parent443f173e17963d97c3ff28f6dec85846b92bc69d
model-checker : update SMPI bugged mutual exclusion example
examples/smpi/mc/bugged1_liveness.c