Index | index by Group | index by Distribution | index by Vendor | index by creation date | index by Name | Mirrors | Help | Search |
Name: abc | Distribution: Fedora Project |
Version: 1.01 | Vendor: Fedora Project |
Release: 40.git20230708.fc38 | Build date: Wed Aug 2 18:37:53 2023 |
Group: Unspecified | Build host: buildvm-a64-21.iad2.fedoraproject.org |
Size: 211413 | Source RPM: abc-1.01-40.git20230708.fc38.src.rpm |
Packager: Fedora Project | |
Url: https://people.eecs.berkeley.edu/~alanmi/abc/abc.htm | |
Summary: Sequential logic synthesis and formal verification |
ABC 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.
MIT-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause
* Sun Jul 30 2023 Gabriel Somlo <gsomlo@gmail.com> - 1.01-40.git20230708 - Apply patch from yosyshq to fix yosys FTBFS (#2226521) * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-39.git20230708 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Fri Jul 14 2023 Jerry James <loganjerry@gmail.com> - 1.01-38.git20230708 - Update to latest git snapshot - Drop upstreamed patches: overflow, use-after-free * Wed Jan 18 2023 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-37.git20221229 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Tue Jan 17 2023 Jerry James <loganjerry@gmail.com> - 1.01-36.git20221229 - Update to latest git snapshot - Add -use-after-free, -null-fprintf, and -weaken-assert patches - Minor spec file cleanups * 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
/usr/bin/abc /usr/lib/.build-id /usr/lib/.build-id/72 /usr/lib/.build-id/72/1990d9b1da3896e2a96a7a1263c9b63b57ab94 /usr/share/doc/abc /usr/share/doc/abc/README.md /usr/share/doc/abc/readmeaig /usr/share/man/man1/abc.1.gz
Generated by rpm2html 1.8.1
Fabrice Bellet, Fri May 3 00:49:05 2024