src/include/xbt/mmalloc.h
src/mc/mc_mmu.hpp
src/mc/mc_record.hpp
- src/mc/PageStore.hpp
src/msg/msg_private.hpp
src/simdag/dax.dtd
src/simdag/dax_dtd.c
src/surf/network_ib.hpp
src/surf/ns3/ns3_simulator.hpp
src/surf/trace_mgr_test.cpp
+ src/mc/sosp/mc_snapshot_test.cpp
+ src/mc/sosp/PageStore_test.cpp
src/surf/xml/simgrid.dtd
src/surf/xml/simgrid_dtd.h
src/surf/xml/simgrid_dtd.c
set(S4U_SRC
src/s4u/s4u_Actor.cpp
src/s4u/s4u_Activity.cpp
+ src/s4u/s4u_Barrier.cpp
src/s4u/s4u_ConditionVariable.cpp
src/s4u/s4u_Comm.cpp
src/s4u/s4u_Engine.cpp
src/mc/remote/mc_protocol.h
src/mc/remote/mc_protocol.cpp
+ src/mc/sosp/PageStore.hpp
+ src/mc/sosp/PageStore.cpp
+ src/mc/sosp/ChunkedData.hpp
+ src/mc/sosp/ChunkedData.cpp
+ src/mc/sosp/RegionSnapshot.cpp
+ src/mc/sosp/RegionSnapshot.hpp
+ src/mc/sosp/mc_checkpoint.cpp
+ src/mc/sosp/mc_snapshot.hpp
+ src/mc/sosp/mc_snapshot.cpp
+ src/mc/sosp/mc_page_snapshot.cpp
+
src/mc/AddressSpace.hpp
src/mc/Frame.hpp
src/mc/Frame.cpp
src/mc/ModelChecker.cpp
src/mc/ObjectInformation.hpp
src/mc/ObjectInformation.cpp
- src/mc/PageStore.hpp
- src/mc/PageStore.cpp
- src/mc/ChunkedData.hpp
- src/mc/ChunkedData.cpp
- src/mc/RegionSnapshot.cpp
- src/mc/RegionSnapshot.hpp
src/mc/Type.hpp
src/mc/Variable.hpp
src/mc/mc_forward.hpp
src/mc/mc_unw.hpp
src/mc/mc_unw.cpp
src/mc/mc_unw_vmread.cpp
- src/mc/mc_checkpoint.cpp
- src/mc/mc_snapshot.hpp
- src/mc/mc_snapshot.cpp
- src/mc/mc_page_snapshot.cpp
src/mc/mc_comm_pattern.cpp
src/mc/mc_comm_pattern.hpp
src/mc/compare.cpp
include/simgrid_config.h
include/simgrid/actor.h
+ include/simgrid/barrier.h
include/simgrid/engine.h
include/simgrid/chrono.hpp
include/simgrid/plugins/dvfs.h
include/simgrid/zone.h
include/simgrid/s4u/Activity.hpp
include/simgrid/s4u/Actor.hpp
+ include/simgrid/s4u/Barrier.hpp
include/simgrid/s4u/Comm.hpp
include/simgrid/s4u/ConditionVariable.hpp
include/simgrid/s4u/Engine.hpp
### Simgrid Lib sources
set(simgrid_sources
- ${PLUGINS_SRC}
- ${BINDINGS_SRC}
- ${MC_SRC_BASE}
- ${MSG_SRC}
${S4U_SRC}
- ${SIMDAG_SRC}
${SIMGRID_SRC}
+ ${MC_SRC_BASE}
${SIMIX_SRC}
${SURF_SRC}
${TRACING_SRC}
${XBT_SRC}
+ ${PLUGINS_SRC}
+ ${BINDINGS_SRC}
+ ${MSG_SRC}
+ ${SIMDAG_SRC}
)
if(${SIMGRID_HAVE_JEDULE})