projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 849a8a6) | patch
Reverse order of gt combiner so it works MSB first
authorMichael Nolan <mtnolan2640@gmail.com>
Wed, 5 Feb 2020 15:06:40 +0000 (10:06 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Wed, 5 Feb 2020 15:06:40 +0000 (10:06 -0500)
commit130914875f67303cb7864ff20875b6b24c61db12
treea5bec3d8cce58ca6426cc8a8ccfc3872850a8d9btree
parent849a8a6d21b23faec1e6a19e0a1f7333ad57d80ecommit | diff
Reverse order of gt combiner so it works MSB first
src/ieee754/part_cmp/experiments/formal/proof_gt.py diff | blob | history
src/ieee754/part_cmp/experiments/gt_combiner.py diff | blob | history