Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Cleanup heap switching code
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Feb 2015 08:41:53 +0000 (09:41 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 10 Feb 2015 09:29:24 +0000 (10:29 +0100)
commit67e5c5c9a1dddb2528b23194e6001bc8b70ce582
treed78620195c20a7e2d00160ce6aa1a56abadb7525
parent983883d65cbcf86c675a323208f9dd15ffbbf583
[mc] Cleanup heap switching code
include/xbt/mmalloc.h
src/mc/mc_client_api.c
src/mc/mc_comm_determinism.c
src/mc/mc_global.c
src/mc/mc_ignore.c
src/mc/mc_liveness.c
src/mc/mc_process.c
src/mc/mc_safety.c
src/mc/mc_visited.c
src/xbt/mmalloc/mm_legacy.c