Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cosmetics in log message
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Fri, 30 May 2014 10:04:10 +0000 (12:04 +0200)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Fri, 30 May 2014 10:04:10 +0000 (12:04 +0200)
commit5334ced8ad322f88a152cc6f8213d1a42569f4e7
treebdc8b3fdc54cb60985399c0314687121fe112695
parent48e9fb0982ced660ff66fd7d83281dc3fdc57432
model-checker : cosmetics in log message
src/mc/mc_dpor.c