fpbench

Tools for the FPBench numerical software standards (more info at http://fpbench.org/)