[libre-riscv-dev] daily kan-ban update 21may2020

[Luke Kenneth Casson Leighton]

On Thu, May 21, 2020 at 2:52 PM Michael Nolan <mtnolan2640 at gmail.com> wrote:
>
> This morning I fixed the broken test_adde (it broke because I hadn't
> added overflow support to caller.py).

ohh it was in the simulation code.  ok.

> I think today I'll work on
> changing the CR unit to take in the individual cr bitfields instead of
> the whole CR as well as adding the necessary bits to the decoder to
> handle that.

ok.

> If I finish that, I'll work on more formal verification.

great.

l.