add f8 fma tests -- f16 takes >8hr to run with bitwuzla
authorJacob Lifshay <programmerjake@gmail.com>
Mon, 4 Jul 2022 23:14:36 +0000 (16:14 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Mon, 4 Jul 2022 23:14:36 +0000 (16:14 -0700)
commita434759860b4e6a92c4c46d4842e767ae5b680e3
tree2ab183a235eb9291d187464addbf38acdcdb742e
parent449176c8896dd13ae80130a3a0c8fc88026a2499
add f8 fma tests -- f16 takes >8hr to run with bitwuzla
src/ieee754/fpcommon/fpbase.py
src/ieee754/fpcommon/pack.py
src/ieee754/fpcommon/postnormalise.py
src/ieee754/fpcommon/roundz.py
src/ieee754/fpfma/main_stage.py
src/ieee754/fpfma/norm.py
src/ieee754/fpfma/special_cases.py
src/ieee754/fpfma/test/test_fma_formal.py
src/ieee754/fpfma/util.py