As an Amazon Associate I earn from qualifying purchases.
Want a good read? Try FreeBSD Mastery: Jails (IT Mastery Book 15)
Want a good monitor light? See my photos
All times are UTCnotbug
Ukraine
Menu ☰ Menu
Search engines are not blocked. Try using "site:www.freshports.org" and your search terms.
Volunteers wanted to help translate FreshPorts
Searches without login should now work. You must get asked to click a button.
Port details
symfpu Implementation of IEEE-754 / SMT-LIB floating-point
1.2.0 math Σ=0 search for ports that depend on this port Find issues related to this port Report an issue related to this port View this port on Repology. pkg-fallout g20260513Version of this port present on the latest quarterly branch.
Maintainer: yuri@FreeBSD.org search for ports maintained by this maintainer
Port Added: 2023-01-04 10:54:24
Last Update: 2026-10-22 07:52:13
Commit Hash: 682b2cf
License: GPLv3
WWW:
https://github.com/martin-cs/symfpu
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).
Homepage    cgit ¦ Codeberg ¦ GitHub ¦ GitLab ¦ SVNWeb - no subversion history for this port

Manual pages: #
FreshPorts has no man page information for this port.
pkg-plist: as obtained via: make generate-plist #
Expand this list (25 items)
Collapse this list.
  1. /usr/local/share/licenses/symfpu-1.2.0/catalog.mk
  2. /usr/local/share/licenses/symfpu-1.2.0/LICENSE
  3. /usr/local/share/licenses/symfpu-1.2.0/GPLv3
  4. include/symfpu/core/add.h
  5. include/symfpu/core/classify.h
  6. include/symfpu/core/compare.h
  7. include/symfpu/core/convert.h
  8. include/symfpu/core/divide.h
  9. include/symfpu/core/fma.h
  10. include/symfpu/core/ite.h
  11. include/symfpu/core/multiply.h
  12. include/symfpu/core/operations.h
  13. include/symfpu/core/packing.h
  14. include/symfpu/core/remainder.h
  15. include/symfpu/core/rounder.h
  16. include/symfpu/core/sign.h
  17. include/symfpu/core/sqrt.h
  18. include/symfpu/core/unpackedFloat.h
  19. include/symfpu/utils/common.h
  20. include/symfpu/utils/numberOfRoundingModes.h
  21. include/symfpu/utils/properties.h
  22. lib/symfpu.a
  23. @owner
  24. @group
  25. @mode
Collapse this list.
USE_RC_SUBR (Service Scripts)
  • no SUBR information found for this port
Dependency lines:
  • symfpu>0:math/symfpu
To install the port: #
cd /usr/ports/math/symfpu/ && make install clean
To add the package, run one of these commands:
  • pkg install math/symfpu
  • pkg install symfpu
NOTE: If this package has multiple flavors (see below), then use one of them instead of the name specified above.
PKGNAME: symfpu
Flavors: there is no flavor information for this port. #
distinfo: #
TIMESTAMP = 1792650556 SHA256 (martin-cs-symfpu-symfpu-1.2.0-dual-license_GH0.tar.gz) = 0026c726b52e795d5732c642f0a78b0ec005fd070ba2fa6ca47ade311d37e28c SIZE (martin-cs-symfpu-symfpu-1.2.0-dual-license_GH0.tar.gz) = 81162
Packages (timestamps in pop-ups are UTC): #
symfpu
ABIaarch64amd64armv6armv7i386
FreeBSD:14:latestg20260513g20260513-g20190517g20260513
FreeBSD:14:quarterlyg20260513g20260513-g20190517g20260513
FreeBSD:15:latestg20260513g20260513n/ag20190517n/a
FreeBSD:15:quarterlyg20260513g20260513n/a-n/a
FreeBSD:16:latestg20260513g20260513n/a-n/a
Dependencies #
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies: #
  1. gmake>=4.4.1 : devel/gmake
This port is required by: #
for Build #
  1. math/bitwuzla
  2. math/cvc5
Configuration Options: #
No options to configure
Options name: #
math_symfpu
USES: #
gmake
FreshPorts was unable to extract/find any pkg message #
Master Sites: #
Expand this list (1 items)
Collapse this list.
  1. https://codeload.github.com/martin-cs/symfpu/tar.gz/symfpu-1.2.0-dual-license?dummy=/
Collapse this list.

Number of commits found: 4 #

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
1.2.0
22 Oct 2026 07:52:13
commit hash: 682b2cf68293484b6be61334bbc07d2885aa7a3ccommit hash: 682b2cf68293484b6be61334bbc07d2885aa7a3ccommit hash: 682b2cf68293484b6be61334bbc07d2885aa7a3ccommit hash: 682b2cf68293484b6be61334bbc07d2885aa7a3c files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/symfpu: update g20260513 → 1.2.0
g20260513
20 Sep 2026 18:16:46
commit hash: 34c021a96ea125b5bcd062973f8b48ac61d783d6commit hash: 34c021a96ea125b5bcd062973f8b48ac61d783d6commit hash: 34c021a96ea125b5bcd062973f8b48ac61d783d6commit hash: 34c021a96ea125b5bcd062973f8b48ac61d783d6 files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/symfpu: update g20190517 → g20260513
g20190517
18 Apr 2023 21:55:30
commit hash: d422cb7e4a2a459719a4c4e1b28c0ee4416e4765commit hash: d422cb7e4a2a459719a4c4e1b28c0ee4416e4765commit hash: d422cb7e4a2a459719a4c4e1b28c0ee4416e4765commit hash: d422cb7e4a2a459719a4c4e1b28c0ee4416e4765 files touched by this commit		 Robert Clausecker (fuz) search for other commits by this committer 
math/symfpu: fix build on non-x86

Only supply x86-specific CXXFLAGS on i386 and amd64.

Approved by:	portmgr (build fix blanket)
g20190517
04 Jan 2023 10:51:59
commit hash: 0ce58718554603ba9b178a44857e3b088ed0bb0fcommit hash: 0ce58718554603ba9b178a44857e3b088ed0bb0fcommit hash: 0ce58718554603ba9b178a44857e3b088ed0bb0fcommit hash: 0ce58718554603ba9b178a44857e3b088ed0bb0f files touched by this commit		 Yuri Victorovich (yuri) search for other commits by this committer 
math/symfpu: New port: Implementation of IEEE-754 / SMT-LIB floating-point

Number of commits found: 4

Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
Security Policy
Privacy
Blog
Contact

Latest Vulnerabilities
nodeOct 24
node22Oct 24
node24Oct 24
node26Oct 24
ca_root_nssOct 23
gitlabOct 23
mailpitOct 23
vifmOct 23
brotliOct 22
chromiumOct 22
jackson-coreOct 22
jackson-databindOct 22
jackson-databindOct 22
keycloakOct 22
ungoogled-chromiumOct 22

43 vulnerabilities affecting 534 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last processed:
2026-10-24 17:59:14 UTC


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)

Calculated hourly:
Port count 35317
Broken 62
Deprecated 347
Ignore 183
Forbidden 0
Restricted 1
No CDROM 1
Vulnerable 46
Expired 17
Set to expire 272
Interactive 0
new 24 hours 1
new 48 hours9
new 7 days64
new fortnight128
new month233
Servers and bandwidth provided by
New York Internet, iXsystems, and RootBSD 		Valid HTML, CSS, and RSS. Copyright © 2000-2026 Dan Langille. All rights reserved.