_
Merge branch 'master' of https://github.com/goblint/analyzer
_
bug in flagModeDomain
Merge branch 'master' of https://github.com/goblint/analyzer
flags IO
_
Merge branch 'master' of https://github.com/goblint/analyzer
Making analyses work when there is no oil file.
Getting regression tests to pass, except two OSEK tests.
backported special_fn branch fix from MCP2
allow flag protection for osek programms
merging
minor tweaking
Clean reg tests.
OSEK: Task activation by alarms
new framework passes test-suite
OSEK: Flag privatization
queries can now use ctx.presub, yay!
Merge branch 'master' of https://github.com/goblint/analyzer