Eiffel

Eiffel is a tool used to detect significant floating-point errors. Instead of search such significant floating-point errors, Eiffel infers the input ranges that triggers such errors via polynomial extrapolation. The input ranges inferred by Eiffel can work with program rewrite engines like Herbie.

The architecture decipts how Eiffel works, and the open-source repository is available at GitHub maintained by the primary author Zuoyan Zhang. The related paper was published and presented at ASE 2023.