Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM symfpu-0-0.4.20190517gitc3acaf6.fc31.riscv64.rpm

ID	387114
Name	symfpu
Version	0
Release	0.4.20190517gitc3acaf6.fc31
Epoch
Arch	riscv64
Summary	An implementation of IEEE-754 / SMT-LIB floating-point
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).
Build Time	2019-07-26 03:52:42 GMT
Size	26.10 KB
SIGMD5	4a60d3cdf32010c5ac7044a0fcfb19ee
License	GPLv3+
Buildroot	f31-build-54405-27997
Provides	libsymfpu.so.0()(64bit) symfpu = 0-0.4.20190517gitc3acaf6.fc31 symfpu(riscv-64) = 0-0.4.20190517gitc3acaf6.fc31
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	ld-linux-riscv64-lp64d.so.1()(64bit) ld-linux-riscv64-lp64d.so.1(GLIBC_2.27)(64bit) libc.so.6()(64bit) libc.so.6(GLIBC_2.27)(64bit) rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(PayloadIsZstd) <= 5.4.18-1 rtld(GNU_HASH)
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 9 of 9 Name Size /usr/lib/.build-id 0.00 B /usr/lib/.build-id/f8 0.00 B /usr/lib/.build-id/f8/6631b3290e5bbf20e3bf4549265acf22d60466 40.00 B /usr/lib64/libsymfpu.so.0 18.00 B /usr/lib64/libsymfpu.so.0.0.0 11.02 KB /usr/share/doc/symfpu 0.00 B /usr/share/doc/symfpu/README.md 2.84 KB /usr/share/licenses/symfpu 0.00 B /usr/share/licenses/symfpu/LICENSE 34.32 KB
Component of	No Buildroots