)
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/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/smpi/forward.hpp
include/xbt.h
include/xbt/asserts.h
+ include/xbt/asserts.hpp
include/xbt/automaton.h
include/xbt/automaton.hpp
include/xbt/backtrace.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
)