Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move stacks_areas into Process
authorGabriel Corona <gabriel.corona@loria.fr>
Fri, 20 Nov 2015 11:31:43 +0000 (12:31 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 23 Nov 2015 15:40:08 +0000 (16:40 +0100)
commitdf00205b8db0067640f48bdb63426689aa80360f
treecd71a558a38bfd7927547a80d786e88a856ba987
parentfce872a4f145c997f146ea0d098a77549a47bd0b
[mc] Move stacks_areas into Process
src/include/mc/mc.h
src/mc/ModelChecker.cpp
src/mc/Process.hpp
src/mc/mc_checkpoint.cpp
src/mc/mc_diff.cpp
src/mc/mc_global.cpp
src/mc/mc_ignore.h
src/mc/mc_private.h
src/mc/mcer_ignore.cpp