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

Cole Poirier colepoirier at gmail.com
Sat May 30 22:40:28 BST 2020


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.


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