C library for arbitrary-precision interval arithmetic
MPFI is a portable C library for arbitrary-precision interval arithmetic, with intervals represented using MPFR reliable floating-point numbers. It's based on the GMP and GNU MPFR libraries.
The purpose of arbitrary-precision interval arithmetic is to get results that are both guaranteed, thanks to interval computation, and accurate, thanks to multiple-precision arithmetic.
System | Target | Derivation | Build status |
---|---|---|---|
x86_64-linux | /gnu/store/9zzbj5yc4zda7ydhzxzkybsvan0kzj7g-mpfi-1.5.4.drv | ||
x86_64-linux | i586-pc-gnu | /gnu/store/25qmizg0b4p0pqf7kfsxkhcnkrq6g40n-mpfi-1.5.4.drv | |
x86_64-linux | arm-linux-gnueabihf | /gnu/store/ncjayjnybnzbmdvdjjb72hjzmjg006d8-mpfi-1.5.4.drv | |
x86_64-linux | aarch64-linux-gnu | /gnu/store/iqal0gdzpbbz5k15fkdcsnq0yxgw1n6i-mpfi-1.5.4.drv | |
riscv64-linux | /gnu/store/gwn54pygqaiq7qyv80p5qyll45vr0sfy-mpfi-1.5.4.drv | ||
powerpc-linux | /gnu/store/qf49qzjhazidp6ai8m21hjmhms3x5l8k-mpfi-1.5.4.drv | ||
powerpc64le-linux | /gnu/store/ls5xx8zix7zwp6qdzk1yckgi3rvhjkpx-mpfi-1.5.4.drv | ||
mips64el-linux | /gnu/store/x7nyqa68wwkjlprkk899b04szyavrxn2-mpfi-1.5.4.drv | ||
i686-linux | /gnu/store/xr1nr3mvwv76lgkqi5fqs9d880h451gf-mpfi-1.5.4.drv | ||
i586-gnu | /gnu/store/y649iyifz7fq9j27ga6vgz83qi047pf0-mpfi-1.5.4.drv | ||
armhf-linux | /gnu/store/v2drdnv9jwwafzwpvz4r2ws8g9mcc387-mpfi-1.5.4.drv | ||
aarch64-linux | /gnu/store/b0fsngp93w7lk73dqpzfzi5qsdm972z9-mpfi-1.5.4.drv |
Linter | Message | Location |
---|---|---|
input-labels Identify input labels that do not match package names | label 'autoreconf' does not match package name 'autoconf' |