flag fix
Merge branch 'master' of https://github.com/goblint/analyzer
update to the iterator
Wrapped, Signedness-agnostic intervals (implemented by Yannick Scherer)
some work on the iterator
re-enabled printing of uncalled functions & html-output tweaks
added back tracevars & report.html -> index.html
Merge branch 'master' of https://github.com/goblint/analyzer
some updates to the iterator
added global inv. and thread spawing to cfg-iteration
Fixes #16 (mutex.ml was to blame).
additional osek tracing
small changes to the iterator
Merge branch 'master' of git://github.com/goblint/analyzer
Merge branch 'master' of https://github.com/goblint/analyzer
fixxed osekbranch tracing
basic support for arinc-653
more deadcode tracing
Merge branch 'master' of https://github.com/goblint/analyzer
typo