Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Move things in the MC namespace
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 7 Mar 2016 14:02:37 +0000 (15:02 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Tue, 8 Mar 2016 08:53:17 +0000 (09:53 +0100)
commitdc0b836b646303e8a540d20d9e86ecd4049bb372
treec963b63257516e8e640acf5e5c7407867c6478af
parent98aaf6c28dde5365ca65b9b18182042f45867e70
[mc] Move things in the MC namespace
src/mc/mc_base.cpp
src/mc/mc_base.h
src/mc/mc_client.cpp
src/mc/mc_comm_determinism.cpp
src/mc/mc_global.cpp
src/mc/mc_liveness.cpp
src/mc/mc_record.cpp
src/mc/mc_request.cpp
src/mc/mc_request.h
src/mc/mc_safety.cpp
src/mc/mc_state.cpp