Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove the dual heap mc_heap/std_heap
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 27 Apr 2015 14:00:33 +0000 (16:00 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 28 Apr 2015 06:55:36 +0000 (08:55 +0200)
commitabc28a37af26a526794081574c2d7a748e45ddf7
tree42f0ea2fe166a686c82151226259e6b369d7b08d
parent28d7faa60b9789a70d99c922e163c4aa7de363de
[mc] Remove the dual heap mc_heap/std_heap
src/mc/mc_diff.cpp
src/mc/mc_global.cpp
src/mc/mc_ignore.cpp
src/mc/mc_liveness.cpp
src/mc/mc_memory.cpp
src/mc/mc_mmalloc.h
src/mc/mc_process.cpp
src/mc/mc_process.h
src/mc/mc_snapshot.h