Skip to content

RQ-58-VERIFYWIRE (#981): wire the i32 shift/rotate verify rules to the #975-modelled ops, retire the stale immediate-shift-encoding decline - #1005

Merged
avrabe merged 3 commits into
mainfrom
feat/verify-wire-shift-rules-981
Aug 19, 2026
Merged

RQ-58-VERIFYWIRE (#981): wire the i32 shift/rotate verify rules to the #975-modelled ops, retire the stale immediate-shift-encoding decline#1005
avrabe merged 3 commits into
mainfrom
feat/verify-wire-shift-rules-981

chore(rivet): RQ-58-VERIFYWIRE proposed -> implemented

bb187bc
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar