src/kernel/actor/Simcall.hpp
src/kernel/resource/LinkImpl.hpp
src/kernel/resource/NetworkModel.hpp
+ src/kernel/resource/NetworkModelFactors.hpp
src/kernel/resource/SplitDuplexLinkImpl.hpp
src/kernel/resource/StandardLinkImpl.hpp
src/kernel/resource/WifiLinkImpl.hpp
src/surf/network_constant.hpp
src/surf/network_ib.hpp
src/surf/network_ns3.hpp
- src/surf/network_smpi.hpp
src/surf/ns3/ns3_simulator.hpp
src/surf/ptask_L07.hpp
src/surf/surf_interface.hpp
src/smpi/plugins/ampi/instr_ampi.cpp
src/smpi/plugins/ampi/instr_ampi.hpp
src/surf/network_ib.cpp
- src/surf/network_smpi.cpp
)
set(STHREAD_SRC
src/sthread/sthread_impl.cpp
)
if(HAVE_MMALLOC)
- set(XBT_SRC ${XBT_SRC} src/xbt/mmalloc/mm.c )
+ set(SGMALLOC_SRC src/xbt/mmalloc/mm.c)
+ set(XBT_SRC ${XBT_SRC} src/xbt/mmalloc/mm.c)
else()
set(EXTRA_DIST ${EXTRA_DIST} src/xbt/mmalloc/mm.c)
endif()
src/kernel/resource/CpuImpl.hpp
src/kernel/resource/DiskImpl.cpp
src/kernel/resource/DiskImpl.hpp
+ src/kernel/resource/FactorSet.cpp
+ src/kernel/resource/FactorSet.hpp
src/kernel/resource/Model.cpp
src/kernel/resource/NetworkModel.cpp
+ src/kernel/resource/NetworkModelFactors.cpp
src/kernel/resource/Resource.hpp
src/kernel/resource/SplitDuplexLinkImpl.cpp
src/kernel/resource/StandardLinkImpl.cpp
src/kernel/context/ContextThread.cpp
src/kernel/context/ContextThread.hpp
src/simix/libsmx.cpp
- src/simix/smx_context.cpp
)
# Boost context may not be available
set(MC_SRC_BASE
src/mc/mc_base.cpp
src/mc/mc_base.hpp
+ src/mc/mc_client_api.cpp
src/mc/mc_config.cpp
src/mc/mc_config.hpp
src/mc/mc_global.cpp
src/mc/explo/CommunicationDeterminismChecker.cpp
src/mc/explo/DFSExplorer.cpp
src/mc/explo/DFSExplorer.hpp
+ src/mc/explo/Exploration.cpp
src/mc/explo/Exploration.hpp
src/mc/explo/LivenessChecker.cpp
src/mc/explo/LivenessChecker.hpp
src/mc/sosp/Snapshot.hpp
src/mc/transition/Transition.hpp
+ src/mc/transition/TransitionActorJoin.cpp
+ src/mc/transition/TransitionActorJoin.hpp
src/mc/transition/TransitionAny.cpp
src/mc/transition/TransitionAny.hpp
src/mc/transition/TransitionComm.cpp
src/mc/AddressSpace.hpp
src/mc/ModelChecker.cpp
src/mc/ModelChecker.hpp
- src/mc/Session.cpp
- src/mc/Session.hpp
src/mc/VisitedState.cpp
src/mc/VisitedState.hpp
- src/mc/api.cpp
- src/mc/api.hpp
+ src/mc/api/ActorState.hpp
src/mc/api/State.cpp
src/mc/api/State.hpp
+ src/mc/api/RemoteApp.cpp
+ src/mc/api/RemoteApp.hpp
src/mc/compare.cpp
- src/mc/mc_client_api.cpp
src/mc/mc_exit.hpp
src/mc/mc_forward.hpp
- src/mc/mc_hash.cpp
- src/mc/mc_hash.hpp
- src/mc/mc_ignore.hpp
- src/mc/mc_pattern.hpp
src/mc/mc_private.hpp
src/mc/mc_record.cpp
- src/mc/mc_safety.hpp
- src/mc/mc_smx.cpp
src/mc/udpor_global.cpp
src/mc/udpor_global.hpp
+
+ src/xbt/mmalloc/mm_interface.c
)
set(MC_SIMGRID_MC_SRC src/mc/explo/simgrid_mc.cpp)
include/simgrid/s4u.hpp
include/simgrid/kernel/resource/Action.hpp
- include/simgrid/kernel/resource/NetworkModelIntf.hpp
include/simgrid/kernel/resource/Model.hpp
include/simgrid/kernel/routing/ClusterZone.hpp
examples/platforms/vivaldi.xml
examples/platforms/wifi.xml
examples/platforms/wifi_energy.xml
+ examples/platforms/wifi_large_cell.xml
examples/platforms/wifi_ns3.xml
)