[libre-riscv-dev] daily kan-ban update 28may2020

Cole Poirier colepoirier at gmail.com
Thu May 28 20:33:16 BST 2020


Worked on proof_regfile.py, had to do a bit of a reorg at luke's
direction because I was mixing python and nmigen AST variables.


Continue working on proof_regfile.py with luke

More information about the libre-riscv-dev mailing list