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

[Tobias Platen]

On Tue, 2 Jun 2020 16:37:33 +0100
Luke Kenneth Casson Leighton <lkcl at lkcl.net> wrote:

> 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.
I also found another bug in nmigen, that I will report soon. Just a two line fix.
> 
> ah excellent!
> 
> _______________________________________________
> libre-riscv-dev mailing list
> libre-riscv-dev at lists.libre-riscv.org
> http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev


-- 
Tobias Platen <libre-soc[at]platen-software[dot]de>