Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : first steps for the study of MPI communications patterns
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 16 Jan 2014 14:24:03 +0000 (15:24 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 16 Jan 2014 14:24:03 +0000 (15:24 +0100)
commit7f77334a27782aab84799c21a0dc42143241ab0f
tree38dda9179a9be5b603d9e36cd7af3a7fdfe316d1
parentbadfaf9202e51461e7a685e17ce982ea34ad219a
model-checker : first steps for the study of MPI communications patterns
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_private.h