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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Tue May 26 18:08:39 BST 2020

On Tue, May 26, 2020 at 5:47 PM Michael Nolan <mtnolan2640 at gmail.com> wrote:
> Yesterday, I worked on familiarizing myself with the MultiCompUnit, and
> began writing a formal proof for it. Today, I'd like to refactor that
> proof to better match up with the description on the wiki page.

that's quite funny, because i am refactoring the wiki page to help
make it easier to write the proof :)

> Also, summer classes began today for me, so I may be less productive on
> Libre-SOC for the next two months.

ok cool, thanks for letting us know.  most of the pipelines has been
done, it should be plain sailing from here.


More information about the libre-riscv-dev mailing list