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

[Luke Kenneth Casson Leighton]

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.

l.