Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : init equal_to in mmalloc info
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 14 Aug 2013 14:35:14 +0000 (16:35 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 14 Aug 2013 14:37:32 +0000 (16:37 +0200)
commit1ba9c6f06fb9e7c269ad3ca671f3a4f26bfdbc5f
tree349b3b20917093b35ad89cf335345ce48f2be16e
parent669afb9d366cacb2b87e277942257b15dd8b9c18
model-checker : init equal_to in mmalloc info
src/xbt/mmalloc/mfree.c
src/xbt/mmalloc/mmalloc.c
src/xbt/mmalloc/mrealloc.c