Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new function (rdv_points_compare) to compare rdv_points between two...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 12:40:36 +0000 (13:40 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 30 Jan 2012 12:40:36 +0000 (13:40 +0100)
commit4024bb916273e018b05e52cfcf0789c9de52cf72
tree8a3b7efb837304e2df94cce4d6789315e41368ce
parent51d131097a7c4ea252bb8c66851656c88c5083af
model-checker : new function (rdv_points_compare) to compare rdv_points between two execution states
src/mc/mc_liveness.c
src/mc/private.h