Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : warnings fixed
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 5 Jan 2012 13:44:51 +0000 (14:44 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Thu, 5 Jan 2012 13:44:51 +0000 (14:44 +0100)
commitaa573ece36e8a4892acbdbdd237a12762cb52111
tree7d41005036a806c79bf14a6ae48e1ffb606e63a5
parent71c8117a9137c59bece62c17a3277fdccd362d0a
model-checker : warnings fixed
src/include/mc/mc.h
src/mc/private.h
src/xbt/mmalloc/mm_legacy.c