Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : getter function for chunks used in heap
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 9 Nov 2012 17:33:19 +0000 (18:33 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 9 Nov 2012 17:33:19 +0000 (18:33 +0100)
commit7e02819630f97eb2bd43ff422d156cc8a60929c5
treecf02c0d0813447b804625ac213975e8260bf4e32
parentf8db3884110dda1330177a0b6b76a3dc47154244
model-checker : getter function for chunks used in heap
include/xbt/mmalloc.h
src/xbt/mmalloc/mm_module.c