include examples/deprecated/java/trace/pingpong/Sender.java
include examples/deprecated/java/trace/pingpong/trace-pingpong.tesh
include examples/deprecated/msg/README.doc
+include examples/deprecated/msg/mc/bugged2-liveness.tesh
include examples/deprecated/msg/mc/bugged2_liveness.c
include examples/deprecated/msg/mc/centralized_mutex.c
include examples/deprecated/msg/mc/centralized_mutex.tesh
include examples/platforms/two_peers.xml
include examples/platforms/vivaldi.xml
include examples/platforms/wifi.xml
+include examples/platforms/wifi_decay_2STA.xml
include examples/python/CMakeLists.txt
include examples/python/actor-create/actor-create_d.xml
include examples/python/actor-lifetime/actor-lifetime_d.xml
include src/instr/instr_paje_trace.cpp
include src/instr/instr_paje_types.cpp
include src/instr/instr_paje_types.hpp
-include src/instr/instr_paje_values.cpp
include src/instr/instr_paje_values.hpp
include src/instr/instr_platform.cpp
include src/instr/instr_private.hpp