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?
Also, I’m not sure I understand the speedup. Is it latency or throughput?
What’s uwplse mean? I mixed up the letters and misread it as ulp-wise which works for the project, haha.
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