4 ms·
Looks quite interesting. Is there a paper/tech report that describes the approach? The website [1] seems to be down at the moment. [1] http://herbie.uwplse.org
by OxO4 11y ago
Looks quite interesting. Is there a paper/tech report that describes the approach? The website [1] seems to be down at the moment.
[1] http://herbie.uwplse.org/ http://herbie.uwplse.org/
- ChristianBundy 11y agoI found this: https://github.com/uwplse/herbie https://github.com/uwplse/herbie
- davmre 11y agoYes, this was a best paper award at PLDI '15: http://homes.cs.washington.edu/~jrw12/herbie.pdf http://homes.cs.washington.edu/~jrw12/herbie.pdf
- deleted 11y ago[deleted]