Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / florianschanda/fp_test_generator issues and pull requests

#24 - work out why host validation on sqrt fails (float128)

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: bug

#23 - work out why min/max host validation fails

Issue - State: open - Opened by florianschanda over 4 years ago - 3 comments
Labels: bug

#22 - new tests: smtlib equality

Issue - State: closed - Opened by florianschanda over 4 years ago
Labels: new tests

#21 - new tests: backwards reasoning for fma

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: new tests

#20 - new tests: backwards reasoning for roundToIntegral

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: new tests

#19 - new tests: backwards reasoning for sqrt

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: new tests

#18 - new tests: backwards reasoning for div

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: new tests

#17 - new tests: backwards reasoning for mul

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: new tests

#16 - new tests: backwards reasoning for add/sub

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: new tests

#15 - new tests: float -> int

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: extended semantics, new tests

#14 - new tests: float -> real

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: new tests

#13 - new tests: float -> bitvector

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: new tests

#12 - new tests: int -> float

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: extended semantics, new tests

#11 - new tests: nextup and nextdown

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: extended semantics, new tests

#10 - new tests: extended predicates

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: extended semantics, new tests

#9 - add validation: host fpu

Issue - State: closed - Opened by florianschanda over 4 years ago
Labels: validation

#8 - add validation: mpfr

Issue - State: closed - Opened by florianschanda over 4 years ago
Labels: validation

#7 - new tests: bitvector -> float

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: new tests

#6 - new tests: real -> float

Issue - State: open - Opened by florianschanda over 4 years ago
Labels: new tests

#5 - New benchmarks

Issue - State: closed - Opened by florianschanda over 4 years ago - 1 comment

#4 - [tcg] support precisions other than Float32

Issue - State: closed - Opened by florianschanda over 7 years ago

#3 - [tcg] rework validation to support float64 as well

Issue - State: closed - Opened by florianschanda over 7 years ago