Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : cosmetics
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 5 Mar 2013 20:25:11 +0000 (21:25 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Sat, 16 Mar 2013 17:30:54 +0000 (18:30 +0100)
commitbfed6d5d4681739a8f146571c3d2f09798d0ecf4
treec64cf24ee6b56dedfd64df4e8d32c6d56d1866e4
parentf0e89ec6fd6ecb2a6171da22d3ccc88a24cf5ba1
model-checker : cosmetics
src/mc/mc_checkpoint.c