Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : code refactoring for get_hash_global
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 18 Mar 2013 10:10:03 +0000 (11:10 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 19 Mar 2013 15:26:23 +0000 (16:26 +0100)
commit736185da44c7c9e4242f4cb34cea10c9f51ae3a2
treebfac3ccd50dc22dcaa3f518eac8210d4d6aa268a
parentd36f84b566b47c107a58ac26c5f3886feb1db61c
model-checker : code refactoring for get_hash_global
src/mc/mc_checkpoint.c