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

[Luke Kenneth Casson Leighton]

On Wed, May 20, 2020 at 4:50 PM Michael Nolan <mtnolan2640 at gmail.com> wrote:
>
> It looks like I'm working formal proofs today! I started out by making
> sure the alu's 32 bit carry was working correctly and kinda branched out
> from there... After lunch I think I'll work on the overflow and
> overflow32 ports for alu and checking the outputs of the CR pipeline.

nice.  can you raise the associated bugreports (like i just did here
https://bugs.libre-soc.org/show_bug.cgi?id=331)

i'll help fill them in.

l.