Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add pair's number in struct mc_pair_reached and prepare canonicalisat...
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 2 Jun 2012 14:49:42 +0000 (16:49 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 2 Jun 2012 14:49:42 +0000 (16:49 +0200)
commit7bc6dafdcd7ab881e3fa0c62c433c0230308dffb
tree5e2b1c01e9a781da8e7226d2bd31187bc975a4aa
parent13928808f7422bd968a03e3bba7773305e5778ec
model-checker : add pair's number in struct mc_pair_reached and prepare canonicalisation in comparison of regions
src/mc/mc_liveness.c
src/mc/mc_private.h