RV32 br_table lowering + hard-error on target/backend ISA mismatch (#882) - #887

Merged

avrabe merged 6 commits into

mainfrom

feat/rv32-brtable-target-882

Jul 30, 2026

Commits on Jul 29, 2026

feat(rv32): br_table compare-chain lowering + hard-error on target/backend ISA mismatch (#882)

avrabe
and
claude
committed
6dc74d4
style: cargo fmt (#882)

avrabe
and
claude
committed
28ef9d0
Merge remote-tracking branch 'origin/main' into feat/rv32-brtable-target-882
avrabe
committed
924ba56
test(VCR-SEL-005): close the stale br_table divergence + state the sub-shape residual (#882)

avrabe
and
claude
committed
0f6b4c7
fix(cli): correct article in the wrong-ISA target refusal (#882)

avrabe
and
claude
committed
facc6b4
merge: origin/main (#886 RISC-V dead-code-walk / label fixes) into #882

avrabe
and
claude
committed
f7afb88