Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new surf configuration mc-checkpoint
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 20 Jun 2012 16:58:17 +0000 (18:58 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 20 Jun 2012 16:58:17 +0000 (18:58 +0200)
commit5d6e2b005da294874b8cf58e7766c9d8138b7aaf
tree39f1fb7dd3bb31734f4637bd0ca1a391affd6e81
parent07e586be4bf6cd4490fc7bb466d5b7bdaef8c20a
model-checker : new surf configuration mc-checkpoint
examples/msg/mc/CMakeLists.txt
src/surf/surf_config.c
src/xbt/xbt_main.c