Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : nettoyage du code
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 22 Sep 2011 16:05:17 +0000 (18:05 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:58 +0000 (13:36 +0200)
commit7641e1b61b13d593d2eb86fc7cbcb6c8bcb89d8d
treeb1972cd13f05147566c13d1be93459c8c028340a
parent0ddad0a8665a95e6f16b6f765efca789459a818d
model-checker : nettoyage du code
src/mc/mc_checkpoint.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/private.h