New gappa preprint was posted.
Florent De Dinechin, Christoph Quirin Lauter, Guillaume Melquiond
Certifying floating-point implementations using Gappa
I’m planning to combine gappa with my MUDA language for verified and accurate floating point computation.
But gappa is designed for scalar fp code, while MUDA is for vector fp code.
I have to find a way to solve this scalar-vector problem 😉