2022-05-13 | Jacob Lifshay | remove redundant bvadd with 1 input | blob | commitdiff | raw |
2022-05-13 | Jacob Lifshay | add missing inf * 0 -> NaN cases | blob | commitdiff | raw | diff to current |
2022-05-13 | Jacob Lifshay | add fpmul_test.smt2 as a test to see if we should bothe... | blob | commitdiff | raw | diff to current |