Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : snapshot comparison with the types of variables and cleanup
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Aug 2013 12:48:31 +0000 (14:48 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Mon, 5 Aug 2013 12:55:04 +0000 (14:55 +0200)
commit9b8c19c2b3028ebeef9f76f159af56acd5739c6d
tree78dc855b457676e268e98b1195980be95e0a3a97
parentf0df12b2ea84d343936a102425a08c2f106fc468
model-checker : snapshot comparison with the types of variables and cleanup
14 files changed:
include/xbt/mmalloc.h
src/include/mc/datatypes.h
src/include/mc/mc.h
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_global.c
src/mc/mc_private.h
src/mc/memory_map.c
src/msg/instr_msg_process.c
src/msg/instr_msg_task.c
src/simix/smx_network.c
src/smpi/instr_smpi.c
src/surf/instr_routing.c
src/xbt/mmalloc/mm_diff.c