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

[bugzilla-daemon at libre-soc.org]

https://bugs.libre-soc.org/show_bug.cgi?id=316

--- 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.