Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

abc-1.01-30.git20210328.fc34 RPM for s390x

From Fedora 34 for s390x / a

Name: abc Distribution: Fedora Project
Version: 1.01 Vendor: Fedora Project
Release: 30.git20210328.fc34 Build date: Thu Apr 1 17:54:09 2021
Group: Unspecified Build host: buildvm-s390x-01.s390.fedoraproject.org
Size: 18279 Source RPM: abc-1.01-30.git20210328.fc34.src.rpm
Packager: Fedora Project
Url: http://www.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.

Provides

Requires

License

MIT

Changelog

* 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
* Mon Jul 27 2020 Jerry James <loganjerry@gmail.com> - 1.01-27.git20200720
  - Update to latest git snapshot
  - Add -gia patch to fix crash
  - Adapt to cmake changes in Rawhide
* Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-27.git20200127
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild
* Fri Jan 31 2020 Gabriel Somlo <gsomlo@gmail.com> - 1.01-26.git20200127
  - Update to latest git snapshot
* Tue Jan 28 2020 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-25.git20191217
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild
* Wed Dec 18 2019 Jerry James <loganjerry@gmail.com> - 1.01-24.git20191217
  - Update to latest git snapshot
  - Add -giaDeep patch to fix build failure
* Wed Jul 24 2019 Fedora Release Engineering <releng@fedoraproject.org> - 1.01-23.git20190608
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
* Wed Jun 12 2019 Jerry James <loganjerry@gmail.com> - 1.01-22.git20190608
  - Update to latest git snapshot
  - Add -build and -format patches
  - Build with cmake
  - Enable CUDD support

Files

/usr/bin/abc
/usr/lib/.build-id
/usr/lib/.build-id/8f
/usr/lib/.build-id/8f/deefeb852912014720bc398f200b05b16b62a9
/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, Mon May 9 20:42:32 2022