Pavel Panchekha

This PR moves the preprocessing steps to be part of the code block. However, there's a problem: it only supports TeX output. To support other languages, we'd need to be...

Make infinite floating-point values ordinary

1

This is a big change to how Herbie measures error. **Background**: Herbie measures error by averaging over *valid, samplable* points. A point can be invalid for three reasons: it can...

Not working

3

I got this issue over email a year ago. Well, I'm obviously not working on, let's leave it as an issue instead. It's a pity, it's one of the best...

Remove the retirement community

1

This PR removes the "retirement community" in an alt table. That was added way long ago to deal with the issue of overly-complicated outputs from Herbie. Now that Pherbie is...

I'm not sure why this rule was missing but it seems to cost us in some cases.

This PR is attempting to isolate the sampling code (at least `compile-specs` but ideally also `make-search-func` and `ival-eval`) from Herbie infrastructure, so that it can eventually be moved into Rival....

Kenny found that `cos(3pi/2 - x)` doesn't simplify to `-sin(x)`, even though it should, and looks like that's also present on demo: https://herbie.uwplse.org/demo/47181be56515163c1d89659f8be27513d3f41603.6d367899f2f00931524a4d7b6d68efd5adde08f8/graph.html

Only provide two options from simplify (initial & simplest)

2

This PR basically undoes commit [4e4cda15](https://github.com/herbie-fp/herbie/commit/4e4cda15dedee719eb55596097c9e4bbbecd7cc7) (possibly #485). Basically, right now, simplify returns a list of outputs, one per iter. This is wasteful for a few reasons: - We need...

Segmentation fault on macOS Python 3.12

3

I'm using Python 3.12.3 (installed through Homebrew) on macOS 14.5 and seem to be getting a segmentation fault when trying to import `playsound`: ``` $ python3.12 --version Python 3.12.3 $...