Issues

• resub: missing else in Abc_ManResubDivs1's negative-unate loop misses all (complemented, plain) 1-resubs

  berkeley-abc/abc#571 · Filter by author ChangyuanYU opened on Sep 25, 2026

• lutpack produces a non-equivalent netlist on a large mapped sqrt (independent of the MUX-split path)

  berkeley-abc/abc#542 · Filter by author marcelwa opened on Aug 8, 2026

• fraig_store: Abc_NtkAppendToCone silently creates new PIs when input names differ

  berkeley-abc/abc#537 · Filter by author marcelwa opened on Aug 7, 2026
  1

• [ bugfix ! ] lutpack caused function issue

  berkeley-abc/abc#515 · Filter by author light-tian opened on Jun 6, 2026

• write_cnf produces unsatisfiable-preserving but not equivalent CNF — primary input disconnected from output when PO is a direct wire from PI

  berkeley-abc/abc#479 · Filter by author Gad1001 opened on Feb 9, 2026

• Online Casino Gaming as a Modern Form of Digital Entertainment

  berkeley-abc/abc#476 · Filter by author adrianblog-ux opened on Jan 28, 2026
  5

• Segfault / hand while running &fraig

  berkeley-abc/abc#474 · Filter by author gadfort opened on Jan 22, 2026
  1

• Segmentation fault while processing blif

  berkeley-abc/abc#472 · Filter by author Vadimatorik opened on Jan 6, 2026
  1

• &synch2 crash caused by lf mapping: create wrong mapping (FIXED)

  berkeley-abc/abc#468 · Filter by author phyzhenli opened on Jan 4, 2026

• %collapse crashes without give any useful diagnostic on designs containing DFFs

  berkeley-abc/abc#461 · Filter by author EPTansuo opened on Dec 19, 2025

• [Crash] Assertion failure in Abc_AigUpdateLevelR_int triggered by 'rewrite' command

  berkeley-abc/abc#457 · Filter by author zhihaoxu1325 opened on Dec 10, 2025

• [ bugfix ! ] &blut caused function issue

  berkeley-abc/abc#456 · Filter by author light-tian opened on Dec 4, 2025

• drw/drf suboptimality

  berkeley-abc/abc#453 · Filter by author Nic30 opened on Nov 5, 2025
  2

• Building DEB package for libabc-dev

  berkeley-abc/abc#451 · Filter by author Nic30 opened on Nov 4, 2025
  2

• Calling abc without arguments results in lower setup slack (as shown in report_checks)

  berkeley-abc/abc#446 · Filter by author leeway64 opened on Oct 19, 2025
  1

• abc -dress fails with status 86 when retiming

  berkeley-abc/abc#445 · Filter by author leeway64 opened on Oct 18, 2025
  3

• long &mfs runtime

  berkeley-abc/abc#444 · Filter by author Ravenslofty opened on Oct 8, 2025
  1

• Is it possible for ABC to perform retiming purely through moving registers, not by adding or removing registers?

  berkeley-abc/abc#440 · Filter by author leeway64 opened on Sep 18, 2025
  1

• How to perform state minimization and re-coding of FSM through abc

  berkeley-abc/abc#434 · Filter by author AileenYuan opened on Jul 31, 2025

• How to translate truth table to logic expression?

  berkeley-abc/abc#431 · Filter by author ericwan2018 opened on Jul 14, 2025
  3

• coredump with bidec

  berkeley-abc/abc#426 · Filter by author JoanThibault opened on Jul 1, 2025

• How to Verify Functional Equivalence After Mapping AIG Circuits to LUTs

  berkeley-abc/abc#424 · Filter by author SJZbenxiaohai opened on Jun 18, 2025

• segfault on reading a library and blif file, possible stack overflow

  berkeley-abc/abc#409 · Filter by author tkoenig1 opened on Apr 21, 2025
  5

• Invalid read with if -u -K 4

  berkeley-abc/abc#408 · Filter by author tkoenig1 opened on Apr 21, 2025
  1

• problems found with sanitizer

  berkeley-abc/abc#407 · Filter by author tkoenig1 opened on Apr 20, 2025
  2