3 ms·
I wonder, is there a way to only request reformulations that don’t involve branches? The tool already seems quite nice, but that might be a good feature. Also,
by bee_rider 7mo ago
I wonder, is there a way to only request reformulations that don’t involve branches? The tool already seems quite nice, but that might be a good feature.
Also, I’m not sure I understand the speedup. Is it latency or throughput?
- pavpanchekha 7mo agoAuthor 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 7mo agoNice! What’s uwplse mean? I mixed up the letters and misread it as ulp-wise which works for the project, haha.
- pavpanchekha 7mo 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