H herbie.uwplse.org Herbie: Optimize Floating-Point Expressions 78 points todsacerdoti 2 years ago 4 comments
