ascii_cmp reads bits in reverse order
mmalvarez opened this issue · comments
in String.v, the function ascii_cmp gives in correct results. For instance it says "a" > "b" but "b" < "c".
This appears to be because it is reading bits from the ASCII representation in the reverse order. The representation stores the least-significant bit first, but ascii_cmp treats the first bit as if it were the most-significant.
Fixed in 876e099
Fixed in 8.4 2caa401