Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : init var
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 25 Sep 2013 14:32:28 +0000 (16:32 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 25 Sep 2013 14:32:44 +0000 (16:32 +0200)
commit0e52c20b7cb149f6a7a0defdfc4fe92ecd26d54b
tree40250816ebb247465c22a7346eab26e4ff379944
parente5b36b7245c02131e17a2eb2297057bba0ac612a
model-checker : init var
src/mc/mc_checkpoint.c