4 ms·Herbie 1.0 released (automatically improve floating point accuracy)4 points by pavpanchekha 10y ago