| Port details |
- symfpu Implementation of IEEE-754 / SMT-LIB floating-point
- g20190517 math
 =2      g20190517Version of this port present on the latest quarterly branch. - Maintainer: yuri@FreeBSD.org
- Port Added: 2023-01-04 10:54:24
- Last Update: 2023-04-18 21:55:30
- Commit Hash: d422cb7
- People watching this port, also watch:: jdictionary, py311-Automat, py311-python-gdsii, py39-PyOpenGL, p5-Sane
- 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).
  ¦  ¦  ¦  ¦ 
- Manual pages:
- FreshPorts has no man page information for this port.
- pkg-plist: as obtained via:
make generate-plist - Dependency lines:
-
- 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):
- Dependencies
- NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.
- Build dependencies:
-
- gmake>=4.3 : devel/gmake
- This port is required by:
- for Build
-
- math/bitwuzla
- 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:
|
Number of commits found: 2
| Commit History - (may be incomplete: for full details, see links to repositories near top of page) |
| Commit | Credits | Log message |
|---|
g20190517
18 Apr 2023 21:55:30
 |
Robert Clausecker (fuz) |
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
|
Yuri Victorovich (yuri) |
math/symfpu: New port: Implementation of IEEE-754 / SMT-LIB floating-point |
Number of commits found: 2
|
As an Amazon Associate I earn from qualifying purchases.