src/instr/instr_paje_trace.cpp
src/instr/instr_paje_types.cpp
src/instr/instr_paje_types.hpp
- src/instr/instr_paje_values.cpp
src/instr/instr_paje_values.hpp
src/instr/instr_platform.cpp
src/instr/instr_private.hpp
src/mc/mc_hash.cpp
src/mc/mc_ignore.hpp
src/mc/mc_record.cpp
- src/mc/mc_memory.cpp
src/mc/mc_private.hpp
src/mc/mc_request.hpp
src/mc/mc_request.cpp
examples/deprecated/simdag/CMakeLists.txt
teshsuite/java/CMakeLists.txt
+ teshsuite/kernel/CMakeLists.txt
teshsuite/lua/CMakeLists.txt
teshsuite/mc/CMakeLists.txt
teshsuite/msg/CMakeLists.txt
examples/platforms/optorsim/transform_optorsim_platform.pl
examples/platforms/config.xml
examples/platforms/config_tracing.xml
+ examples/platforms/model_checker_platform.xml
examples/platforms/profiles/bourassa_state.profile
examples/platforms/profiles/fafard_state.profile
examples/platforms/profiles/faulty_host.profile
examples/platforms/two_hosts_platform_with_availability_included.xml
examples/platforms/two_peers.xml
examples/platforms/vivaldi.xml
+ examples/platforms/wifi_decay_2STA.xml
examples/platforms/wifi.xml
)