1 2 3 4 5 6 7 8 9
* Not really Herbie-related, but it would be nice to warn about * non-use of sin_cos and such * ln(foo)/ln(base) → log(foo, base) * non-use of to_degrees and to_radians * https://github.com/uwplse/herbie/issues/84 FAQ: * Why does it need a database?