danielschemmel/fp-benchmarks-aachen

Issues

• sqr_ family of benchmarks incorrect

  #22 opened 7 years ago by delcypher
  2

• syn/atof_default.x86_64 is incorrect despite the spec saying it should be correct

  #18 opened 8 years ago by delcypher
  2

• `ld-unnormal` requires more investigation

  #16 opened 8 years ago by delcypher
  4

• `ld-unnormal_default.x86_64` is mis-compiled by Clang when optimizations are enabled

  #14 opened 8 years ago by delcypher
  1

• Ninja & GMP

  #13 opened 8 years ago by danielschemmel
  2

• Mistakes in `aachen/syn/sqr/spec.yml`

  #11 opened 8 years ago by delcypher
  4

• klee_assume(f == f) is not a good way to ignore paths where symbolics are NaN

  #7 opened 8 years ago by delcypher
  4

• The specification for `real/sorting_doubles` is incorrect.

  #10 opened 8 years ago by delcypher
  4

• gmp_klee_inv_arg.x86_64 crashes KLEE by calling `raise()`

  #4 opened 8 years ago by delcypher
  1