Issues

work out why host validation on sqrt fails (float128)
florianschanda/fp_test_generator#24 · opened on May 29, 2020
work out why min/max host validation fails
florianschanda/fp_test_generator#23 · opened on May 24, 2020
3
new tests: backwards reasoning for fma
florianschanda/fp_test_generator#21 · opened on May 22, 2020
new tests: backwards reasoning for roundToIntegral
florianschanda/fp_test_generator#20 · opened on May 22, 2020
new tests: backwards reasoning for sqrt
florianschanda/fp_test_generator#19 · opened on May 22, 2020
new tests: backwards reasoning for div
florianschanda/fp_test_generator#18 · opened on May 22, 2020
new tests: backwards reasoning for mul
florianschanda/fp_test_generator#17 · opened on May 22, 2020
new tests: backwards reasoning for add/sub
florianschanda/fp_test_generator#16 · opened on May 22, 2020
new tests: float -> int
florianschanda/fp_test_generator#15 · opened on May 22, 2020 · Medium Priority
new tests: float -> real
florianschanda/fp_test_generator#14 · opened on May 22, 2020 · Medium Priority
new tests: float -> bitvector
florianschanda/fp_test_generator#13 · opened on May 22, 2020 · Medium Priority
new tests: int -> float
florianschanda/fp_test_generator#12 · opened on May 22, 2020 · Medium Priority
new tests: nextup and nextdown
florianschanda/fp_test_generator#11 · opened on May 22, 2020
new tests: extended predicates
florianschanda/fp_test_generator#10 · opened on May 22, 2020
new tests: bitvector -> float
florianschanda/fp_test_generator#7 · opened on May 22, 2020 · Medium Priority
new tests: real -> float
florianschanda/fp_test_generator#6 · opened on May 22, 2020 · Medium Priority