Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : first work for canonicalisation (get memory area pointed, check if...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 1 Jun 2012 15:47:38 +0000 (17:47 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 1 Jun 2012 15:47:38 +0000 (17:47 +0200)
commit36868a3c80a0f6ed125216285108dbe7f2bc3dd8
tree2367c42837ae203c5f3a11155bb109f3977a32c8
parent9b592c9f93e213394b8acbc2a892e81066e68c23
model-checker : first work for canonicalisation (get memory area pointed, check if in std_heap)
src/xbt/mmalloc/mm_diff.c