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

Cole Poirier colepoirier at gmail.com
Mon Jun 1 20:03:37 BST 2020

On Jun 1 2020, at 11:33 am, Luke Kenneth Casson Leighton <lkcl at lkcl.net> wrote:
> 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.

Thanks Luke, being with you on this perilous journey makes it much more
fun :)
>> 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.
> l.

Should I work on the #TODOs in fu/trap/main_stage.py? Or is there
another file I should work on instead?

On Jun 1 2020, at 11:54 am, Michael Nolan <mtnolan2640 at gmail.com> wrote:
> I've got a proof for RegFileArray which shouldn't be too hard to
> modify for RegFile.

Awesome! I'm excited to learn from it!


More information about the libre-riscv-dev mailing list