projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0c5e46a) | patch
Formal verification of PartitionedEqGtGe (EQ only)
authorCesar Strauss <cestrauss@gmail.com>
Sat, 9 Jan 2021 16:55:25 +0000 (13:55 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sat, 9 Jan 2021 16:55:25 +0000 (13:55 -0300)
commit25677815f0dedacb327980a58e3da1f36d7ee234
tree8c066c9a7156645e458b0566a792dee28d227b9atree
parent0c5e46a90dbc631cf4df369c4b280296b5225f1bcommit | diff
Formal verification of PartitionedEqGtGe (EQ only)

Fix operation at EQ to begin with.
Code is mostly identical to the PartitionedEq proof.
src/ieee754/part_cmp/formal/proof_partitioned_eq_gt_ge.py [new file with mode: 0644] blob