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 3df13d9aad Merge remote-tracking branch 'upstream/master' into yosys-experimental 2026-06-08 12:54:10 +02:00
Alan Mishchenko 59896d6ec8 Another bug fix in delay propagation. 2026-06-08 17:45:17 +07:00
Alan Mishchenko 9749046cd6 Bug fix in required time propagation. 2026-06-08 17:05:54 +07:00
longfei 8149daf921 giaSatLut: fix &satlut expanding LUT size from K=5 to K=6 
Sbl_CutIsFeasible only checked LutSize <= 4 before the final
return Count <= 6, allowing 6-input cuts when LutSize=5.
Add the missing LutSize <= 5 check after the 5th bit-strip.
 2026-06-06 20:31:57 +08:00
Alan Mishchenko b7ee7a5f70 Fix a windows compile problem. 2026-06-05 16:15:34 +07:00
alanminko cd33ba563f
Merge pull request #514 from maliberty/fix-non-readline-prompt-pipe 
mainUtils: match readline behavior when ABC_USE_READLINE is undefined
 2026-06-05 16:14:23 +07:00
Matt Liberty 66f5d7c7a2 mainUtils: match readline behavior when ABC_USE_READLINE is undefined 
The non-readline branch of Abc_UtilsGetUsersInput has three behavioral
gaps versus the readline branch that break callers driving abc as a
coprocess over a pipe (e.g. yosys's passes/techmap/abc.cc, which spawns
"abc -s" with piped stdin/stdout and uses read_until_abc_done to wait
for "abc NN> <command>" lines):

  1. The prompt is written with fprintf() and never flushed. On a pipe
     stdout is fully buffered, so the prompt never reaches the reader.
     The reader waits for the prompt, abc waits in fgets(), deadlock.

  2. There is no echo of the line read from stdin. readline() emits
     each character to its output stream; yosys's protocol depends on
     seeing "abc NN> source ...\n" in the output to advance state.
     Without an echo it waits forever.

  3. EOF on stdin is silently ignored: fgets() returns NULL but the
     function returns a stale Prompt buffer, causing a tight loop on
     pipe close. The readline branch exit(0)s on NULL.

Fix all three. Echo only when stdin is not a tty -- on a tty the kernel
already echoes typed characters during cooked input, so double-echo
would be visible to interactive users.

Signed-off-by: Matt Liberty <mliberty@precisioninno.com>
 2026-06-05 06:05:32 +00:00
Alan Mishchenko 21b2d8959a Add output name permutation in &cec. 2026-06-04 21:05:04 +07:00
Matt Liberty 749bc49826 Update zlib 1.2.5 to 1.3.2 
Fixes many CVEs.

Signed-off-by: Matt Liberty <mliberty@precisioninno.com>
 2026-06-03 06:40:02 +00:00
Matt Liberty 0497d4708a Update bzip2 from version 1.0.5 to 1.0.8 
Get the fixes for CVE-2010-0405 & CVE-2019-12900.  I have tried to
preserve the local modifications on top of the base library.

Signed-off-by: Matt Liberty <mliberty@precisioninno.com>
 2026-06-02 21:29:57 +00:00
JingrenWang 7b0a6cbb58
Feat(rd_inv): Simple inv redis framework. 
Signed-off-by: JingrenWang <wjrforcyber@163.com>
 2026-06-01 16:23:38 +08:00
alanminko a917c1af9f
Merge pull request #509 from fxreichl/master 
Add option for lut optimisation
 2026-05-21 23:44:41 -07:00
Alan Mishchenko cd6e9b582b Modify default intermediate AIGER file name. 2026-05-21 23:41:12 -07:00
Franz Reichl 70c42b7292 Add option for lut optimisation 2026-05-21 11:58:13 +02:00
Min Hsu 9e02a87c1d misc: Prevent Vec_IntRemove from loading nSize in every iteration 
This seemly benign loop
```
for ( i++; i < p->nSize; i++ )
  p->pArray[i-1] = p->pArray[i];
```

will actually load `p->nSize` in every loop iteration (rather than
memorizing the value) due to some unfortunate pointer aliasing properties
in C/C++. As Vec_IntRemove is quite ubiquitous, this extra memory load
actually causes visible performance impact and prevents further
optimizations on the loop.

This patch fixes this by factoring `p->nSize` out of the loop.
 2026-05-19 14:17:09 -07:00
Alan Mishchenko f4d870e109 Updating interface of "twoexaxct". 2026-05-18 07:31:39 -07:00
Alan Mishchenko ffb0ff63fc Updating interface of %yosys to take multiple Verilog files. 2026-05-18 07:23:18 -07:00
Alan Mishchenko 07e38ef030 Imrpovements in "twoexact". 2026-05-17 18:51:49 -07:00
Alan Mishchenko 7bf1177d39 Add MM-based adder generation to &genadder. 2026-05-15 17:57:45 -07:00
Alan Mishchenko 26567123a7 Fix warnings. 2026-05-15 17:47:46 -07:00
alanminko 2827348459
Merge pull request #507 from Meneya/bmc3c 
Added option -c to call CaDiCaL solver inside bmc3 engine (bmc3 -c)
 2026-05-15 07:54:43 -07:00
Miodrag Milanovic 5d51a5e420 Merge remote-tracking branch 'upstream/master' into yosys-experimental 2026-05-12 08:17:36 +02:00
Miodrag Milanovic 3d2af6345c Reapply "Fixing the required time problem." 
This reverts commit 98967c9f3a.
 2026-05-12 08:15:31 +02:00
Alan Mishchenko c61f1a04e9 Bug fix in handling ufar calls. 2026-05-11 19:27:06 -07:00
alanminko 9d410e8163
Merge pull request #506 from zxxr1113/incremental_scorr_clean 
New feature: Add incremental refinement to &scorr command
 2026-05-11 14:36:23 -07:00
xiran 97b15a29a0 Fix: fix the build bug in abclib.dsp by registering cecCorrIncr.c 2026-05-11 14:02:23 -07:00
Alan Mishchenko 8c9e66205e Bug fix in &sprove. 2026-05-11 13:49:26 -07:00
Alan Mishchenko 60b3991a0e Assume minimum required times when not given by the user. 2026-05-11 12:18:15 -07:00
Miodrag Milanovic 98967c9f3a Revert "Fixing the required time problem." 
This reverts commit 6aaf0db1e1.
 2026-05-11 14:35:23 +02:00
xiran d55ae1421c New feature: Add incremental refinement to &scorr command 2026-05-10 22:58:10 -07:00
Alan Mishchenko d54cbda229 Multi-output gate mapper. 2026-05-10 09:52:16 -07:00
Alan Mishchenko cf5da03652 Bug fix. 2026-05-09 19:13:42 -07:00
Alan Mishchenko f3157272ae Initial support of multi-output gates in sizing. 2026-05-08 16:03:24 -07:00
Alan Mishchenko eaa8496b42 Streamlining support for multi-output gates 2026-05-08 00:45:46 -07:00
Petter Reinholdtsen d217b35192 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-05-05 13:04:37 +02:00
Alan Mishchenko fc4cfc0c35 Extending support for sequential AIGs. 2026-05-04 18:56:14 -07:00
alanminko 84b78d570c
Merge pull request #498 from petterreinholdtsen/mach-only-apple 
Corrected #ifdef for mach based Apple builds in cadical_file.cpp.
 2026-05-02 21:21:43 -07:00
alanminko 6d9c88d7e8
Merge pull request #499 from petterreinholdtsen/missing-path-max 
Provide replacement value for PATH_MAX on platforms without it.
 2026-05-02 21:20:38 -07:00
alanminko 298bcee98a
Merge pull request #505 from gigeresk/lutpack_assert_fix 
Fix intermittent assert failures in lutpack functions
 2026-05-02 21:20:01 -07:00
alanminko 5611ca0bbb
Merge pull request #503 from AdvaySingh1/ISSUE-479 
Added fix for write_cnf adding extra clauses on direct PI-PO
 2026-05-02 21:19:31 -07:00
alanminko 9ac97c7c4c
Merge pull request #502 from petterreinholdtsen/make-cppflags 
Use CPPFLAGS alongside CFLAGS and CXXFLAGS during build.
 2026-05-02 21:18:28 -07:00
alanminko ec4faae74a
Merge pull request #501 from petterreinholdtsen/writepla-assert-relaxed 
Relaxed assert in Io_WritePla() to avoid failure with too shallow network.
 2026-05-02 21:16:35 -07:00
Fred Tombs db8e5d9988 Apply same assert fix to l144 2026-05-02 16:15:00 -04:00
Alan Mishchenko ff00f67063 Updating verilog writer. 2026-05-02 08:22:59 -07:00
Fred Tombs 60e091d993 Replace failing assert in lutpack with non-failing version 2026-05-02 10:09:50 -04:00
Alan Mishchenko d07ce81c91 Bug fixes. 2026-04-30 23:38:51 -07:00
Alan Mishchenko 153d6b7f82 Fix out-of-bound bug in &glucose 2026-04-30 18:04:04 -07:00
Alan Mishchenko b413eb90de Fix windows build. 2026-04-25 22:41:26 -07:00
Alan Mishchenko b2a0cabf29 Updates to &sprove. 2026-04-25 22:32:27 -07:00
Alan Mishchenko c20832627f Extending &sprove interface 2026-04-25 17:45:55 -07:00