Mon, 02 Dec 2024 23:39:06 UTC | login

Information for build symfpu-0-0.2.20180523git0444c86.fc29

ID67161
Package Namesymfpu
Version0
Release0.2.20180523git0444c86.fc29
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, 03 Aug 2018 19:20:50 UTC
CompletedFri, 03 Aug 2018 21:05:07 UTC
Taskbuild (f29-candidate, symfpu-0-0.2.20180523git0444c86.fc29.src.rpm)
Tags
f29
f30
RPMs
src
symfpu-0-0.2.20180523git0444c86.fc29.src.rpm (info) (download)
riscv64
symfpu-0-0.2.20180523git0444c86.fc29.riscv64.rpm (info) (download)
symfpu-devel-0-0.2.20180523git0444c86.fc29.riscv64.rpm (info) (download)
symfpu-debuginfo-0-0.2.20180523git0444c86.fc29.riscv64.rpm (info) (download)
symfpu-debugsource-0-0.2.20180523git0444c86.fc29.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