Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove useless extern "C" around logging categories
authorGabriel Corona <gabriel.corona@loria.fr>
Thu, 10 Mar 2016 13:42:12 +0000 (14:42 +0100)
committerGabriel Corona <gabriel.corona@loria.fr>
Fri, 11 Mar 2016 12:49:33 +0000 (13:49 +0100)
commit603c44e45e00a577bccb42cf398a924178f17768
treeede8e5652de12090823b00a75d660584a588c912
parent856220a486ce61eda51b8dfb7ff71f53af25b020
[mc] Remove useless extern "C" around logging categories
23 files changed:
src/mc/ModelChecker.cpp
src/mc/PageStore.cpp
src/mc/Process.cpp
src/mc/RegionSnapshot.cpp
src/mc/mc_base.cpp
src/mc/mc_checkpoint.cpp
src/mc/mc_client.cpp
src/mc/mc_client_api.cpp
src/mc/mc_comm_determinism.cpp
src/mc/mc_comm_pattern.cpp
src/mc/mc_compare.cpp
src/mc/mc_config.cpp
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_protocol.cpp
src/mc/mc_record.cpp
src/mc/mc_request.cpp
src/mc/mc_safety.cpp
src/mc/mc_state.cpp
src/mc/mc_visited.cpp