Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : memory free and cleanup
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 14 Aug 2013 14:31:45 +0000 (16:31 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Wed, 14 Aug 2013 14:31:45 +0000 (16:31 +0200)
commit669afb9d366cacb2b87e277942257b15dd8b9c18
tree61ebb1e974adc5edcbd5c3fe5c44b6370f818bce
parentfb262c98039662cceb7db5d9a18e851fcc5213de
model-checker : memory free and cleanup
src/include/mc/datatypes.h
src/mc/mc_checkpoint.c
src/mc/mc_compare.c
src/mc/mc_pair.c
src/mc/mc_private.h