Search Package Index

5 packages found

 PackageDescriptionBuild 

fpbench

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

This package needs documentation

succeeds3

generic-flonum

Alternative MPFR interface for emulating IEEE-754 floating-point numbers

succeeds0

herbie

A tool for automatically improving the accuracy of floating point expressions

This package needs documentation

succeeds; has conflicts; has dependency problems; has failing tests4

rival

Interval analysis for real computation

This package needs documentation

succeeds; has failing tests4

softposit-herbie

SoftPosit support for Herbie

This package needs documentation

fails5