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.
updates to bi-dir analysis
removed pointless operators
Install sequence tested on fresh Ubuntu.
Improved call stack analysis.
Update install information.
HTML output improvements: iframes, deadcode, global child nodes
Use HERE-document instead of echos.
small fix to mayLocks.ml
HTML output fixes
deleted the bidirectional stuff
deleted the bidirectional stuff
_
Fix to stupid TD