Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : visited_pairs and visited_pairs_hash changed to dynar
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Dec 2011 14:48:47 +0000 (15:48 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Dec 2011 14:48:47 +0000 (15:48 +0100)
commitd76e8088a66a2240f372d8424713aa3132347362
treec8c38522529875d7b3cf2fb5ef7980983d1d5f55
parenta4c345d4bc3f418a8cd1833ae876ea20621c5213
model-checker : visited_pairs and visited_pairs_hash changed to dynar
src/mc/mc_liveness.c