add correct NaN propagation to the fadd pipeline and formal proof
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 28 Jun 2022 05:27:39 +0000 (22:27 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 28 Jun 2022 05:27:39 +0000 (22:27 -0700)
commitd502b5b9d5c5ddeb582ab6ad0c998b4f36b3103a
treeda1d1201413a6667d088fd7b35ba6cf2257e6e00
parente11fb06ca114b96deae936c42addecc76838eff9
add correct NaN propagation to the fadd pipeline and formal proof
src/ieee754/fpadd/specialcases.py
src/ieee754/fpadd/test/test_add_formal.py
src/ieee754/fpcommon/fpbase.py