[libre-riscv-dev] [Bug 316] bperm TODO

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Mon May 18 02:23:25 BST 2020


--- Comment #37 from Cole Poirier <colepoirier at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #36)
> (In reply to Cole Poirier from comment #35)
> > Thank you for the guidance to do standard python debugging, found the bug
> > and fixed it in minutes.
> ta-daaa :)
> > Should I make a PR to nmigen with this fix?
> of course! and next time, don't ask, just do it :)

Just did, and will do in the future, still getting my... cirucuit-legs so to
speak :)

> > I'm stopping work for today. Will pick this up and make my 'real' first
> > proof attempt in the morning.
> great.  it's kinda cool, isn't it?

It's fantastically cool! I can't wait to work on this tomorrow, would keep
working now, but I must give my brain some rest.

You are receiving this mail because:
You are on the CC list for the bug.

More information about the libre-riscv-dev mailing list