[libre-riscv-dev] daily kan-ban update 01jun2020

[Cole Poirier]

Yesterday:

Started reading the materials on proofs provided by Luke and Cesar,
apologies, I should have communicated this on the bug report, however,
given that I was struggling I'm very grateful to Michael for taking it
over and finishing it. This, like Michael's fixing of proof_bpermd
really, really helps me learn because since I've already made several
attempts on my own(ish), I can see 'the path forward' to what I should
have done. I want to be able to contribute more than I currently am,
but, I'm realizing that unfortunately I have to learn to crawl before I
can walk then run. I've started the journey at least, and I learn many
new things every day.

Today:

If proof_regfile/Register is done, should I try writing
proof_regfile/Regfile? or if Michael is doing this, I volunteer to work
on TRAP and/or SYS instructions.

Cole