projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1309148) | patch
Add module to handle partitioned eq, gt, and ge comparisons
authorMichael Nolan <mtnolan2640@gmail.com>
Wed, 5 Feb 2020 15:37:14 +0000 (10:37 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Wed, 5 Feb 2020 15:49:05 +0000 (10:49 -0500)
commit8b9e4bb7bdc717dd5cafee843f2e08ba7d027636
tree9f3b1a9219fb476144f2bb0c12e44f4c3306aed8tree
parent130914875f67303cb7864ff20875b6b24c61db12commit | diff
Add module to handle partitioned eq, gt, and ge comparisons
src/ieee754/part_cmp/eq_gt_ge.py [new file with mode: 0644] blob
src/ieee754/part_cmp/experiments/gt_combiner.py diff | blob | history
src/ieee754/part_cmp/formal/proof_eq_gt_ge.py [new file with mode: 0644] blob