[libre-riscv-dev] daily kan-ban update 02jun2020
libre-soc at platen-software.de
Tue Jun 2 16:03:18 BST 2020
On Tue, 2 Jun 2020 16:44:45 +0200
Tobias Platen <libre-soc at platen-software.de> wrote:
> 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
This is now solved by upgrading nmigen.
> libre-riscv-dev mailing list
> libre-riscv-dev at lists.libre-riscv.org
Tobias Platen <libre-soc[at]platen-software[dot]de>
More information about the libre-riscv-dev