Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : debug information more concise
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 18 Oct 2012 08:53:00 +0000 (10:53 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 27 Oct 2012 20:35:39 +0000 (22:35 +0200)
commit52144e1c80c99708e51a27ef1347e3dd3e33002e
tree134457bd75b9c847fe5d92592bd7263a00b0ecf2
parentb72e8264dccedfa1c53042e99f94d3a8e5387316
model-checker : debug information more concise
src/mc/mc_liveness.c