Skip to content

feat(#815): VCR-RA-003 RV32 register-allocation validator (RV32 analogue of the ARM gate)#821

Merged
avrabe merged 2 commits into
mainfrom
feat/50-rv32-alloc-validator
Jul 18, 2026
Merged

feat(#815): VCR-RA-003 RV32 register-allocation validator (RV32 analogue of the ARM gate)#821
avrabe merged 2 commits into
mainfrom
feat/50-rv32-alloc-validator

docs(#815): rustdoc-clean the RV32 validator + name the store-side FN…

76ce2ab
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Jul 17, 2026 in 0s

96.00% of diff hit (target 86.88%)

View this Pull Request on Codecov

96.00% of diff hit (target 86.88%)

View more details on Codecov