Herbie: Difference between revisions
Jump to navigation
Jump to search
Content added Content deleted
(new page) |
(No difference)
|
Latest revision as of 05:57, 8 June 2021
"Herbie rewrites floating point expressions to make them more accurate. Floating point arithmetic is inaccurate; even 0.1 + 0.2 ≠ 0.3 for a computer. Herbie helps find and fix these mysterious inaccuracies."