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

fails5

rival

Interval analysis for real computation

Docs:
fails5

softposit-herbie

SoftPosit support for Herbie

This package needs documentation

fails5