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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Wed May 20 17:23:45 BST 2020

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

i'll help fill them in.


More information about the libre-riscv-dev mailing list