search

uwplse / herbgrind

A Valgrind tool for Herbie
GNU General Public License v3.0
90 stars 7 forks source link

A question about using Herbgrind to dectect floating-point expression's error #68

Open hpcyhr opened 4 months ago

hpcyhr commented 4 months ago

Hello, our team specializes in floating-point program optimization and analysis. Herbgrind is an excellent job, and recently we have been trying to use it to detect errors in floating-point arithmetic expressions, but we don't know how to modify the source code. For example, we want to detect the maximum error of x1* x2/(x1 * x1 * x2 * x2-1), x1, x2 ∈ [-100000,101] . Can you write a demo for me, telling us how to use Herbgrind to measure the error of floating-point arithmetic expressions? Thank you very much.Best wishs to you!

HazardousPeach commented 4 months ago

This isn't really an "issue", and the author emailed me separately about their request, so I'm closing this.

HazardousPeach commented 4 months ago

Oh wait, I can't close it... Oh well