Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cosmectics
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 14 Dec 2012 15:24:09 +0000 (16:24 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sun, 16 Dec 2012 17:34:16 +0000 (18:34 +0100)
commit3c12edcf1badf7307f105b2afcd7b4223af493bb
treee52f21475ae8cac972d1400f0ff16f7990687e53
parent415bcef093fcaa88f34a8ccd48248815a5a8757f
model-checker : cosmectics
src/mc/mc_global.c