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

Michael Nolan mtnolan2640 at gmail.com
Mon Jun 1 19:54:40 BST 2020

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.

More information about the libre-riscv-dev mailing list