Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : smpi mutual exclusion example
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Fri, 28 Mar 2014 10:27:34 +0000 (11:27 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Fri, 28 Mar 2014 10:27:49 +0000 (11:27 +0100)
commit6cef5aa5791abb8aa4182e6585f246bd5dca2f99
treed8e71ca40516cd11f4dba4850e7bde477c808c3a
parentd1f19f51682dd73bf62e00b238889b65199065ee
model-checker : smpi mutual exclusion example
examples/smpi/CMakeLists.txt
examples/smpi/mc/hostfile_mutual_exclusion [new file with mode: 0644]
examples/smpi/mc/mutual_exclusion.c [new file with mode: 0644]