[libre-riscv-dev] daily kan-ban update 01jun2020
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.
> 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
More information about the libre-riscv-dev