Compiler-Assisted Floating-Point Error Analysis and Profiling with FPChecker

2 comments

• AlotOfReading 45 minutes ago
  FPChecker looks very cool. I wish the exponent graph had the option to show base 2 though, so it's slightly easier to map it back to the underlying float representation.
• gct 1 hour ago
  Is there actually video of the talk?