src/xbt/xbt_os_synchro.c
src/xbt/xbt_os_time.c
src/xbt/xbt_replay.c
- src/xbt/xbt_sha.c
src/xbt/xbt_str.c
src/xbt/xbt_strbuff.c
src/xbt/xbt_virtu.c
)
set(MC_SRC
- src/mc/remote_ptr.hpp
+ src/mc/RemotePtr.hpp
src/mc/AddressSpace.hpp
src/mc/AddressSpace.cpp
src/mc/Frame.hpp
include/xbt/file.h
include/xbt/function_types.h
include/xbt/graph.h
- include/xbt/hash.h
include/xbt/heap.h
include/xbt/lib.h
include/xbt/Extendable.hpp