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

[bugzilla-daemon at libre-riscv.org]

http://bugs.libre-riscv.org/show_bug.cgi?id=173

--- 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.