Skip to content

Pull requests: berkeley-abc/abc

New pull request New
46 Open 209 Closed
46 Open 209 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Makefile: Respect LDFLAGS when linking shared library
#495 opened Apr 5, 2026 by ziyao233 Loading…
sat: bmc: Explicitly include stdint.h if necessary
#494 opened Apr 5, 2026 by ziyao233 Loading…
Update actions for Node 24
#493 opened Apr 3, 2026 by robtaylor Loading…
Fix WASI and make prototype valid (from YosysHQ fork)
#490 opened Mar 9, 2026 by mmicko Contributor Loading…
1
Add per-object origin tracking (vOrigins) to Gia_Man_t
#487 opened Feb 28, 2026 by robtaylor Loading…
48
Fix &if crash after dch -f by leveling dangling choice nodes
#467 opened Dec 26, 2025 by EPTansuo Loading…
1
Add explicit #include <iterator> to avoid transitive dependency
#459 opened Dec 16, 2025 by dinoruic Contributor Loading…
[WIP] Analyze commit 6f5c466 for functionality and prototype
#455 opened Nov 14, 2025 by Copilot AI • Draft
Refactor(Cut): Explicit Comp
#452 opened Nov 5, 2025 by wjrforcyber Contributor Loading…
Feat(Log2Compute): Efficient gcc/clang support
#449 opened Oct 26, 2025 by wjrforcyber Contributor Loading…
The target's INTERFACE_INCLUDE_DIRECTORIES should not contain a path …
#448 opened Oct 24, 2025 by ccadar Loading…
Fix interact undefined behavior
#441 opened Sep 22, 2025 by zerowe-seven Loading…
Fix Memory allocation for large size above 2Gb
#439 opened Sep 1, 2025 by toolinfo Loading…
Refactor bit counting functions to use Abc_WordCountOnes
#436 opened Aug 25, 2025 by 0xtaruhi Loading…
Add Windows fixes so abc compiles natively with GCC.
#435 opened Aug 9, 2025 by cr1901 Contributor Loading…
3
Evaluate choices used in mapping
#433 opened Jul 25, 2025 by chestercc1997 Loading…
Fix(hMetis): Move const to largest index + 1
#430 opened Jul 13, 2025 by wjrforcyber Contributor Loading…
Diagnosis
#421 opened Jun 12, 2025 by xNTsai Loading…
2
Fix C++ compilation on newer compilers
#342 opened Nov 2, 2024 by rurban Loading…
2
Fix undefined behavior: invalid access of NULL ptr.
#197 opened Nov 21, 2022 by hzeller Contributor Loading…
3
cmake/xplatform builds using github/tox/conda workflows
#187 opened Oct 10, 2022 by sarnold Loading…
4
Fix variable name in makefile.
#175 opened Jul 5, 2022 by titan73 Loading…
Fix left shift issues
#159 opened Apr 3, 2022 by antonblanchard Contributor Loading…
*New command:Verilog format can be changed and ABC can read it
#158 opened Apr 1, 2022 by yuzy111 Loading…
1
Checking value of dont_use attribute
#153 opened Feb 2, 2022 by bfg86 Loading…
ProTip! Type g i on any issue or pull request to go back to the issue listing page.