small fix to mayLocks.ml
HTML output fixes
deleted the bidirectional stuff
deleted the bidirectional stuff
_
Fix to stupid TD
Fix to stupid TD
Merge branch 'master' of https://github.com/karbyshev/analyzer
flag mode analysis
Revert "_"

This reverts commit d898ff01245b8012544fec59df1c6bfe688cc857.
Merge pull request #6 from VolkerStolz/master

Use cat <<HERE, not echo
Merge pull request #8 from karbyshev/master

Fix to top-down solver
Revert "Revert "_""

This reverts commit c20732d1537349cb95e5c0cf90b776bede5dc478.
added an experimental single-threaded enforcement flag
_
Merge branch 'master' of https://github.com/goblint/analyzer
_
bug in flagModeDomain
Merge branch 'master' of https://github.com/goblint/analyzer
flags IO