Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add snapshot of stack memory region for comparison of pairs reached...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 22 Nov 2011 16:35:17 +0000 (17:35 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 22 Nov 2011 16:35:17 +0000 (17:35 +0100)
commit6229ff3a39c8fb195846ea9eb67cf071654de597
tree1a447ba11f0a243836cdac2da0eb09f98238f3ae
parent9553ec877f1dc96e9b44fbac31d47773e40adae3
model-checker : add snapshot of stack memory region for comparison of pairs reached or simply visited
src/mc/mc_checkpoint.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/memory_map.c
src/mc/private.h