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
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
Miodrag Milanovic 405511f850 Fix compile error in eSLIM when ABC_USE_PTHREADS is not used 2026-04-22 17:36:33 +02:00
Miodrag Milanovic ada8fb2e87 Merge remote-tracking branch 'upstream/master' into yosys-experimental 2026-04-22 15:48:14 +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
Petter Reinholdtsen fa042e42ed Corrected #ifdef for mach based Apple builds in cadical_file.cpp. 
Bring test in line with all other tests for mach based MacOS builds,
and ensure the code in question is not enabled with mach on GNU Hurd.
 2026-04-18 10:25:11 +02:00
alanminko 8762d6c667
Merge pull request #496 from zxxr1113/fix-ssw-timing 
fix timing inconsistency in calculating the "timeOther" in Ssw_ManPrintStats in sswMan.c
 2026-04-14 10:02:22 -07:00
alanminko 2db6ae7848
Merge pull request #497 from fxreichl/master 
Extend the eSLIM package
 2026-04-14 10:01:59 -07:00
Franz Reichl 0f6ca59029 Extend the eSLIM package 2026-04-14 15:33:57 +02:00
xiran 6a52468604 fix timing inconsistency in calculating other time in Ssw_ManPrintStats in sswMan.c 2026-04-12 14:18:52 -07:00
Alan Mishchenko 8aa7e12dab Adding trace logging to &sprove. 2026-04-11 21:14:19 -07:00
Miodrag Milanovic 180a6adb68 Merge remote-tracking branch 'upstream/master' into yosys-experimental 2026-04-08 13:28:16 +02:00
Alan Mishchenko 80c8a9a192 Bug fix in %blast. 2026-04-06 20:42:44 -07:00
Alan Mishchenko ca2a410095 Add log dump to %ufar. 2026-04-04 09:04:24 -07:00
Alan Mishchenko cd2998b5c7 Adding name-based input reordering in &cec. 2026-04-03 21:18:41 -07:00
Alan Mishchenko bef23270f8 Improvements to command "history". 2026-03-27 20:09:54 -07:00
Alan Mishchenko b8059c310a Add support for second Verilog files in %ysoys and &cec 2026-03-27 19:24:31 -07:00
Miodrag Milanovic de0ebae1c5 Merge remote-tracking branch 'upstream/master' into yosys-experimental 2026-03-27 08:39:51 +01:00
Alan Mishchenko 6aaf0db1e1 Fixing the required time problem. 2026-03-25 10:03:26 -07:00
Alan Mishchenko 60e0303e3a Fix a mismatch in cut selection. 2026-03-24 20:16:09 -07:00
Alan Mishchenko 7a28b20d8e Fix windows build. 2026-03-23 17:44:06 -07:00
Alan Mishchenko 3881f2de37 Updated to &sprove. 2026-03-23 17:34:59 -07:00
Alan Mishchenko ceebb2d167 Updated to &sprove. 2026-03-23 14:55:27 -07:00
Alan Mishchenko 24917213df Updates to &if mapper. 2026-03-19 20:18:08 -07:00
Alan Mishchenko ca0fc3ed29 Adding support for Verilog dumping in "lutexact'. 2026-03-19 18:37:32 -07:00
Alan Mishchenko cf5aef3889 Fix compiler problems. 2026-03-10 22:26:43 -07:00
Alan Mishchenko fa5029da95 Updates to &if mapper. 2026-03-10 22:19:37 -07:00
Miodrag Milanovic b4a657e75b Fix WASI and make prototype valid 2026-03-09 13:02:54 +01:00
Miodrag Milanovic 55f552b454 Merge remote-tracking branch 'upstream/master' into yosys-experimental 2026-03-09 11:32:02 +01:00
Alan Mishchenko 7ae0f4966a Adding gla to sprove. 2026-03-08 12:04:38 -07:00
Alan Mishchenko a745d5ec81 Adding profiling to %ufar. 2026-03-08 10:27:12 -07:00
Alan Mishchenko ba69519d73 Adding command for calling external solvers. 2026-03-08 10:26:27 -07:00
Alan Mishchenko c92cfab80b Adding new line at the end of AIGER files. 2026-03-08 10:25:15 -07:00
alanminko 7553ef9760
Merge pull request #471 from phyzhenli/master 
Fix &synch2 crash with creating wrong mapping
 2026-03-07 06:54:56 -08:00
alanminko d10a0d41a3
Merge pull request #488 from calewis/grow_faster 
Avoid O(n^2) work on gzipped liberty data
 2026-03-07 06:49:33 -08:00
Drew Lewis ee40e40d09 Have the buffer grow with a 2x factor to avoid O(n^2) work when reading big files. 
Signed-off-by: Drew Lewis <cannada@google.com>
 2026-03-02 22:22:27 +00:00
Miodrag Milanovic 8e401543d3 Merge remote-tracking branch 'upstream/master' into yosys-experimental 2026-02-27 07:54:44 +01:00
Alan Mishchenko f3a17d343a Fixing assertion failure introduced by a recent PR. 2026-02-26 20:08:03 -08:00
Miodrag Milanovic 41c28e541a Merge remote-tracking branch 'upstream/master' into yosys-experimental 2026-02-26 09:17:07 +01:00
Alan Mishchenko 4e5c5e62af Compiler problem. 2026-02-25 20:18:28 -08:00
Alan Mishchenko c1937d12ac Improvements to &sprove. 2026-02-25 20:00:57 -08:00
Alan Mishchenko d5c1f2cfe1 Adding callbacks to "scorr" and "&scorr". 2026-02-25 20:00:28 -08:00
Alan Mishchenko ef54c1daea Updating interface of &cec. 2026-02-24 14:59:13 -08:00
alanminko ea6be8a51c
Merge pull request #486 from wjrforcyber/fix_windows_build 
Refactor(Workflow): Windows build refactor
 2026-02-24 06:45:00 -08:00
Jingren Wang 2b0e38c067
Merge branch 'berkeley-abc:master' into fix_windows_build 2026-02-24 08:44:41 +08:00
JingrenWang ce559b169e
Refactor(Workflow): Windows build refactor 
Signed-off-by: JingrenWang <wjrforcyber@163.com>
 2026-02-24 08:37:49 +08:00