Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Add remote_ptr for marking pointers-to/addresses-in the remote process
authorGabriel Corona <gabriel.corona@loria.fr>
Tue, 19 May 2015 09:46:22 +0000 (11:46 +0200)
committerGabriel Corona <gabriel.corona@loria.fr>
Thu, 21 May 2015 10:36:22 +0000 (12:36 +0200)
commit54dc4437fa893572ced42c3e9174f4a9888b0258
tree08f76dac5f2adcb7692b75f26d88b37bde51df4b
parent8173f52406580284c8ec5feab41784a8f4aed8ce
[mc] Add remote_ptr for marking pointers-to/addresses-in the remote process
15 files changed:
src/mc/AddressSpace.hpp
src/mc/mc_base.cpp
src/mc/mc_checkpoint.cpp
src/mc/mc_comm_determinism.cpp
src/mc/mc_compare.cpp
src/mc/mc_diff.cpp
src/mc/mc_dwarf_expression.cpp
src/mc/mc_page_snapshot.cpp
src/mc/mc_process.cpp
src/mc/mc_process.h
src/mc/mc_smx.cpp
src/mc/mc_snapshot.cpp
src/mc/mc_snapshot.h
src/mc/mc_unw.cpp
src/mc/mc_visited.cpp