src/smpi/bindings/smpi_f77.cpp
src/smpi/bindings/smpi_f77_coll.cpp
src/smpi/bindings/smpi_f77_comm.cpp
+ src/smpi/bindings/smpi_f77_file.cpp
src/smpi/bindings/smpi_f77_request.cpp
src/smpi/bindings/smpi_f77_type.cpp
src/smpi/colls/smpi_coll.cpp
src/instr/instr_paje_trace.cpp
src/instr/instr_paje_types.cpp
src/instr/instr_paje_types.hpp
- src/instr/instr_paje_values.cpp
src/instr/instr_paje_values.hpp
src/instr/instr_platform.cpp
src/instr/instr_private.hpp
src/mc/inspect/mc_unw.cpp
src/mc/inspect/mc_unw_vmread.cpp
+ src/mc/remote/AppSide.cpp
+ src/mc/remote/AppSide.hpp
src/mc/remote/Channel.cpp
src/mc/remote/Channel.hpp
- src/mc/remote/Client.cpp
- src/mc/remote/Client.hpp
- src/mc/remote/RemoteClient.hpp
- src/mc/remote/RemoteClient.cpp
+ src/mc/remote/CheckerSide.cpp
+ src/mc/remote/CheckerSide.hpp
+ src/mc/remote/RemoteSimulation.hpp
+ src/mc/remote/RemoteSimulation.cpp
src/mc/remote/RemotePtr.hpp
src/mc/remote/mc_protocol.h
src/mc/remote/mc_protocol.cpp
src/mc/mc_hash.cpp
src/mc/mc_ignore.hpp
src/mc/mc_record.cpp
- src/mc/mc_memory.cpp
src/mc/mc_private.hpp
src/mc/mc_request.hpp
src/mc/mc_request.cpp