danielschemmel / fp-benchmarks-aachen

danielschemmel/fp-benchmarks-aachen Issues

sqr_ family of benchmarks incorrect
Closed 7 years ago2
syn/atof_default.x86_64 is incorrect despite the spec saying it should be correct
Closed 8 years ago2
`ld-unnormal` requires more investigation
Closed 8 years ago4
`ld-unnormal_default.x86_64` is mis-compiled by Clang when optimizations are enabled
Closed 8 years ago1
Ninja & GMP
Closed 8 years ago2
Mistakes in `aachen/syn/sqr/spec.yml`
Closed 8 years ago4
The specification for `real/sorting_doubles` is incorrect.
Closed 8 years ago4
klee_assume(f == f) is not a good way to ignore paths where symbolics are NaN
Closed 8 years ago4
gmp_klee_inv_arg.x86_64 crashes KLEE by calling `raise()`
Closed 8 years ago1