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

[Cole Poirier]

Yesterday:

Did a very small amount of work on the virtual port with luke, I believe
he's taken this over, which is good because I was struggling and this is important.

Today:

Yesterday Luke asked me to raise a bug report for RegFile and
RegFileArray proofs needed, so today I plan on trying to formally prove
regfile. Input or advice on this at bug 353 is appreciated.
(https://bugs.libre-soc.org/show_bug.cgi?id=353)

Cole