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

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Mon May 18 01:50:16 BST 2020


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

More information about the libre-riscv-dev mailing list