3 ms·
Here is a really cool automatic tool that rewrites floating point expressions to be more accurate: https://herbie.uwplse.org/ https://herbie.uwplse.org/
by montecarl 4y ago
Here is a really cool automatic tool that rewrites floating point expressions to be more accurate: https://herbie.uwplse.org/ https://herbie.uwplse.org/