[Libre-soc-bugs] [Bug 902] Formal proof for nmutil byterev.py

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Thu Aug 4 11:30:41 BST 2022


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

Luke Kenneth Casson Leighton <lkcl at lkcl.net> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |lkcl at lkcl.net

--- Comment #2 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #1)

> byte_reverse zeroing everything other than the `length` least-significant
> bits threw me off for a while...I added a note to the docs specifically
> pointing that out so others don't get confused.

ah good, yes sensible.  breaking expectations bad.

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


More information about the libre-soc-bugs mailing list