Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add region (data of program) in snapshot
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 14 Nov 2011 16:15:47 +0000 (17:15 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 14 Nov 2011 16:15:47 +0000 (17:15 +0100)
commit788db2724e25a92188bb8012665999c088b815c6
tree40f651badd58d9606ae52a8a849007b63c508dc0
parent8449f8cd86a230453d0621072573d85c7ac611f4
model-checker : add region (data of program) in snapshot
src/mc/mc_checkpoint.c
src/mc/mc_liveness.c