logoalt Hacker News

bee_rideryesterday at 2:32 AM1 replyview on HN

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?


Replies

pavpanchekhayesterday at 2:01 PM

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

show 1 reply