math/symfpu g20260513
Implementation of IEEE-754 / SMT-LIB floating-point
- Repository
- FreeBSD ports
- Maintainer
- [email protected]
- Last update
- Commit
34c021a96e- License
- GPLv3
- Categories
- math
- Package size
- 38.9 KiB, 186.5 KiB installed
Description
SymFPU is an implementation of the SMT-LIB / IEEE-754 operations in terms of bit-vector operations. It is templated in terms of the bit-vectors, propositions, floating-point formats and rounding mode types used. This allow the same code to be executed as an arbitrary precision "SoftFloat" library (although it's performance would not be good) or to be used to build symbolic representation of floating-point operations suitable for use in "bit-blasting" SMT solvers (you could also generate circuits from them but again, performance will likely not be good).
Install
As a binary package — by origin, or by package name:
pkg install math/symfpu
pkg install symfpuFrom the ports tree:
cd /usr/ports/math/symfpu/ && make install cleanTo depend on this port in another port's Makefile:
RUN_DEPENDS= symfpu>0:math/symfpuPackages
The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.
| Repository | aarch64 | amd64 | armv6 | armv7 | i386 |
|---|---|---|---|---|---|
| FreeBSD:14:latest | g20260513 | g20260513 | - | g20190517 | g20260513 |
| FreeBSD:14:quarterly | g20260513 | g20260513 | n/a | g20190517 | g20260513 |
| FreeBSD:15:latest | g20260513 | g20260513 | n/a | g20190517 | g20190517 |
| FreeBSD:15:quarterly | g20260513 | g20260513 | n/a | n/a | n/a |
| FreeBSD:16:latest | g20260513 | g20260513 | n/a | n/a | n/a |
| FreeBSD:16:quarterly | n/a | n/a | n/a | n/a | n/a |
Dependencies
The Makefile names none itself; they come from USES and USE_*.
The full lists below include those, and their dependencies in turn.
All build dependencies 3
Required by 2
Configuration
No options to configure.
- USES
- gmake
- Service scripts
- none
Files
pkg-plist 19
- include/symfpu/core/add.h
- include/symfpu/core/classify.h
- include/symfpu/core/compare.h
- include/symfpu/core/convert.h
- include/symfpu/core/divide.h
- include/symfpu/core/fma.h
- include/symfpu/core/ite.h
- include/symfpu/core/multiply.h
- include/symfpu/core/operations.h
- include/symfpu/core/packing.h
- include/symfpu/core/remainder.h
- include/symfpu/core/rounder.h
- include/symfpu/core/sign.h
- include/symfpu/core/sqrt.h
- include/symfpu/core/unpackedFloat.h
- include/symfpu/utils/common.h
- include/symfpu/utils/numberOfRoundingModes.h
- include/symfpu/utils/properties.h
- lib/symfpu.a
distinfo 1
| File | Size | SHA256 |
|---|---|---|
| martin-cs-symfpu-g20260513-40bdec00e99f8ea1b96c3dac0a05eed11c541639_GH0.tar.gz | 81196 | ba17877fbf0c851e113fddaab225152f1c0b2044429396b56b2f113832e36ce5 |