reenable variability-aware vs sampling-based analysis
Merge branch 'master' into liveness
remove erroreous cache
checking error conditions of configuration-aware analysis agains sampling configurations
rename in out functions
remove debug code
output analysis times
improve uninitialized memory to reduce number of false positives
add castexpr to id-usage determination
remove unreachable code
add global cache for data-flow analysis
fix compilation bug
add new cache implementation for monotone framework
use cached values in in/out functions directly
remove cache implementation from monotone
first try fixing fix-point computation: removing FeatureExpr from circular cache
fix compile error
code formatting
add example with nested loops
no more duplicates in in/out determination;
so we can remove call to distinct