Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : free pointers
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 3 Jun 2012 07:02:29 +0000 (09:02 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 3 Jun 2012 07:02:29 +0000 (09:02 +0200)
commit9f0602d096fe3746a4e398b40b8fe8384f7851ec
tree18dd26b3657eb017b64a84fb1c156e11e96969df
parent7ccac3398f1658d2485cc95d22c5d0f2eeb0e003
model-checker : free pointers
src/mc/mc_liveness.c