projects / ieee754fpu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 98bf485) | patch
add formal proofs for other fadd widths, but with unittest.skip
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 28 Jun 2022 03:44:28 +0000 (20:44 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 28 Jun 2022 03:44:28 +0000 (20:44 -0700)
commitd94ae33573cded26ec8d92096a6279d6a5f0e3a9
tree70f703f71d7fac9fd741c2c8e2e23855bf7dde8etree
parent98bf485dc96efc74e259809ad2829ccad6324cd4commit | diff
add formal proofs for other fadd widths, but with unittest.skip
src/ieee754/fpadd/test/test_add_formal.py diff | blob | history