Liftingarm#201

Merged

sipma merged 8 commits intostatic-analysis-engineering:masterfrom

sipma:liftingarm

Jul 15, 2025

Commits on Jul 10, 2025

XPR: add simplification rules
sipma
committed

Commits on Jul 13, 2025

CHB: convert init location into function parameter typing constraint variable
sipma
committed
CHB:ARM: no explicit control-flow indication for predicated test instructions
sipma
committed

Commits on Jul 14, 2025

Commits on Jul 15, 2025