Sun, 26 May 2024 06:55:42 UTC | login

Information for build symfpu-0-0.2.20180523git0444c86.fc30

ID82414
Package Namesymfpu
Version0
Release0.2.20180523git0444c86.fc30
Epoch
SummaryAn implementation of IEEE-754 / SMT-LIB floating-point
DescriptionSymFPU 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).
Built bydavidlt
State complete
Volume DEFAULT
StartedFri, 07 Dec 2018 20:11:51 UTC
CompletedFri, 07 Dec 2018 21:39:55 UTC
Taskbuild (f30-candidate, symfpu-0-0.2.20180523git0444c86.fc30.src.rpm)
Tags
f30
f31
RPMs
src
symfpu-0-0.2.20180523git0444c86.fc30.src.rpm (info) (download)
riscv64
symfpu-0-0.2.20180523git0444c86.fc30.riscv64.rpm (info) (download)
symfpu-devel-0-0.2.20180523git0444c86.fc30.riscv64.rpm (info) (download)
symfpu-debuginfo-0-0.2.20180523git0444c86.fc30.riscv64.rpm (info) (download)
symfpu-debugsource-0-0.2.20180523git0444c86.fc30.riscv64.rpm (info) (download)
Logs
riscv64
build.log
hw_info.log
mock_output.log
root.log
state.log
Changelog * Sat Jul 14 2018 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.2.20180523git0444c86 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Fri Jul 06 2018 Jerry James <loganjerry@gmail.com> - 0-0.1.20180523git0444c86 - Initial RPM