projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: da903f9) | patch
working on implementing fma, f16 rtz formal proof seems likely to work
authorJacob Lifshay <programmerjake@gmail.com>
Mon, 4 Jul 2022 10:49:45 +0000 (03:49 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Mon, 4 Jul 2022 10:49:45 +0000 (03:49 -0700)
commit449176c8896dd13ae80130a3a0c8fc88026a2499
treeb6cf913496c39f9475d7431886dcb08e02e42d6btree
parentda903f9bc46de51cae1f4a8fd9e9ea2d83bd572acommit | diff
working on implementing fma, f16 rtz formal proof seems likely to work

bitwuzla has been running the formal proof for the last 23min, seems
like it'll probably succeed after a bunch of time.
src/ieee754/fpfma/main_stage.py diff | blob | history
src/ieee754/fpfma/norm.py diff | blob | history
src/ieee754/fpfma/pipeline.py diff | blob | history
src/ieee754/fpfma/special_cases.py diff | blob | history
src/ieee754/fpfma/test/__init__.py [new file with mode: 0644] blob
src/ieee754/fpfma/test/test_fma_formal.py [new file with mode: 0644] blob
src/ieee754/fpfma/util.py diff | blob | history