Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : free memory
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 28 May 2013 07:46:19 +0000 (09:46 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 28 May 2013 07:52:48 +0000 (09:52 +0200)
commitc73aeef05e1a3702e23296f6ff6690d6d408543b
tree8b87b2330c61bc6144d8e9eaeb6d29a06dcc487f
parent9b5d5be212c4f3c8e9af41c3d6b771662b4495d5
model-checker : free memory
src/include/mc/datatypes.h
src/mc/mc_checkpoint.c
src/mc/mc_global.c
src/mc/memory_map.c