src/include/surf/trace_mgr.h
src/include/xbt/win32_ucontext.h
src/include/xbt/wine_dbghelp.h
- src/include/xbt/xbt_os_time.h
src/msg/msg_mailbox.h
src/msg/msg_private.h
src/portable.h
src/xbt/mallocator_private.h
src/xbt/mmalloc/mfree.c
src/xbt/mmalloc/mm.c
- src/xbt/mmalloc/mm_diff.c
src/xbt/mmalloc/mm_legacy.c
src/xbt/mmalloc/mm_module.c
src/xbt/mmalloc/mmalloc.c
set(MC_SRC
src/mc/mc_checkpoint.c
+ src/mc/mc_diff.c
src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_dwarf.c
include/xbt/sysdep.h
include/xbt/virtu.h
include/xbt/xbt_os_thread.h
+ include/xbt/xbt_os_time.h
)
set(source_of_generated_headers
include/simgrid_config.h.in
examples/platforms/content/storage_content.txt
examples/platforms/content/win_storage_content.txt
examples/platforms/data_center.xml
+ examples/platforms/deployment_remote_io.xml
examples/platforms/g5k.xml
examples/platforms/generation_scripts/create_hierarchical_clusters.pl
examples/platforms/generation_scripts/enhancedDTDwithHierarchicalCluster.pl
examples/platforms/meta_cluster.xml
examples/platforms/multicore_machine.xml
examples/platforms/prop.xml
+ examples/platforms/remote_io.xml
examples/platforms/routing_cluster.xml
examples/platforms/storage.xml
examples/platforms/syscoord/generate_peer_platform.pl