Sat, 20 Jul 2019 15:34:02 UTC

Information for build symfpu-0-0.4.20190517gitc3acaf6.fc30

ID1286874
Package Namesymfpu
Version0
Release0.4.20190517gitc3acaf6.fc30
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/symfpu.git#92420347c73d306ebd67fdfa9473775f35b62b48
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 byjjames
State complete
Volume DEFAULT
StartedThu, 13 Jun 2019 02:45:58 UTC
CompletedThu, 13 Jun 2019 05:02:50 UTC
Taskbuild (f30-candidate, /rpms/symfpu.git:92420347c73d306ebd67fdfa9473775f35b62b48)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/symfpu.git#92420347c73d306ebd67fdfa9473775f35b62b48'}}
Tags
f30-updates
RPMs
src
symfpu-0-0.4.20190517gitc3acaf6.fc30.src.rpm (info) (download)
aarch64
symfpu-0-0.4.20190517gitc3acaf6.fc30.aarch64.rpm (info) (download)
symfpu-devel-0-0.4.20190517gitc3acaf6.fc30.aarch64.rpm (info) (download)
symfpu-debuginfo-0-0.4.20190517gitc3acaf6.fc30.aarch64.rpm (info) (download)
symfpu-debugsource-0-0.4.20190517gitc3acaf6.fc30.aarch64.rpm (info) (download)
armv7hl
symfpu-0-0.4.20190517gitc3acaf6.fc30.armv7hl.rpm (info) (download)
symfpu-devel-0-0.4.20190517gitc3acaf6.fc30.armv7hl.rpm (info) (download)
symfpu-debuginfo-0-0.4.20190517gitc3acaf6.fc30.armv7hl.rpm (info) (download)
symfpu-debugsource-0-0.4.20190517gitc3acaf6.fc30.armv7hl.rpm (info) (download)
i686
symfpu-0-0.4.20190517gitc3acaf6.fc30.i686.rpm (info) (download)
symfpu-devel-0-0.4.20190517gitc3acaf6.fc30.i686.rpm (info) (download)
symfpu-debuginfo-0-0.4.20190517gitc3acaf6.fc30.i686.rpm (info) (download)
symfpu-debugsource-0-0.4.20190517gitc3acaf6.fc30.i686.rpm (info) (download)
ppc64le
symfpu-0-0.4.20190517gitc3acaf6.fc30.ppc64le.rpm (info) (download)
symfpu-devel-0-0.4.20190517gitc3acaf6.fc30.ppc64le.rpm (info) (download)
symfpu-debuginfo-0-0.4.20190517gitc3acaf6.fc30.ppc64le.rpm (info) (download)
symfpu-debugsource-0-0.4.20190517gitc3acaf6.fc30.ppc64le.rpm (info) (download)
s390x
symfpu-0-0.4.20190517gitc3acaf6.fc30.s390x.rpm (info) (download)
symfpu-devel-0-0.4.20190517gitc3acaf6.fc30.s390x.rpm (info) (download)
symfpu-debuginfo-0-0.4.20190517gitc3acaf6.fc30.s390x.rpm (info) (download)
symfpu-debugsource-0-0.4.20190517gitc3acaf6.fc30.s390x.rpm (info) (download)
x86_64
symfpu-0-0.4.20190517gitc3acaf6.fc30.x86_64.rpm (info) (download)
symfpu-devel-0-0.4.20190517gitc3acaf6.fc30.x86_64.rpm (info) (download)
symfpu-debuginfo-0-0.4.20190517gitc3acaf6.fc30.x86_64.rpm (info) (download)
symfpu-debugsource-0-0.4.20190517gitc3acaf6.fc30.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
build.log
state.log
root.log
mock_output.log
ppc64le
hw_info.log
root.log
state.log
build.log
mock_output.log
aarch64
hw_info.log
root.log
state.log
build.log
mock_output.log
i686
build.log
root.log
state.log
hw_info.log
mock_output.log
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
armv7hl
root.log
state.log
build.log
hw_info.log
mock_output.log
Changelog * 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