luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
6,152 Commits 27 Branches 57 Tags 58 MiB
Commit Graph

6152 Commits

Author SHA1 Message Date
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
Alan Mishchenko 304481b68a Simplify internal AIG reading when %yosys is used. 2026-06-08 18:05:22 +07: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
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 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
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
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
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
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
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
Alan Mishchenko 8e6b287674 Improving callbacks in &bmcG 2026-04-25 17:42:06 -07:00
Alan Mishchenko 1056de3239 High memory use fix in &scorr -Z 2026-04-24 18:57:29 -07:00
Advay Singh d74b33eba6 Added fix for write_cnf adding extra clauses on direct PI-PO 2026-04-23 13:09:26 -05:00
Petter Reinholdtsen 817d542c45 Use CPPFLAGS alongside CFLAGS and CXXFLAGS during build. 
It is a convention inherited from GNU automake to use CPPFLAGS
for compiler flag intended for the preprocessor, while CFLAGS and
and CXXFLAGS provide flags intended for the C and C++ compiler.
Adjust build rules to include CPPFLAGS ensure any preprocessor
flags in build systems using this environment variable work out of
the box.

This allow Debian builds to pass on hardening flags without modifying
the build setup.

Patch from Ruben Undheim via Debian
 2026-04-23 14:54:35 +02:00
Petter Reinholdtsen 2b9920e6a5 Relaxed assert in Io_WritePla() to avoid failure with too shallow network. 
Otherwise the abc will refuse to output trivial functions(constant 1 or 0).

The issue was originally submitted to
<URL: https://bitbucket.org/alanmi/abc/issue/27/assertion-failure-in-write_pla-command >,
now available via
<URL: https://web.archive.org/web/20200621081236/https://bitbucket.org/alanmi/abc/issues/27/assertion-failure-in-write_pla-command >.
Sadly the example demonstrated the problem was not archived.

This issue was also reported as <URL: https://bugs.debian.org/780450 >.
 2026-04-23 12:55:49 +02:00
Meneya 5096a78fbe Added option -c to call CaDiCaL solver inside bmc3 engine (bmc3 -c) 2026-04-20 14:53:32 +05:30
Petter Reinholdtsen 1ddb7a2352 Provide replacement value for PATH_MAX on platforms without it. 
The buffer length is used in a static array returned from
Extra_FileNameGenericAppend(), used many places in the code, and a
more dynamic approach would require a huge refactoring.  There is no
guarantee that the 4096 value picked is large enough, but it matches
common values found on Linux.
 2026-04-19 07:20:30 +02:00