src/xbt/random.cpp
src/xbt/snprintf.c
src/xbt/string.cpp
+ src/xbt/utils/iter/subsets.cpp
src/xbt/xbt_log_appender_file.cpp
src/xbt/xbt_log_layout_format.cpp
src/xbt/xbt_log_layout_simple.cpp
src/mc/explo/UdporChecker.cpp
src/mc/explo/UdporChecker.hpp
+ src/mc/explo/udpor/CompatibilityGraph.hpp
+ src/mc/explo/udpor/CompatibilityGraph.cpp
+ src/mc/explo/udpor/CompatibilityGraphNode.hpp
+ src/mc/explo/udpor/CompatibilityGraphNode.cpp
src/mc/explo/udpor/Configuration.hpp
src/mc/explo/udpor/Configuration.cpp
src/mc/explo/udpor/EventSet.cpp