Herbie 1.1: automatically improve accuracy of floating-point expressionsherbie.uwplse.org·8 pts·pavpanchekha·0
Herbie 1.0 released (automatically improve floating point accuracy)herbie.uwplse.org·4 pts·pavpanchekha·0