Sun, 22 Dec 2024 03:45:58 UTC | login

Information for build gappa-1.4.1-2.fc38

ID240606
Package Namegappa
Version1.4.1
Release2.fc38
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/gappa.git#2d528872396d5b083d2352d53e2bbe8ef733876d
SummaryProve programs with floating-point or fixed-point arithmetic
DescriptionGappa is a tool intended to help verifying and formally prove properties on numerical programs and circuits handling floating-point or fixed-point arithmetic. This tool manipulates logical formulas stating the enclosures of expressions in some intervals. Through the use of rounding operators as part of the expressions, Gappa is specially designed to deal with formulas that could appear when certifying numerical codes. In particular, Gappa makes it simple to bound computational errors due to floating-point arithmetic. The tool and its documentation were written by Guillaume Melquiond.
Built bydavidlt
State complete
Volume DEFAULT
StartedFri, 17 Mar 2023 07:36:54 UTC
CompletedFri, 17 Mar 2023 09:46:53 UTC
Taskbuild (f38, /rpms/gappa.git:2d528872396d5b083d2352d53e2bbe8ef733876d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/gappa.git#2d528872396d5b083d2352d53e2bbe8ef733876d'}}
Tags
f38
f39
f40
RPMs
src
gappa-1.4.1-2.fc38.src.rpm (info) (download)
noarch
gappa-doc-1.4.1-2.fc38.noarch.rpm (info) (download)
riscv64
gappa-1.4.1-2.fc38.riscv64.rpm (info) (download)
gappa-debuginfo-1.4.1-2.fc38.riscv64.rpm (info) (download)
gappa-debugsource-1.4.1-2.fc38.riscv64.rpm (info) (download)
Logs
riscv64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Aug 10 2022 Jerry James <loganjerry@gmail.com> - 1.4.1-1 - Version 1.4.1 - Use SPDX license names - Add a doc subpackage * Thu Jul 21 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Thu Jan 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.4.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Tue Oct 19 2021 Jerry James <loganjerry@gmail.com> - 1.4.0-1 - Version 1.4.0 - Drop upstreamed -gcc11 patch * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.5-9 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.3.5-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild