Skip to content

feat(riscv): optimize divisions by powers of 2#982

Merged
regehr merged 16 commits into
mainfrom
regehr/riscv-div-opt
Jul 4, 2026
Merged

feat(riscv): optimize divisions by powers of 2#982
regehr merged 16 commits into
mainfrom
regehr/riscv-div-opt

redo proof to be at the riscv level

bca7aac
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar