projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8c78b70) | patch
Post-process PartitionedEq to ripple the LSB
authorCesar Strauss <cestrauss@gmail.com>
Sat, 9 Jan 2021 14:41:18 +0000 (11:41 -0300)
committerCesar Strauss <cestrauss@gmail.com>
Sat, 9 Jan 2021 14:41:18 +0000 (11:41 -0300)
commit0c5e46a90dbc631cf4df369c4b280296b5225f1b
tree173406263ccf50fa68ea19dc25a3f8fe33295e62tree
parent8c78b701281075e629cecf253a0787dd0df7f4efcommit | diff
Post-process PartitionedEq to ripple the LSB

This needs to be removed once PartitionedEq is compliant.
src/ieee754/part_cmp/experiments/formal/proof_partitioned_eq.py diff | blob | history