schuessf
commented
1 year ago - Implement octagon domain in SIFA
- Implement equality domain in SIFA
- Introduce abstractions with composition for state-based SIFA domains with DNF (for intervals and octagons) and without (for equality domain)
- Add abstraction for non-relational domains, used by intervals for now