Fix RV32IM bitwise M31 word collisions#25

Merged

this-vishalsingh merged 1 commit into

mainfrom

fix/rv32im-bitwise-limb-constraints

May 1, 2026

Commits on May 1, 2026

fix(air): bind rv32im bitwise constraints to limbs
this-vishalsingh
committed