src/include/surf/datatypes.h
src/include/surf/maxmin.h
src/include/surf/surf.h
- src/include/xbt/wine_dbghelp.h
src/msg/msg_private.h
- src/portable.h
src/simdag/dax.dtd
src/simdag/dax_dtd.c
src/simdag/dax_dtd.h
src/xbt/automaton/parserPromela.yacc
src/xbt/backtrace_dummy.c
src/xbt/backtrace_linux.c
- src/xbt/backtrace_windows.c
src/xbt/dict_private.h
src/xbt/ex_interface.h
src/xbt/fifo_private.h
src/mc/RemotePtr.hpp
src/mc/AddressSpace.hpp
src/mc/AddressSpace.cpp
+ src/mc/Channel.cpp
+ src/mc/Channel.hpp
+ src/mc/Client.cpp
+ src/mc/Client.hpp
src/mc/Frame.hpp
src/mc/Frame.cpp
src/mc/ModelChecker.hpp
src/mc/mc_unw.h
src/mc/mc_unw.cpp
src/mc/mc_unw_vmread.cpp
- src/mc/mc_object_info.h
src/mc/mc_checkpoint.cpp
src/mc/mc_snapshot.h
src/mc/mc_snapshot.cpp
src/mc/mc_state.h
src/mc/mc_state.cpp
src/mc/mc_visited.cpp
- src/mc/mc_client.cpp
src/mc/mc_client_api.cpp
- src/mc/mc_client.h
src/mc/mc_protocol.h
src/mc/mc_protocol.cpp
src/mc/mc_smx.h
examples/simdag/scheduling/CMakeLists.txt
examples/smpi/CMakeLists.txt
+ examples/smpi/NAS/CMakeLists.txt
examples/smpi/smpi_msg_masterslave/CMakeLists.txt
examples/smpi/replay_multiple/CMakeLists.txt
examples/smpi/energy/CMakeLists.txt
tools/cmake/test_prog/prog_snprintf.c
tools/cmake/test_prog/prog_stackgrowth.c
tools/cmake/test_prog/prog_stacksetup.c
+ tools/cmake/test_prog/prog_thread_storage.c
tools/cmake/test_prog/prog_vsnprintf.c
tools/cmake/cross-mingw.cmake
tools/stack-cleaner/as