luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
6,338 Commits 30 Branches 59 Tags 62 MiB
Commit Graph

6338 Commits

Author SHA1 Message Date
Miodrag Milanovic 2a9e9c2a00 Merge remote-tracking branch 'upstream/master' into yosys-experimental 2026-07-30 16:59:55 +02:00
Alan Mishchenko e76768b9d3 Crtical path detection for AIGs. 2026-07-27 07:10:10 -07:00
alanminko 4e1b34d744
Merge pull request #534 from zxxr1113/scorr2-upstream 
new command &scorr2 extended from &scorr
 2026-07-27 22:56:46 +09:00
xiran 77cd6f4b04 new command &scorr2 extended from &scorr 2026-07-27 18:43:56 +08:00
Alan Mishchenko c1f9a942ca Add dumping truth tables in the PLA format. 2026-07-25 16:19:26 -07:00
Alan Mishchenko 57ad5cd47b Updating %ysoys to abstract modules/instances. 2026-07-25 16:19:26 -07:00
alanminko 3ed7e4179a
Merge pull request #530 from wjrforcyber/choice_fix 
Fix(choices): On pSibls
 2026-07-23 07:53:37 +09:00
JingrenWang c130edd5e8
Fix(choices): On pSibls 
Signed-off-by: JingrenWang <wjrforcyber@163.com>
 2026-07-03 14:47:40 +08:00
Miodrag Milanovic e026ed5380 Merge remote-tracking branch 'upstream/master' into yosys-experimental 2026-07-02 11:29:04 +02:00
alanminko bcfdf59228
Merge pull request #523 from fxreichl/master 
Improve support for -D 3 together with -X
 2026-07-02 12:55:08 +07:00
alanminko a082d1ba3a
Merge pull request #524 from YosysHQ/upsteaming 
Upsteaming Yosys changes
 2026-07-02 12:54:37 +07:00
alanminko 523af52dd4
Merge pull request #525 from wjrforcyber/rand_fix 
Fix(rand): UB on different platform
 2026-07-02 12:54:21 +07:00
alanminko 0a297ad527
Merge pull request #529 from zxxr1113/scorr-i-pr3-upstream-merge 
Add dynamic SRM and incremental simulation into &scorr -i ; Fix a bug of &scorr -i ;
 2026-07-02 12:54:03 +07:00
xiran f8faf4379e add dynamic SRM and incremental simulation into -i 2026-07-02 12:45:29 +08:00
Alan Mishchenko a01df4b82c Adding function printout to &put. 2026-07-01 13:44:00 -07:00
JingrenWang f7c7cf0099
Fix(rand): UB on different platform 
Signed-off-by: JingrenWang <wjrforcyber@163.com>
 2026-07-01 16:23:45 +08:00
Alan Mishchenko b4ca3e7f52 Adding &put -i to preserve special LUT mapping. 2026-06-29 22:51:13 -07:00
Alan Mishchenko 79f1e0b41d Bug fixes. 2026-06-29 16:34:36 -07:00
Miodrag Milanovic a35f806b8c Change to ABC_NO_HISTORY so it is possible to change externally 2026-06-25 14:19:01 +02:00
Miodrag Milanovic 9794114a68 Change to ABC_NO_HISTORY so it is possible to change externally 2026-06-25 14:15:03 +02:00
Miodrag Milanovic b89ccd36bc Fix for case where ABC_USE_PTHREADS is not used 2026-06-25 13:24:00 +02:00
Miodrag Milanovic 0e32819325 Fix WASI and make prototype valid 2026-06-25 13:15:56 +02:00
Petter Reinholdtsen 5100825c51 Only use __int128 on architectures where it is present. 
With GCC and Clang, look for the __SIZEOF_INT128__ define only defined
when __int128 is present before trying to use it.

This fixes build problem on all 32 bit Linux architectures.
 2026-06-25 13:15:01 +02:00
Miodrag Milanovic 476b31cac5 Merge remote-tracking branch 'upstream' into yosys-experimental 2026-06-25 13:01:49 +02:00
Franz Reichl feaf7a773d Improve support for -D 3 together with -X and fix an issue in the construction of Gias. 2026-06-25 11:28:02 +02:00
alanminko 3ce53c361f
Merge pull request #519 from heshpdx/master 
Fix strict aliasing violations
 2026-06-25 02:53:37 +07:00
Mahesh Madhav 2eb8f38cd1 Fix build errors and spacing 2026-06-24 14:35:55 -04:00
Alan Mishchenko 7d253d7cb2 Do not support extension "e" (equiv classes of nodes). 2026-06-22 19:35:32 -07:00
alanminko 68bf7cba8e
Merge pull request #521 from fxreichl/master 
Fix issue with constant replacements
 2026-06-18 20:42:01 +07:00
Franz Reichl 70a92ee63f Fix issue with constant replacements 2026-06-18 14:45:45 +02:00
alanminko 29c59ab009
Merge pull request #508 from mshockwave/patch/fix-vec-int-nSize-reload 
misc: Prevent Vec_IntRemove from loading nSize in every iteration
 2026-06-16 22:44:11 +07:00
Mahesh Madhav cfd526afd0 Fix strict aliasing violations 
The cast to char** is a violation of strict aliasing rules.
Compilers may generate incorrect code due to this issue.
Using memcpy to avoid the issue. Not expecting perf difference.
 2026-06-16 15:33:12 +00:00
alanminko 4c08da846a
Merge pull request #511 from wjrforcyber/rd_inv 
Feat(rd_inv): Simple inv redis framework.
 2026-06-16 22:12:38 +07:00
alanminko d79133b567
Merge pull request #516 from flyingfoxyy/fix-satlut-k5-boundary 
giaSatLut: fix &satlut expanding LUT size from K=5 to K=6
 2026-06-16 22:11:36 +07:00
alanminko f1d6c364cf
Merge pull request #517 from YosysHQ/cmake_windows 
Windows cleanup
 2026-06-16 21:57:13 +07:00
Alan Mishchenko 334ae5d1b7 Update .gitingore 2026-06-16 07:53:07 -07:00
Alan Mishchenko 61e74a1033 Update high-effort synthesis. 2026-06-16 07:52:19 -07:00
Alan Mishchenko 2d835aabf0 Adding command "power" to eval static/dynamic power 2026-06-16 07:46:55 -07:00
Alan Mishchenko e00a2fe834 Adding support power info exraction from Liberty 2026-06-16 05:05:05 -07:00
Alan Mishchenko a4b7912895 Adding API to compute switching activity 2026-06-16 04:52:40 -07:00
Miodrag Milanovic 30c47da5c9 Merge remote-tracking branch 'upstream/master' into yosys-experimental 2026-06-15 19:40:58 +02:00
alanminko 8783dcfd73
Merge pull request #513 from maliberty/update-zlib 
Update zlib 1.2.5 to 1.3.2
 2026-06-16 00:21:47 +07:00
alanminko f1ec6d32d8
Merge pull request #512 from maliberty/update-bzip2 
Update bzip2 from version 1.0.5 to 1.0.8
 2026-06-16 00:21:20 +07:00
Matt Liberty cd9d9fcc13 Fix namespace build of zlib gzguts.h on macOS 
Move ABC_NAMESPACE_HEADER_START (and the abc_global.h include) before the
non-LFS prototype block so the bare gzFile references in gzopen64/gzseek64/
gztell64/gzoffset64 resolve to the namespaced type. Without this, building
with ABC_USE_NAMESPACE=xxx fails on platforms that compile this block (e.g.
macOS, which does not define _LARGEFILE64_SOURCE):

  gzguts.h: error: unknown type name 'gzFile'; did you mean 'xxx::gzFile'?

Restores the header ordering used in the previous zlib 1.2.5 sources.

Signed-off-by: Matt Liberty <mliberty@precisioninno.com>
 2026-06-15 17:12:13 +00:00
Miodrag Milanovic 1e130338f0 Make sure we detect these errors in future 2026-06-09 08:20:13 +02:00
Miodrag Milanovic 1e85fff18d Cleanup 2026-06-08 16:20:52 +02:00
Miodrag Milanovic 26ca14e4c6 Add missing includes for windows 2026-06-08 16:20:37 +02:00
Miodrag Milanovic d3d218eee2 Cleanup 2026-06-08 16:11:48 +02:00
Miodrag Milanovic b73fcb78ed Add missing includes for windows 2026-06-08 16:11:31 +02:00
Alan Mishchenko 304481b68a Simplify internal AIG reading when %yosys is used. 2026-06-08 18:05:22 +07:00