finish adding all rounding modes to fadd -- formal proof passes
authorJacob Lifshay <programmerjake@gmail.com>
Fri, 1 Jul 2022 03:34:24 +0000 (20:34 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Fri, 1 Jul 2022 03:34:24 +0000 (20:34 -0700)
commit78bc58e1e6031a81620ced176b798f2e9e4703d1
treeef6cfc9e2f9d39a89b93bae2ecc017e1f65bd3b6
parent9093a6b8ac785aacf9af1622bcc9359ad30aea88
finish adding all rounding modes to fadd -- formal proof passes
13 files changed:
src/ieee754/fpadd/add0.py
src/ieee754/fpadd/add1.py
src/ieee754/fpadd/align.py
src/ieee754/fpadd/datastruct.py
src/ieee754/fpadd/specialcases.py
src/ieee754/fpadd/test/test_add_formal.py
src/ieee754/fpcommon/basedata.py
src/ieee754/fpcommon/denorm.py
src/ieee754/fpcommon/fpbase.py
src/ieee754/fpcommon/pack.py
src/ieee754/fpcommon/postnormalise.py
src/ieee754/fpcommon/pscdata.py
src/ieee754/fpcommon/roundz.py