Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Fix include guards
authorGabriel Corona <gabriel.corona@loria.fr>
Mon, 29 Jun 2015 08:53:51 +0000 (10:53 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Mon, 29 Jun 2015 08:53:51 +0000 (10:53 +0200)
commit4340c977641036e7aa8ae5dcb69ccb3cac1df3c5
treebac407618b3d16c7bcd2afdd9889c28cce1270a9
parent9eb844c3fac1bd3dc35f46bda1134b633378fb2d
[mc] Fix include guards
29 files changed:
src/mc/AddressSpace.hpp
src/mc/ModelChecker.hpp
src/mc/PageStore.hpp
src/mc/RegionSnapshot.hpp
src/mc/mc_base.h
src/mc/mc_client.h
src/mc/mc_comm_pattern.h
src/mc/mc_forward.h
src/mc/mc_hash.hpp
src/mc/mc_ignore.h
src/mc/mc_liveness.h
src/mc/mc_location.h
src/mc/mc_memory_map.h
src/mc/mc_mmalloc.h
src/mc/mc_mmu.h
src/mc/mc_object_info.h
src/mc/mc_private.h
src/mc/mc_process.h
src/mc/mc_protocol.h
src/mc/mc_record.h
src/mc/mc_replay.h
src/mc/mc_request.h
src/mc/mc_safety.h
src/mc/mc_server.h
src/mc/mc_smx.h
src/mc/mc_snapshot.h
src/mc/mc_state.h
src/mc/mc_unw.h
src/mc/mcer_ignore.h