[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 08:11:33 BST 2022


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

Jacob Lifshay <programmerjake at gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|CONFIRMED                   |RESOLVED
         Resolution|---                         |FIXED

--- Comment #1 from Jacob Lifshay <programmerjake at gmail.com> ---
Finished formal proof.

https://git.libre-soc.org/?p=nmutil.git;a=blob;f=src/nmutil/formal/test_byterev.py;h=6df71bda009411ae8390bde879f11e0928fac616;hb=02ce4630db0814025c25a97d38f9a9357062bca3

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.

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


More information about the libre-soc-bugs mailing list