Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get offset for each different byte between two blocks/fragments
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Mar 2012 12:41:30 +0000 (13:41 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Mar 2012 12:41:30 +0000 (13:41 +0100)
commitb989f992f3ee5cfc5fcb8a531d8d9ced5ae2ce83
tree3046250c3373ba4607e548734898113467f73db2
parent6f8b717743800fb8cacec4f2794686912c5f49a1
model-checker : get offset for each different byte between two blocks/fragments
src/xbt/mmalloc/mm_diff.c