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

[Luke Kenneth Casson Leighton]

On Tue, Jun 2, 2020 at 4:03 PM Tobias Platen
<libre-soc at platen-software.de> wrote:
>
> 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.

ah excellent!