projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1a713b0) | patch
modify reorder_bits to copy the MSB of the partition to each bit
authorMichael Nolan <mtnolan2640@gmail.com>
Fri, 7 Feb 2020 14:29:32 +0000 (09:29 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Fri, 7 Feb 2020 14:39:52 +0000 (09:39 -0500)
commitd07c689dc09ada1f3b408dcff9858b514a42dc80
tree789ce702c9dfc676777946133cfec0949d2a9bc2tree
parent1a713b044a3cc045a36375bc13def08aadd509d8commit | diff
modify reorder_bits to copy the MSB of the partition to each bit

Previously, it would move the MSB to the LSB, and set the rest of the
bits to 0.
src/ieee754/part_cmp/eq_gt_ge.py diff | blob | history
src/ieee754/part_cmp/formal/proof_eq_gt_ge.py diff | blob | history
src/ieee754/part_cmp/reorder_results.py diff | blob | history