The What4.SWord module has various functions that work over bit-endian and little-endian functions, suffixed with -BE and -LE, respectively. However, the litte-endian variants of each function have various inaccuracies in their documentation. Here are the ones that I have found:
This says Index of bit (0 is the most significant bit), but I believe that should be least significant bit. This also says NOTE bits are numbered in big-endian ordering, meaning the most-significant bit is bit 0, but I believe that should be NOTE bits are numbered in little-endian ordering, meaning the least-significant bit is bit 0.
The
What4.SWordmodule has various functions that work over bit-endian and little-endian functions, suffixed with -BEand -LE, respectively. However, the litte-endian variants of each function have various inaccuracies in their documentation. Here are the ones that I have found:https://github.com/GaloisInc/what4/blob/17483418396afa8384de4089cdfaab9e5bbf912d/what4/src/What4/SWord.hs#L251-L262
This says
Index of bit (0 is the most significant bit), but I believe that should beleast significant bit.https://github.com/GaloisInc/what4/blob/17483418396afa8384de4089cdfaab9e5bbf912d/what4/src/What4/SWord.hs#L281-L294
This says
Index of bit (0 is the most significant bit), but I believe that should beleast significant bit. This also saysNOTE bits are numbered in big-endian ordering, meaning the most-significant bit is bit 0, but I believe that should beNOTE bits are numbered in little-endian ordering, meaning the least-significant bit is bit 0.https://github.com/GaloisInc/what4/blob/17483418396afa8384de4089cdfaab9e5bbf912d/what4/src/What4/SWord.hs#L340-L357
This says
Starting index, from 0 as most significant bit, but I believe that should beStarting index, from 0 as least significant bit.