Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : get start of libsimgrid bss segment for MC_ignore mechanism
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 11 Nov 2012 16:34:55 +0000 (17:34 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 11 Nov 2012 16:34:55 +0000 (17:34 +0100)
commit2856679722f2a932bcdd28f50776353829a61576
tree77b82212faa51d601f8ebc53192778b755a403d4
parent8ab1e1d4905449ffe223868191b8a78bf3fb0064
model-checker : get start of libsimgrid bss segment for MC_ignore mechanism
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_private.h