clarify top bound and how it feeds into rep range check#512

Merged

tariqkurd-repo merged 6 commits intoriscv:mainfrom tariqkurd-repo:small_equation_fixes

Feb 3, 2025

+9-13

Commits on Jan 30, 2025

clarify top bound and how it feeds into rep range check
tariqkurd-repo
committed