Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : verification of current_heap
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 31 Oct 2012 17:47:48 +0000 (18:47 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Nov 2012 15:59:31 +0000 (16:59 +0100)
commit0645cbd02f4f44ea8d916a2093c1776002ebdcf4
tree0ab31b1f790c94588567ee70b1d372de9f38f643
parentfe93dd78e64c2374403b3f1ac084155756837b38
model-checker : verification of current_heap
src/mc/mc_global.c
src/mc/mc_liveness.c