symfpu-0-0.6.20190517gitc3acaf6.fc33 | Build Info

Information for build symfpu-0-0.6.20190517gitc3acaf6.fc33

147594

Package Name

symfpu

Version

Release

0.6.20190517gitc3acaf6.fc33

Epoch

Source

git+https://src.fedoraproject.org/rpms/symfpu.git#052250ee693176def7ae7add8b570f3350984e2b

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).

Built by

davidlt

State

complete

Volume

DEFAULT

Started

Fri, 27 Mar 2020 15:24:22 UTC

Completed

Sat, 28 Mar 2020 12:15:27 UTC

Task

build (f33, /rpms/symfpu.git:052250ee693176def7ae7add8b570f3350984e2b)

Extra

{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/symfpu.git#052250ee693176def7ae7add8b570f3350984e2b'}}

Tags

f33

RPMs

src
	symfpu-0-0.6.20190517gitc3acaf6.fc33.src.rpm (info) (download)
riscv64
	symfpu-0-0.6.20190517gitc3acaf6.fc33.riscv64.rpm (info) (download)
	symfpu-devel-0-0.6.20190517gitc3acaf6.fc33.riscv64.rpm (info) (download)
	symfpu-debuginfo-0-0.6.20190517gitc3acaf6.fc33.riscv64.rpm (info) (download)
	symfpu-debugsource-0-0.6.20190517gitc3acaf6.fc33.riscv64.rpm (info) (download)

Logs

riscv64
	build.log
	hw_info.log
	mock_output.log
	root.log
	state.log

Changelog

* Fri Jan 31 2020 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.6.20190517gitc3acaf6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild * Sat Jul 27 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.5.20190517gitc3acaf6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild * Wed Jun 12 2019 Jerry James <loganjerry@gmail.com> - 0-0.4.20190517gitc3acaf6 - Update to latest git snapshot to fix a CVC4 bug * Sun Feb 03 2019 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.3.20180523git0444c86 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * 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

Main Site Links:

Information for build symfpu-0-0.6.20190517gitc3acaf6.fc33