Predicatedinstructions - #255

Merged

sipma merged 16 commits into

static-analysis-engineering:masterfrom

sipma:predicatedinstructions

Aug 3, 2026

Commits on Jul 14, 2026

Commits on Jul 15, 2026

CHB:ARM: add semantics for ADC and RSC
sipma
committed

Commits on Jul 20, 2026

CHB:ARM: add wide-operation aggregates
sipma
committed

Commits on Jul 21, 2026

CHB:generic support for wide operations
sipma
committed

Commits on Jul 30, 2026

Commits on Aug 3, 2026