3 ms·
Author here. The speed up is modeled throughput, though the model is relatively naive. It's possible to disable branches by turning off the regimes flag, see ht
by pavpanchekha 6mo ago
Author here. The speed up is modeled throughput, though the model is relatively naive. It's possible to disable branches by turning off the regimes flag, see https://herbie.uwplse.org/doc/1.0/options.html https://herbie.uwplse.org/doc/1.0/options.html
- bee_rider 6mo agoNice! What’s uwplse mean? I mixed up the letters and misread it as ulp-wise which works for the project, haha.
- pavpanchekha 6mo agoUniversity of Washington Programming Languages and Software Engineering (research group). I'm not at UW any more, I'm now at Utah, but some of the Herbie team is at UW and they provide the infrastructure