src/xbt/backtrace_windows.c
src/xbt/backtrace_dummy.c
src/xbt/setset_private.h
- src/xbt/mmalloc/attach.c
- src/xbt/mmalloc/detach.c
- src/xbt/mmalloc/keys.c
- src/xbt/mmalloc/mcalloc.c
+ src/xbt/automatonparse_promela.c
src/xbt/mmalloc/mfree.c
- src/xbt/mmalloc/mm_legacy.c
- src/xbt/mmalloc/mm.c
src/xbt/mmalloc/mmalloc.c
- src/xbt/mmalloc/mmap-sup.c
- src/xbt/mmalloc/mmcheck.c
- src/xbt/mmalloc/mmemalign.c
- src/xbt/mmalloc/mmprivate.h
- src/xbt/mmalloc/mmstats.c
- src/xbt/mmalloc/mmtrace.c
- src/xbt/mmalloc/mrealloc.c
- src/xbt/mmalloc/mvalloc.c
- src/xbt/mmalloc/sbrk-sup.c
+ src/xbt/mmalloc/mmalloc.info
+ src/xbt/mmalloc/mmalloc.texi
+ 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/mmorecore.c
+ src/xbt/mmalloc/mmprivate.h
+ src/xbt/mmalloc/mmtrace.awk
+ src/xbt/mmalloc/mrealloc.c
src/xbt/mmalloc/test/mmalloc_test.c
+ src/xbt/datadesc/ddt_parse.yy.l
+ src/xbt/datadesc/ddt_parse.yy.h
src/surf/maxmin_private.h
src/surf/trace_mgr_private.h
src/surf/surf_private.h
src/surf/simgrid_dtd.c
src/surf/simgrid.dtd
src/surf/network_private.h
+ src/surf/storage_private.h
src/surf/network_gtnets_private.h
src/surf/gtnets/gtnets_interface.h
src/surf/gtnets/gtnets_simulator.h
src/simdag/dax.dtd
src/simdag/dax_dtd.h
src/simdag/dax_dtd.c
- src/gras/DataDesc/ddt_parse.yy.l
- src/gras/DataDesc/ddt_parse.yy.h
src/gras/Virtu/virtu_rl.h
src/gras/Virtu/virtu_sg.h
src/gras/Virtu/virtu_interface.h
src/gras/Transport/transport_interface.h
src/amok/Bandwidth/bandwidth_private.h
src/amok/amok_modinter.h
- src/simix/private.h
- src/simix/process_private.h
- src/simix/host_private.h
- src/simix/network_private.h
- src/simix/smurf_private.h
- src/simix/synchro_private.h
+ src/simix/smx_private.h
+ src/simix/smx_process_private.h
+ src/simix/smx_host_private.h
+ src/simix/smx_network_private.h
+ src/simix/smx_smurf_private.h
+ src/simix/smx_synchro_private.h
+ src/simix/smx_io_private.h
src/smpi/private.h
src/smpi/smpi_mpi_dt_private.h
examples/gras/ping/ping.h
examples/gras/console/ping.h
examples/gras/mmrpc/mmrpc.h
+
+ examples/msg/mc/parserPromela.yacc
+ examples/msg/mc/parserPromela.lex
+ examples/msg/mc/automaton.h
+ examples/msg/mc/bugged1_liveness.h
+ examples/msg/mc/centralized_liveness.h
+ examples/msg/mc/automatonparse_promela.h
+ examples/msg/mc/bugged2_liveness.h
+ examples/msg/mc/y.tab.h
tools/gras/gras_stub_generator.h
tools/tesh/run_context.h
src/gras/rl_stubs.c
src/xbt/xbt_os_thread.c
src/gras/Transport/rl_transport.c
- src/gras/Transport/transport_plugin_file.c
- src/gras/Transport/transport_plugin_tcp.c
src/gras/Virtu/rl_emul.c
src/gras/Virtu/rl_process.c
src/gras/Virtu/rl_dns.c
src/xbt/parmap.c
src/xbt/xbt_replay_trace_reader.c
src/xbt/lib.c
+ src/xbt/automaton.c
+ src/xbt/datadesc/ddt_create.c
+ src/xbt/datadesc/ddt_convert.c
+ src/xbt/datadesc/ddt_exchange.c
+ src/xbt/datadesc/cbps.c
+ src/xbt/datadesc/datadesc.c
+ src/xbt/datadesc/datadesc_interface.h
+ src/xbt/datadesc/datadesc_private.h
+ src/xbt/datadesc/ddt_parse.c
+ src/xbt/datadesc/ddt_parse.yy.c
+ src/xbt/xbt_socket.c
+ src/xbt/xbt_socket_private.h
+ src/xbt/xbt_trp_plugin_tcp.c
)
if(HAVE_MMAP)
src/surf/cpu_ti.c
src/surf/cpu_cas01.c
src/surf/sg_platf.c
+ src/surf/storage.c
src/xbt/xbt_sg_stubs.c
)
src/simix/smx_user.c
src/simix/smx_smurf.c
src/simix/smx_context_raw.c
+ src/simix/smx_io.c
)
set(MSG_SRC
src/msg/msg_config.c
src/msg/msg_task.c
src/msg/msg_host.c
+ src/msg/msg_io.c
src/msg/msg_process.c
src/msg/msg_gos.c
src/msg/msg_global.c
src/gras/gras.c
src/gras/Transport/transport.c
src/gras/Transport/transport_private.h
+ src/gras/Transport/transport_plugin_file.c
src/gras/Msg/gras_msg_mod.c
src/gras/Msg/gras_msg_types.c
src/gras/Msg/gras_msg_exchange.c
src/gras/Msg/msg_private.h
src/gras/Virtu/process.c
src/gras/Virtu/gras_module.c
- src/gras/DataDesc/ddt_create.c
- src/gras/DataDesc/ddt_convert.c
- src/gras/DataDesc/ddt_exchange.c
- src/gras/DataDesc/cbps.c
- src/gras/DataDesc/datadesc.c
- src/gras/DataDesc/datadesc_interface.h
- src/gras/DataDesc/datadesc_private.h
- src/gras/DataDesc/ddt_parse.c
- src/gras/DataDesc/ddt_parse.yy.c
)
set(GRAS_SG_SRC
src/amok/PeerManagement/peermanagement.c
)
+set(BINDINGS_SRC
+ src/bindings/bindings_global.c
+)
+
set(LUA_SRC
src/bindings/lua/simgrid_lua.c
- src/bindings/lua/lua_stub_generator.c
- src/bindings/lua/lua_console.c
+ src/bindings/lua/lua_task.c
+ src/bindings/lua/lua_comm.c
+ src/bindings/lua/lua_host.c
+ src/bindings/lua/lua_process.c
+ src/bindings/lua/lua_platf.c
src/bindings/lua/lua_utils.c
src/bindings/lua/lua_state_cloner.c
+ src/bindings/lua/lua_stub_generator.c
)
set(TRACING_SRC
src/instr/instr_routing.c
src/instr/instr_config.c
src/instr/instr_interface.c
- src/instr/instr_paje.c
src/instr/instr_paje_trace.c
+ src/instr/instr_paje_types.c
+ src/instr/instr_paje_values.c
+ src/instr/instr_paje_containers.c
src/instr/instr_msg_task.c
src/instr/instr_msg_process.c
src/instr/instr_surf.c
src/instr/instr_smpi.c
- src/instr/instr_simdag.c
src/instr/instr_resource_utilization.c
src/instr/instr_private.h
)
src/mc/mc_global.c
src/mc/mc_dpor.c
src/mc/mc_request.c
- src/mc/private.h
+ src/mc/mc_private.h
+ src/mc/mc_liveness.c
)
set(RNGSTREAM_SRC
include/xbt/mmalloc.h
include/xbt/replay_trace_reader.h
include/xbt/parmap.h
+ include/xbt/automaton.h
+ include/xbt/automatonparse_promela.h
+ include/xbt/datadesc.h
+ include/xbt/socket.h
+ include/xbt/file_stat.h
include/simgrid/platf.h
- include/mc/modelchecker.h
+ include/simgrid/modelchecker.h
+ include/simgrid/simix.h
include/msg/msg.h
include/msg/datatypes.h
include/simdag/simdag.h
include/surf/surfxml_parse.h
include/surf/simgrid_dtd.h
include/surf/surf_routing.h
- include/gras/datadesc.h
include/gras/transport.h
include/gras/virtu.h
include/gras/emul.h
include/instr/instr.h
include/gras.h
include/xbt.h
- include/simix/simix.h
- include/simix/datatypes.h
- include/simix/context.h
)
set(source_of_generated_headers
include/simgrid_config.h.in
${GRAS_COMMON_SRC}
${GRAS_SG_SRC}
${AMOK_SRC}
+ ${BINDINGS_SRC}
${JEDULE_SRC}
${RNGSTREAM_SRC}
)
file(GLOB_RECURSE examples_to_install_in_doc
"examples/*.c"
"examples/*.h"
+"examples/*yacc"
+"examples/*lex"
"examples/*.cxx"
"examples/*.hpp"
"examples/*.rb"
"examples/*.xml"
"examples/*README"
)
-
-
set(DOC_SOURCES
- doc/installSimgrid.doc
+ doc/install.doc
doc/bindings.doc
doc/options.doc
doc/use.doc
#doc/index-API.doc
doc/index.doc
+ ${CMAKE_HOME_DIRECTORY}/doc/logcategories.doc
doc/module-amok.doc
doc/module-gras.doc
doc/module-msg.doc
"testsuite/surf/trace_A.txt"
"testsuite/surf/trace_B.txt"
"examples/smpi/hostfile"
-"examples/msg/trace/file.trace"
"examples/msg/link5_state.trace"
"examples/msg/fafard_state.trace"
"examples/msg/jupiter_state.trace"
"teshsuite/gras/empty_main/test_sg.tesh"
"teshsuite/gras/small_sleep/test_sg_32.tesh"
"teshsuite/gras/small_sleep/test_sg_64.tesh"
+"teshsuite/msg/trace/file.trace"
"teshsuite/simdag/platforms/bob.fail"
"teshsuite/simdag/platforms/bob.trace"
"teshsuite/simdag/platforms/bob0_availability_file.trace"