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

Luke Kenneth Casson Leighton lkcl at lkcl.net
Mon Jun 1 19:33:56 BST 2020

On Mon, Jun 1, 2020 at 7:30 PM Cole Poirier <colepoirier at gmail.com> wrote:

> 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.

you're braver than i am.  i can contribute small additions to proofs.

> 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.

TRAP, SYS and SPR are a higher priority at the moment.


More information about the libre-riscv-dev mailing list