[Libre-soc-bugs] [Bug 772] Creation of the HDL Code for the cryptoprimitive (bitmanip, bigint, etc.) Instructions

[bugzilla-daemon at libre-soc.org]

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

--- Comment #4 from Jacob Lifshay <programmerjake at gmail.com> ---
turns out the formal proofs for bug #785 were supposed to be under bug #840, so
we're moving just the formal proofs to that bug, everything else (hdl
implementations and unit tests for gfbinv/gfbmul/gfbmadd) stays under this bug.

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