projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1750521) | patch
Modify gt experiment to handle eq as well
authorMichael Nolan <mtnolan2640@gmail.com>
Tue, 4 Feb 2020 03:28:50 +0000 (22:28 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Tue, 4 Feb 2020 03:28:50 +0000 (22:28 -0500)
commit419a7fce211635a7c21c58ab857a39f98a238572
treed06399be38877fe4b96cf777795b4df3891f2d89tree
parent1750521d08baf5f8551bf3286647ed4777357500commit | diff
Modify gt experiment to handle eq as well
src/ieee754/part_cmp/experiments/formal/proof_gt.py diff | blob | history
src/ieee754/part_cmp/experiments/gt_combiner.py diff | blob | history