projects / ieee754fpu.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
add f8 fma tests -- f16 takes >8hr to run with bitwuzla
[ieee754fpu.git] / fpmul_test.smt2
2022-05-13 Jacob Lifshayremove redundant bvadd with 1 input blob | commitdiff | raw
2022-05-13 Jacob Lifshayadd missing inf * 0 -> NaN cases blob | commitdiff | raw | diff to current
2022-05-13 Jacob Lifshayadd fpmul_test.smt2 as a test to see if we should bothe... blob | commitdiff | raw | diff to current