symfpu-0-0.16.20190517gitc3acaf6.fc40 | Build Info

Information for build symfpu-0-0.16.20190517gitc3acaf6.fc40

301021

Package Name

symfpu

Version

Release

0.16.20190517gitc3acaf6.fc40

Epoch

Source

git+https://src.fedoraproject.org/rpms/symfpu.git#6d57810bde899b0bf1a66123bafcf88d84b3a06f

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

Thu, 21 Mar 2024 19:41:38 UTC

Completed

Fri, 22 Mar 2024 07:43:52 UTC

Task

build (f40, /rpms/symfpu.git:6d57810bde899b0bf1a66123bafcf88d84b3a06f)

Extra

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

Tags

f40

f41

RPMs

src
	symfpu-0-0.16.20190517gitc3acaf6.fc40.src.rpm (info) (download)
riscv64
	symfpu-0-0.16.20190517gitc3acaf6.fc40.riscv64.rpm (info) (download)
	symfpu-devel-0-0.16.20190517gitc3acaf6.fc40.riscv64.rpm (info) (download)
	symfpu-debuginfo-0-0.16.20190517gitc3acaf6.fc40.riscv64.rpm (info) (download)
	symfpu-debugsource-0-0.16.20190517gitc3acaf6.fc40.riscv64.rpm (info) (download)

Logs

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

Changelog

* Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.16.20190517gitc3acaf6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Tue Jan 16 2024 Jerry James <loganjerry@gmail.com> - 0-0.15.20190517gitc3acaf6 - Stop building for 32-bit x86 * Fri Jul 28 2023 Jerry James <loganjerry@gmail.com> - 0-0.15.20190517gitc3acaf6 - Add patch needed by CVC5 * Sat Jul 22 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.14.20190517gitc3acaf6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Sat Jan 21 2023 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.13.20190517gitc3acaf6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Dec 14 2022 Jerry James <loganjerry@gmail.com> - 0-0.12.20190517gitc3acaf6 - Add upstream patch to fix creation of zero-size bitvector - Add patch to avoid infinite recursion - Convert License tag to SPDX * Sat Jul 23 2022 Fedora Release Engineering <releng@fedoraproject.org> - 0-0.11.20190517gitc3acaf6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

Main Site Links:

Information for build symfpu-0-0.16.20190517gitc3acaf6.fc40