Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add new surf configuration mc-checkpoint
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 20 Jun 2012 16:39:40 +0000 (18:39 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 20 Jun 2012 16:39:53 +0000 (18:39 +0200)
commit997b2f3f37f1b2ee77b2dfbf82c70e183a5ed5f3
tree7997e0c4b3e561861d21a108e715daf8c0fa4c1e
parent6de9090dd8692387ae343c587b26915f9922d7bd
model-checker : add new surf configuration mc-checkpoint
src/surf/surf_config.c