Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove unused code
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 4 Dec 2012 15:29:13 +0000 (16:29 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 4 Dec 2012 15:29:13 +0000 (16:29 +0100)
commit9a438aff7d4cb341293b1f06c612eadb0fed0606
treeda9ff05726f11f5f718360df8f6baa9e80c21c98
parenteef2741bc79047ecdaa6507c23f99d9fa38cbc61
model-checker : remove unused code
src/mc/mc_global.c