Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move heap_ignore to Process
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 20 Nov 2015 12:52:24 +0000 (13:52 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 23 Nov 2015 15:40:08 +0000 (16:40 +0100)
commit2f531aa69f09fed380e2e212df5822874aab5e58
treebe0288d26900f1be0c4494bed9c5682ef9681e2f
parentdf00205b8db0067640f48bdb63426689aa80360f
[mc] Move heap_ignore to Process
14 files changed:
src/include/mc/datatypes.h
src/include/mc/mc.h
src/mc/ModelChecker.cpp
src/mc/Process.cpp
src/mc/Process.hpp
src/mc/mc_checkpoint.cpp
src/mc/mc_diff.cpp
src/mc/mc_global.cpp
src/mc/mc_ignore.cpp
src/mc/mc_protocol.h
src/mc/mc_snapshot.h
src/mc/mcer_ignore.cpp
src/mc/mcer_ignore.h [deleted file]
tools/cmake/DefinePackages.cmake