Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove useless bits
authorGabriel Corona <gabriel.corona@loria.fr>
Wed, 13 Apr 2016 13:35:23 +0000 (15:35 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Wed, 13 Apr 2016 14:32:34 +0000 (16:32 +0200)
commit909864a6927db2f6105ab740ad185de7aa7e5a71
treef5f893bb610a1e2406ea1b6396101e96421d7372
parenta368c183d1cef6c5c80f4d32ae7154f70c684b06
[mc] Remove useless bits
src/include/mc/datatypes.h
src/mc/mc_checkpoint.cpp
src/mc/mc_memory.cpp
src/mc/mc_private.h