Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a130b87) | patch
model-checker : init equal_to field to -1 for each allocated block/fragment at the...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 16 Aug 2012 22:13:52 +0000 (00:13 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 16 Aug 2012 22:13:52 +0000 (00:13 +0200)
commitfea228d813dfd7399f94d6b11299226f629172de
treea36bb8b0241f8813fde15bdc6c711ec4f1f1fa5dtree | snapshot
parenta130b8716edee02829a05962247ae2e77c126c87commit | diff
model-checker : init equal_to field to -1 for each allocated block/fragment at the beginning of the heap comparison
src/xbt/mmalloc/mm_diff.c diff | blob | history
src/xbt/mmalloc/mmalloc.c diff | blob | history
Clone of SimGrid repository with local patches