Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : comparison between two hash of regions in snapshot fixed
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Dec 2011 13:36:14 +0000 (14:36 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Dec 2011 13:36:14 +0000 (14:36 +0100)
commita4c345d4bc3f418a8cd1833ae876ea20621c5213
treea9aa5528584cf6ae438b5725d1b20fa0d7a11477
parent4a18fb7c6c81b1f58a9f8111fcf0ade106c4746b
model-checker : comparison between two hash of regions in snapshot fixed
src/mc/mc_liveness.c