projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e9342ce) | patch
Handle -0 and +0 equals and <
authorMichael Nolan <mtnolan2640@gmail.com>
Sun, 2 Feb 2020 19:41:56 +0000 (14:41 -0500)
committerMichael Nolan <mtnolan2640@gmail.com>
Sun, 2 Feb 2020 19:41:56 +0000 (14:41 -0500)
commit4946e26cba1604172bdcbef2d21b9e9ccc45809e
tree15fe1757e521bf18ca6e6374a35e8c840360b2d4tree
parente9342ce0ae76789eaba3aee7cb94b1352c5921cacommit | diff
Handle -0 and +0 equals and <
src/ieee754/fpcmp/formal/proof_fpcmp_mod.py diff | blob | history
src/ieee754/fpcmp/fpcmp.py diff | blob | history
src/ieee754/fpcmp/test/test_fpcmp_pipe.py diff | blob | history