Main Site Links:

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

Information for RPM symfpu-0-0.2.20180523git0444c86.fc30.riscv64.rpm

ID	308596
Name	symfpu
Version	0
Release	0.2.20180523git0444c86.fc30
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	2018-12-07 12:38:46 GMT
Size	24.77 KB
SIGMD5	281e96c64313482a7bb1bfe15991aab8
License	GPLv3+
Buildroot	f30-build-38668-22239
Provides	libsymfpu.so.0()(64bit) symfpu = 0-0.2.20180523git0444c86.fc30 symfpu(riscv-64) = 0-0.2.20180523git0444c86.fc30
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(PayloadIsXz) <= 5.2-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/bf 0.00 B /usr/lib/.build-id/bf/3cbc3211121b9a6269e83707709c38dff7eeed 40.00 B /usr/lib64/libsymfpu.so.0 18.00 B /usr/lib64/libsymfpu.so.0.0.0 10.34 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