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

Tobias Platen libre-soc at platen-software.de
Tue Jun 2 15:44:45 BST 2020


today: more work on formal verification

currently I am trying to find out how to solve the following thing, I think it is a bug in nmigen.
Object (rec <unnamed> data en) cannot be used as a key in value collections



More information about the libre-riscv-dev mailing list