Comment on Herbie: Automatically improve imprecise floating point formulasparentComments−pavpanchekha5moAuthor 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−bee_rider5moNice!What’s uwplse mean? I mixed up the letters and misread it as ulp-wise which works for the project, haha.−pavpanchekha5moUniversity 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
Comments
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
Nice!
What’s uwplse mean? I mixed up the letters and misread it as ulp-wise which works for the project, haha.
University 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