src/mc/AddressSpace.hpp
src/mc/AddressSpace.cpp
src/mc/Frame.hpp
+ src/mc/Frame.cpp
src/mc/ModelChecker.hpp
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/mc_dwarf.hpp
src/mc/mc_dwarf.cpp
src/mc/mc_dwarf_attrnames.cpp
- src/mc/mc_dwarf_expression.cpp
+ src/mc/DwarfExpression.hpp
+ src/mc/DwarfExpression.cpp
src/mc/mc_dwarf_tagnames.cpp
src/mc/mc_hash.hpp
src/mc/mc_hash.cpp
src/mc/mcer_ignore.h
src/mc/mc_ignore.h
src/mc/mc_liveness.h
- src/mc/mc_location.h
+ src/mc/LocationList.hpp
+ src/mc/LocationList.cpp
src/mc/mc_liveness.cpp
src/mc/mc_record.cpp
src/mc/mc_member.cpp
examples/msg/energy/consumption/CMakeLists.txt
examples/msg/energy/onoff/CMakeLists.txt
examples/msg/energy/pstate/CMakeLists.txt
+ examples/msg/energy/vm/CMakeLists.txt
examples/msg/exception/CMakeLists.txt
examples/msg/gpu/CMakeLists.txt
examples/msg/gtnets/CMakeLists.txt
examples/msg/token_ring/CMakeLists.txt
examples/msg/tracing/CMakeLists.txt
examples/s4u/CMakeLists.txt
- examples/s4u/dumb/CMakeLists.txt
+ examples/s4u/basic/CMakeLists.txt
+ examples/s4u/io/CMakeLists.txt
examples/scala/CMakeLists.txt
examples/scala/master_slave_bypass/CMakeLists.txt
examples/scala/master_slave_kill/CMakeLists.txt
tools/cmake/Tests.cmake
tools/cmake/CTestConfig.cmake
tools/cmake/CTestCustom.cmake
- tools/cmake/CompleteInFiles.cmake
tools/cmake/DefinePackages.cmake
tools/cmake/Distrib.cmake
tools/cmake/GCCFlags.cmake
tools/cmake/Modules/FindLibSigc++.cmake
tools/cmake/Modules/FindLibdw.cmake
tools/cmake/Modules/FindLibunwind.cmake
- tools/cmake/Modules/FindLua51Simgrid.cmake
+ tools/cmake/Modules/FindLuaSimgrid.cmake
tools/cmake/Modules/FindNS3.cmake
tools/cmake/Modules/FindRngStream.cmake
tools/cmake/Modules/FindRubySimgrid.cmake