-1651692341 | | Tools for the FPBench numerical software standards (more info at http://fpbench.org/) This package needs documentation | succeeds | 3 |
-1635658901 | | Alternative MPFR interface for emulating IEEE-754 floating-point numbers | succeeds | 0 |
-1655053031 | | A tool for automatically improving the accuracy of floating point expressions This package needs documentation | fails | 5 |
-1656465408 | | Interval analysis for real computation | fails | 5 |
-1655097428 | | SoftPosit support for Herbie This package needs documentation | fails | 5 |