Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : detect pointers on a part of a fragment
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 3 Oct 2013 17:23:16 +0000 (19:23 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 4 Oct 2013 13:21:20 +0000 (15:21 +0200)
commit478248dc0862ea424fbc938437035a98644be88b
tree77811b1703ae1be00676b50bd19a6340d789ce99
parent5e3d0bb6a421978c079cd454fb9d79709748efb6
model-checker : detect pointers on a part of a fragment
src/xbt/mmalloc/mm_diff.c