Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new comparison of region (program data and libsimgrid data)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 3 May 2012 08:54:14 +0000 (10:54 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 3 May 2012 08:54:14 +0000 (10:54 +0200)
commit836c888a9f8c7be6a2ec571a2f838c76a7df1a40
tree78d951c673b8a1d02b251bf204b0052a52061db3
parent1611c9c689366498f0ee2e225e2a7ea46df63cd7
model-checker : new comparison of region (program data and libsimgrid data)
src/mc/mc_liveness.c
src/mc/mc_private.h