Skip to content

ci(vcr-oracle): CI-gate the RV32 immediate-shift-fold execution oracle (#472, #242)#489

Merged
avrabe merged 2 commits into
mainfrom
ci/rv32-shift-fold-oracle-472
Jun 25, 2026
Merged

ci(vcr-oracle): CI-gate the RV32 immediate-shift-fold execution oracle (#472, #242)#489
avrabe merged 2 commits into
mainfrom
ci/rv32-shift-fold-oracle-472

fix(oracle): read RV32 fixture symbols from the ELF symtab, not `synt…

a5ceb76
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jun 25, 2026 in 1s

Coverage not affected when comparing 3ad8ba6...a5ceb76

View this Pull Request on Codecov

Coverage not affected when comparing 3ad8ba6...a5ceb76

View more details on Codecov