From the team that brought you

Herbgrind

Herbgrind is a dynamic, binary, program analsis to find the root cause of floating point error in large programs. Herbgrind aims to help programmers weed out dubious floating point code from their programs, and have more confidence in their numerical code.

Herbgrind is free software (free as in freedom, but you also don't need to pay anything), and is publicly available on github. It's still a work in progress, and as such will not work on every machine or application. If you'd like to contribute, please get in touch or send a pull request!

News

  • Pavel gave a talk at Dagstuhl 17352 (Analysis and Synthesis of Floating-point Programs) on Herbgrind. Thank you all for the perceptive questions.
  • The Herbgrind website has been moved to herbgrind.ucsd.edu
  • Herbgrind 0.42 Beta is released!
  • Blog Posts About Herbgrind

  • Introducing Herbgrind
  • Herbgrind Part 1: The Float Machine
  • Herbgrind Part 2: The Real Machine
  • Herbgrind Part 3: The Localizing Machine
  • Herbgrind Part 4: The Symbolic Machine
  • Herbgrind Part 5: Building a 'Grind
  • Herbgrind Part 6: Let's Get Real
  • Herbgrind Part 7: What About Square Root?
  • Herbgrind Part 8: The Local Machine In Practice