Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new function MC_diff to display all informations about a system state
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 13 Jan 2012 15:33:04 +0000 (16:33 +0100)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Fri, 13 Jan 2012 15:33:04 +0000 (16:33 +0100)
commitceb6e76a440fc99e23b329abeebd25a2bf7a073d
tree0d6ea31e4dc15fde85995f9e5117b6267a02e8ba
parent1c6ecd7825422241dd932318a4ba03c3df1de985
model-checker : new function MC_diff to display all informations about a system state
include/mc/modelchecker.h
include/xbt/mmalloc.h
src/include/mc/mc.h
src/mc/mc_global.c
src/xbt/mmalloc/mm_legacy.c
src/xbt/mmalloc/mmprivate.h