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

[Cole Poirier]

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.

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.

Cole