Use HERE-document instead of echos.
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.
Merge branch 'master' of https://github.com/goblint/analyzer