src/smpi/smpi_mpi.c
src/smpi/smpi_mpi_dt.c
src/smpi/smpi_pmpi.c
+ src/smpi/smpi_replay.c
)
set(GRAS_RL_SRC
src/msg/msg_vm.c
)
+#* ****************************************************************************************** *#
+#* TUTORIAL: New API *#
+
+set(MSG_SRC
+ ${MSG_SRC}
+ src/msg/msg_new_api.c
+ )
+set(EXTRA_DIST
+ ${EXTRA_DIST}
+ src/simix/smx_new_api_private.h
+ )
+set(SIMIX_SRC
+ ${SIMIX_SRC}
+ src/simix/smx_new_api.c
+)
+#* ****************************************************************************************** *#
+
+#* ****************************************************************************************** *#
+#* TUTORIAL: New Model *#
+
+set(SURF_SRC
+ ${SURF_SRC}
+ src/surf/new_model.c
+ )
+set(EXTRA_DIST
+ ${EXTRA_DIST}
+ src/surf/new_model_private.c
+ )
+#* ****************************************************************************************** *#
+
+set(PLATFGEN_SRC
+ include/simgrid/platf_generator.h
+ src/surf/platf_generator.c
+ src/surf/platf_generator_private.h
+ )
+
set(SIMDAG_SRC
src/simdag/sd_daxloader.c
src/simdag/sd_global.c
src/instr/instr_msg_task.c
src/instr/instr_paje_containers.c
src/instr/instr_paje_trace.c
+ src/instr/instr_paje_header.c
src/instr/instr_paje_types.c
src/instr/instr_paje_values.c
src/instr/instr_private.h
set(MC_SRC
src/mc/mc_checkpoint.c
+ src/mc/mc_compare.c
src/mc/mc_dpor.c
src/mc/mc_global.c
src/mc/mc_liveness.c
src/mc/mc_request.c
src/mc/mc_state.c
src/mc/memory_map.c
- src/mc/test/compare_snapshot.c
+ src/mc/test/heap_comparison.c
)
set(headers_to_install
include/simdag/simdag.h
include/simgrid/modelchecker.h
include/simgrid/platf.h
+ include/simgrid/platf_generator.h
include/simgrid/simix.h
include/smpi/mpi.h
include/smpi/mpif.h
${SIMDAG_SRC}
${SIMIX_SRC}
${SURF_SRC}
+ ${PLATFGEN_SRC}
${TRACING_SRC}
${XBT_SRC}
)
examples/platforms/syscoord/median_p2psim.syscoord
examples/platforms/syscoord/median_p2psim.xml
examples/platforms/vivaldi.xml
+ examples/platforms/routing_cluster.xml
+ examples/platforms/meta_cluster.xml
+ examples/platforms/two_peers.xml
)
set(generated_src_files