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

yosyshq-abc-0.45-1.20240905git2188bc7.fc42 RPM for s390x

From Fedora Rawhide for s390x / y

Name: yosyshq-abc Distribution: Fedora Project
Version: 0.45 Vendor: Fedora Project
Release: 1.20240905git2188bc7.fc42 Build date: Thu Sep 12 00:59:40 2024
Group: Unspecified Build host: buildvm-s390x-07.s390.fedoraproject.org
Size: 29404 Source RPM: yosyshq-abc-0.45-1.20240905git2188bc7.fc42.src.rpm
Packager: Fedora Project
Url: http://github.com/YosysHQ/abc
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-Modern-Variant AND MIT AND BSD-2-Clause AND BSD-3-Clause

Changelog

* Thu Sep 05 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.44-1.20240905git2188bc7
  - update to 0.45 snapshot
* Thu Aug 08 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.44-1.20240804git28d955c
  - update to 0.44 snapshot
* Sat Jul 20 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.41-2.20240524git237d813
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild
* Fri May 24 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.41-1.20240524git237d813
  - update to 0.41 snapshot
* Thu Mar 14 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.39-1.20240314git0cd90d0
  - update to 0.39 snapshot
* Sat Jan 27 2024 Fedora Release Engineering <releng@fedoraproject.org> - 0.35-2.20231108git896e5e7
  - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild
* Wed Nov 08 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.35-1.20231108git896e5e7
  - update to 0.35 snapshot
* Fri Oct 06 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.34-1.20231006gitdaad9ed
  - update to 0.34 snapshot
* Fri Aug 04 2023 Gabriel Somlo <gsomlo@gmail.com> - 0.31-1.20230804gitbb64142
  - Initial RPM

Files

/usr/bin/abc
/usr/lib/.build-id
/usr/lib/.build-id/90
/usr/lib/.build-id/90/abd0302dd6ae71ce41abb72d68d2cd684a55e2
/usr/share/doc/yosyshq-abc
/usr/share/doc/yosyshq-abc/README.md
/usr/share/doc/yosyshq-abc/readmeaig
/usr/share/man/man1/abc.1.gz


Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Oct 10 05:39:24 2024