Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : add type in s_mc_mem_region (0=std_heap, 1=libsimgrid)
authorMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 4 Oct 2011 07:52:30 +0000 (09:52 +0200)
committerMarion Guthmuller <marion.guthmuller@loria.fr>
Tue, 25 Oct 2011 11:36:58 +0000 (13:36 +0200)
commitd344049c320eee19a74e2fe4e1be14986207d83b
treeb56d690daeeb95b6404b9d84fdb46aa8c1945f47
parente9b00bd03825b6b1c66e642886328ce6384d9dad
model-checker : add type in s_mc_mem_region (0=std_heap, 1=libsimgrid)
src/mc/mc_checkpoint.c
src/mc/mc_liveness.c
src/mc/memory_map.c
src/mc/private.h