Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : 128bits->160bits for hash of visited pair
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 24 Jun 2011 13:44:19 +0000 (15:44 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:56 +0000 (13:36 +0200)
commitfcd3350abd72d6f0490ee3f54498e6d9ee6239ce
treea7ee1d24d257de07d7bbbb8e85aeadd5238413c6
parentc46571ef338c2b981ed72a94c12e6bceda8ee0eb
model-checker : 128bits->160bits for hash of visited pair
src/mc/mc_liveness.c