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

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Mon May 18 20:03:28 BST 2020


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

More information about the libre-riscv-dev mailing list