Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : delete num in struct mc_pair_t
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 12 Sep 2011 12:58:30 +0000 (14:58 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:57 +0000 (13:36 +0200)
commit65f05067b6e13bc0db74ef2a2c2312f4b5e572f8
tree0010275b6de116d93ccde5b2b874715b711b0523
parentca2459a5a9672bb1764ee4a95e59c01c82dcea78
model-checker : delete num in struct mc_pair_t
src/mc/mc_liveness.c
src/mc/private.h