Thu, 29 Feb 2024 15:52:20 CST | login

Information for build abc-1.01-35.git20220731.fc37

ID12051
Package Nameabc
Version1.01
Release35.git20220731.fc37
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/abc.git#788a145c2e373b8b755dae4ee9d711eaa57ff417
SummarySequential logic synthesis and formal verification
DescriptionABC is a growing software system for synthesis and verification of binary sequential logic circuits appearing in synchronous hardware designs. ABC combines scalable logic optimization based on And-Inverter Graphs (AIGs), optimal-delay DAG-based technology mapping for look-up tables and standard cells, and innovative algorithms for sequential synthesis and verification. ABC provides an experimental implementation of these algorithms and a programming environment for building similar applications. Future development will focus on improving the algorithms and making most of the packages stand-alone. This will allow the user to customize ABC for their needs as if it were a toolbox rather than a complete tool.
Built bykojiadmin
State complete
Volume DEFAULT
StartedFri, 20 Jan 2023 10:59:23 CST
CompletedFri, 20 Jan 2023 11:58:49 CST
Taskbuild (f37-build-side-32-misc-devel, /rpms/abc.git:788a145c2e373b8b755dae4ee9d711eaa57ff417)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/abc.git#788a145c2e373b8b755dae4ee9d711eaa57ff417'}}
Tags
f37-build-side-32-misc-devel
f37-updates
RPMs
src
abc-1.01-35.git20220731.fc37.src.rpm (info) (download)
riscv64
abc-1.01-35.git20220731.fc37.riscv64.rpm (info) (download)
abc-devel-1.01-35.git20220731.fc37.riscv64.rpm (info) (download)
abc-libs-1.01-35.git20220731.fc37.riscv64.rpm (info) (download)
abc-debuginfo-1.01-35.git20220731.fc37.riscv64.rpm (info) (download)
abc-debugsource-1.01-35.git20220731.fc37.riscv64.rpm (info) (download)
abc-libs-debuginfo-1.01-35.git20220731.fc37.riscv64.rpm (info) (download)
Logs
riscv64
state.log
installed_pkgs.log
build.log
hw_info.log
root.log
mock_output.log
Changelog * Mon Aug 01 2022 Jerry James <loganjerry@gmail.com> - 1.01-35.git20220731 - Update to latest git snapshot - Convert License field to SPDX * Wed Jul 20 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-34.git20211229 - Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild * Wed Jan 19 2022 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-33.git20211229 - Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild * Mon Jan 17 2022 Jerry James <loganjerry@gmail.com> - 1.01-32.git20211229 - Update to latest git snapshot - Drop upstreamed -strict-aliasing patch * Wed Jul 21 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-31.git20210328 - Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild * Wed Mar 31 2021 Jerry James <loganjerry@gmail.com> - 1.01-30.git20210328 - Update to latest git snapshot - Add patches: -strict-aliasing, -overflow - Avoid bogus rpaths * Mon Jan 25 2021 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-29.git20201126 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Thu Nov 26 2020 Gabriel Somlo <gsomlo@gmail.com> - 1.01-28.git20201126 - Update to latest git snapshot