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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Sat May 30 23:02:40 BST 2020

On Sat, May 30, 2020 at 10:40 PM Cole Poirier <colepoirier at gmail.com> wrote:
> Yesterday:
> Did not work on the project, except to read all of the
> mailinglist/bug-report emails. Had intended to get several small family
> errands done then do some work but as often happens errands took a lot
> longer than expected.

these guys are available for hire:

> Today:
> Do a very small amount of work on proof_regfile, basically try to
> further orient my self and understand the state machine (if that even is
> the correct terminology) of the proof re wen/ren. This in order to
> prepare to do more substantial work on the proof tomorrow.



More information about the libre-riscv-dev mailing list