Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cosmetics
authorMarion Guthmuller <marion.guthmuller@inria.fr>
Mon, 9 Feb 2015 18:38:55 +0000 (19:38 +0100)
committerMarion Guthmuller <marion.guthmuller@inria.fr>
Mon, 9 Feb 2015 18:41:11 +0000 (19:41 +0100)
commit2def2670b9817c434d1069536b434c548e14199f
tree36b8bd81f63165995657a83346fed2bbbe160a8d
parent63c087da496454d29883c48e7eec52a392c28ad2
model-checker : cosmetics
src/mc/mc_global.c