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

yosyshq-abc-0.46-1.20241011gitcac8f99.fc40 RPM for aarch64

From Fedora 40 updates for aarch64 / Packages / y

Name: yosyshq-abc Distribution: Fedora Project
Version: 0.46 Vendor: Fedora Project
Release: 1.20241011gitcac8f99.fc40 Build date: Sat Oct 12 16:18:45 2024
Group: Unspecified Build host: buildvm-a64-09.iad2.fedoraproject.org
Size: 213851 Source RPM: yosyshq-abc-0.46-1.20241011gitcac8f99.fc40.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

* Fri Oct 11 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.46-1.20241011gitcac8f99
  - update to 0.46 snapshot
* Thu Sep 05 2024 Gabriel Somlo <gsomlo@gmail.com> - 0.45-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/48
/usr/lib/.build-id/48/529fc659dcce5a166b335b6ed36338a9cff33f
/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, Fri Nov 15 06:15:53 2024