BSD Ports

math/symfpu 1.2.0 NetBSD

Implementation of IEEE-754 / SMT-LIB floating-point

System
NetBSD
Repository
pkgsrc
Maintainer
[email protected]
Port added
Last update
Commit
0ecf291ab0
License
modified-bsd OR gnu-gpl-v3
Categories
math
Package size
37.7 KiB, 183.8 KiB installed

Description

SymFPU is an implementation of the SMT-LIB theory of (IEEE-754) floating-point in terms of bit-vector operations. It is templated in terms of the bit-vectors, propositions, floating-point formats and rounding mode types used.

In the other systems

SystemPortVersion
NetBSDmath/symfpu1.2.0
FreeBSDmath/symfpu1.2.0
DragonFlymath/symfpug20190517
HardenedBSDmath/symfpug20260513
GhostBSDmath/symfpug20260513

Install

Binary package:

pkgin install symfpu

From pkgsrc:

cd /usr/pkgsrc/math/symfpu && make install clean

Packages

The version each package repository carries. “-” means the repository builds no package of it, “n/a” that there is no such repository.

RepositoryVersion
NetBSD 10.1 x86_641.2.0
NetBSD 10.1 aarch64-
SmartOS / illumos x86_641.2.0
macOS 15 arm64-

Dependencies

Required by 1

Commit history 1

DateCommitCreditsLog message
0ecf291ab0 alnsn Initial import of math/symfpu version 1.2.0.
SymFPU is an implementation of the SMT-LIB theory of (IEEE-754) floating-point in terms of bit-vector operations. It is templated in terms of the bit-vectors, propositions, floating-point formats and rounding mode types used.