Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : one region in snapshot for data and bss segments of libsimgrid
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 10 Dec 2012 13:21:05 +0000 (14:21 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 10 Dec 2012 13:42:24 +0000 (14:42 +0100)
commitac2a2796d269a829faa7c4f45699e6f10751fa71
tree1ad4586e5c36df1a217bd08e532d5ea9f440f3d5
parent3afb7fcd5847dbd9cf2005e28d45eadcf96a399b
model-checker : one region in snapshot for data and bss segments of libsimgrid
src/mc/mc_checkpoint.c