add initial f16 fadd formal proof
authorJacob Lifshay <programmerjake@gmail.com>
Sat, 25 Jun 2022 01:04:09 +0000 (18:04 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Sat, 25 Jun 2022 01:13:27 +0000 (18:13 -0700)
commit98bf485dc96efc74e259809ad2829ccad6324cd4
treefaaf0025b96d739310357fa9375274efe42b1002
parent9a48c435cda4673d5a4fa0109f3fe1a6df559085
add initial f16 fadd formal proof
src/ieee754/fpadd/test/test_add_formal.py [new file with mode: 0644]