Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : merge conflict resolved
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 16:31:01 +0000 (17:31 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 16:31:01 +0000 (17:31 +0100)
commit708989f9970b6f37f3ca7c7b568bcbfeaa53867f
treeab67c9c73d1a874396a9e1c6e7e27b04f335542f
parent36346603a122ffd961c5af349e9ad8ce00ff80cd
parentebaf7a472d2d6edf090d9859b854be009b5c85ae
model-checker : merge conflict resolved
src/mc/mc_checkpoint.c
src/mc/mc_liveness.c
src/mc/mc_private.h