./make.sh it so
analysis for disproving a deadlock cycle using data race analysis
more framework business
MCP2
MCP2 works!
init of MCP2
path- and context sensitivity for MCP2
verification
install file
osek intrpts in the new framework
sorry
fixed the function--file mixup in dead code generation; install
improvements on dead code output
bidirectional analysis
flag analysis
Merge branch 'master' of https://github.com/goblint/analyzer
_
Update benchmark scripts to new cmd line style.
RM json hacks from scripts.
Switch to Batteries 2.