sail-riscv icon indicating copy to clipboard operation
sail-riscv copied to clipboard

Published 20 hours ago • verified publisher icon riscv

Add >=0 constraints to quot_round_zero and rem_round_zero

Open Timmmm opened this issue 1 year ago • 4 comments

The type declarations for those division operators are missing >0 and >=0 constraints.

See https://github.com/riscv/sail-riscv/pull/552/files#r1768223964

Timmmm avatar Sep 20 '24 17:09 Timmmm