herbie-fp/rival

Issues

• Error instead of hang on in correct formatted syntax.

  #80 opened 2 months ago by zaneenders
  0

• Some issue with `set-precision` and `eval`

  #70 opened 5 months ago by pavpanchekha
  0

• CI issue in lgamma

  #64 opened 5 months ago by pavpanchekha
  0

• Failure from the tests

  #51 opened 5 months ago by pavpanchekha
  0

• Test failure for `pow`

  #55 opened 5 months ago by pavpanchekha
  2

• Optimize `eppow` movability flag setting

  #38 opened 5 months ago by pavpanchekha
  0

• Failed test for `pow`

  #43 opened 5 months ago by pavpanchekha
  1

• Issue from a random test

  #29 opened 6 months ago by pavpanchekha
  0

• Point interval input resulting in broader output interval?

  #9 opened 2 years ago by etiennebirling
  2

• soundness problem?

  #8 opened 2 years ago by etiennebirling
  2

• mk-ival: "cannot reference an identifier before its definition"

  #6 opened 3 years ago by postmath
  2