Logo AND Algorithmique Numérique Distribuée
Public GIT Repository
projects / simgrid.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2936fe) | patch
model-checker : comparison of heap between two snapshots made on the copy and not...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 28 Nov 2011 15:28:41 +0000 (16:28 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 28 Nov 2011 15:28:41 +0000 (16:28 +0100)
commita8ec6e33d5e1d2c207eeb78111330271eb6f28fc
tree35a3680bace9a5f8b85b59cbe6dbd0b88d05110dtree | snapshot
parente2936fea2cb322ff09366ff2828a11490c105b14commit | diff
model-checker : comparison of heap between two snapshots made on the copy and not on the current heap
src/mc/mc_liveness.c diff | blob | history
Clone of SimGrid repository with local patches