Liftingarm#202

Merged

sipma merged 4 commits intostatic-analysis-engineering:masterfrom

sipma:liftingarm

Jul 23, 2025

Commits on Jul 17, 2025

CHB: handle base-ptr array offset
sipma
committed

Commits on Jul 20, 2025

CHB:ARM:refactor type constraints
sipma
committed

Commits on Jul 23, 2025