notbugAs 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 photosAll times are UTC
Ukraine
This referral link gives you 10% off a Fastmail.com account and gives me a discount on my Fastmail account.

Get notified when packages are built

A new feature has been added. FreshPorts already tracks package built by the FreeBSD project. This information is displayed on each port page. You can now get an email when FreshPorts notices a new package is available for something on one of your watch lists. However, you must opt into that. Click on Report Subscriptions on the right, and New Package Notification box, and click on Update.

Finally, under Watch Lists, click on ABI Package Subscriptions to select your ABI (e.g. FreeBSD:14:amd64) & package set (latest/quarterly) combination for a given watch list. This is what FreshPorts will look for.

Port details
symfpu Implementation of IEEE-754 / SMT-LIB floating-point
g20190517 math on this many watch lists=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 g20190517Version 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: 2023-04-18 21:55:30
Commit Hash: d422cb7
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-g20190517/catalog.mk
  2. /usr/local/share/licenses/symfpu-g20190517/LICENSE
  3. /usr/local/share/licenses/symfpu-g20190517/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.
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 = 1672799708 SHA256 (martin-cs-symfpu-g20190517-c3acaf6_GH0.tar.gz) = 3cc3bda6357e98c348abe4b9e72be9ddca918acdcb1f19406e6a35dc939d9f24 SIZE (martin-cs-symfpu-g20190517-c3acaf6_GH0.tar.gz) = 77560

Packages (timestamps in pop-ups are UTC):
symfpu
ABIaarch64amd64armv6armv7i386powerpcpowerpc64powerpc64le
FreeBSD:13:latestg20190517g20190517-g20190517g20190517---
FreeBSD:13:quarterlyg20190517g20190517g20190517g20190517g20190517g20190517g20190517g20190517
FreeBSD:14:latestg20190517g20190517-g20190517g20190517g20190517-g20190517
FreeBSD:14:quarterlyg20190517g20190517-g20190517g20190517g20190517g20190517g20190517
FreeBSD:15:latestg20190517g20190517n/ag20190517n/ag20190517g20190517g20190517
FreeBSD:15:quarterly--n/a-n/a---
Dependencies
NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
Build dependencies:
  1. gmake>=4.3 : devel/gmake
This port is required by:
for Build
  1. 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/c3acaf6?dummy=/
Collapse this list.

Number of commits found: 2

Commit History - (may be incomplete: for full details, see links to repositories near top of page)
CommitCreditsLog message
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: 2