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

[Luke Kenneth Casson Leighton]

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:
https://www.youtube.com/watch?v=AEnvpvbfc8w

> 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.

cool.

l.