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

[bugzilla-daemon at libre-soc.org]

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

--- Comment #39 from Cole Poirier <colepoirier at gmail.com> ---
(In reply to Luke Kenneth Casson Leighton from comment #38)
> cole i moved the soc.logical.bperm code into soc.fu.logical.bperm
> can i leave it with you to update the imports?

Just went to do this, but it appears you or someone else has already done this.
Thank you. Going to start working on the formal proof now.

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