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

[Michael Nolan]

On 6/1/20 2:30 PM, Cole Poirier wrote:
> 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.
Formal stuff is hard, it took me a while to figure out what I was doing 
when I first tried to learn it (back in 2016). Just keep trying, you'll 
eventually get it.
>
> 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.

I've got a proof for RegFileArray which shouldn't be too hard to modify 
for RegFile.