[libre-riscv-dev] [Bug 173] dynamic partitioned "shift"

bugzilla-daemon at libre-riscv.org bugzilla-daemon at libre-riscv.org
Fri Feb 14 21:12:54 GMT 2020


--- Comment #30 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Michael Nolan from comment #29)

> > a *bit-wise* truncation also needs to be *shudder* based on the partition
> > length.
> This has been added to the shifter as well as the proof in the latest commit

okaaay, i'll work it out for test_partsig.py

You are receiving this mail because:
You are on the CC list for the bug.

More information about the libre-riscv-dev mailing list