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

[bugzilla-daemon at libre-soc.org]

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

--- Comment #36 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(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 :)

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

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