Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cleanups in verification of current heap
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Nov 2012 16:27:01 +0000 (17:27 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 15 Nov 2012 19:40:45 +0000 (20:40 +0100)
commitfcba745e5cc75f24b063641b26fd0fc03bf697e3
treec4760c018d096bbb211a3de844deb6a81045a464
parenta669a2adcfe446e750c619956d9fad5ce3b1ecbd
model-checker : cleanups in verification of current heap
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_private.h