Skip to content

Pull requests: berkeley-abc/abc

New pull request New
51 Open 211 Closed
51 Open 211 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

Use CPPFLAGS alongside CFLAGS and CXXFLAGS during build.
#502 opened Apr 23, 2026 by petterreinholdtsen Loading…
Relaxed assert in Io_WritePla() to avoid failure with too shallow network.
#501 opened Apr 23, 2026 by petterreinholdtsen Loading…
Fix compile error in eSLIM when ABC_USE_PTHREADS is not used
#500 opened Apr 23, 2026 by mmicko Contributor Loading…
Provide replacement value for PATH_MAX on platforms without it.
#499 opened Apr 19, 2026 by petterreinholdtsen Loading…
Corrected #ifdef for mach based Apple builds in cadical_file.cpp.
#498 opened Apr 18, 2026 by petterreinholdtsen Loading…
Makefile: Respect LDFLAGS when linking shared library
#495 opened Apr 5, 2026 by ziyao233 Loading…
1
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…
52
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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.