Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 34d2adc) | patch
model-checker : get end heap with field breakval in struct mdesc ( old function get_e...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 14 Jun 2012 08:14:47 +0000 (10:14 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 14 Jun 2012 09:09:31 +0000 (11:09 +0200)
commit595cb02e823cffb0e2b21225bf44a108b2c667c5
tree5a05f895e5788c7dede4ad430483be2647ee39fdtree | snapshot
parent34d2adc6cc16583d1a76eb79bdc36f39268829f7commit | diff
model-checker : get end heap with field breakval in struct mdesc ( old function get_end_addr_heap kept in comments)
src/xbt/mmalloc/mm_diff.c diff | blob | history
src/xbt/mmalloc/mmprivate.h diff | blob | history
Clone of SimGrid repository with local patches