Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : hash of regions in snapshot for reached pairs and double dfs algorith...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Dec 2011 12:08:46 +0000 (13:08 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 7 Dec 2011 12:08:46 +0000 (13:08 +0100)
commit0e915279248827ec47926e0e9dd77b486bd6c445
treef318b8cd60a6244c7a2840622f31f2b60d9e427a
parent493fd2632595e8f8f3747cab99b160ee7be1cb0d
model-checker : hash of regions in snapshot for reached pairs and double dfs algorithm restructured
src/mc/mc_liveness.c
src/mc/private.h