projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2c9cea) | patch
Add proof for using the greater than combiner to do equals as well
authorMichael Nolan <mtnolan2640@gmail.com>
Mon, 3 Feb 2020 20:16:05 +0000 (15:16 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Mon, 3 Feb 2020 20:16:05 +0000 (15:16 -0500)
commit1750521d08baf5f8551bf3286647ed4777357500
tree11293d7786fae633b4dbf5a0493bc6c5efc5a91btree
parente2c9cea3781da372bed293b67264cd62bb0c5439commit | diff
Add proof for using the greater than combiner to do equals as well

It works for the active outputs, however some of the active outputs
get set to 1 instead of 0
src/ieee754/part_cmp/experiments/formal/proof_gt.py diff | blob | history
src/ieee754/part_cmp/experiments/gt_combiner.py diff | blob | history