Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : initialize global variables
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 9 Nov 2012 13:04:35 +0000 (14:04 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 9 Nov 2012 13:04:35 +0000 (14:04 +0100)
commitfe9136a55b6fb08018ff5500e7de1ba8e03caf9a
treeffa51c2cfc1bc73a4bd2fc70fd6266c113418d6d
parenta183bb2523e9b08d1c10114d109bd1b57dd15471
model-checker : initialize global variables
src/xbt/mmalloc/mm_diff.c