[AbsInt] Improve implementation of abstract domains#2485

OliverGerstl wants to merge 5 commits into

mainflowr-analysis/flowr:mainfrom

2484-absint-improve-implementation-of-abstract-domainsflowr-analysis/flowr:2484-absint-improve-implementation-of-abstract-domainsCopy head branch name to clipboard