Skip to content

Pull requests: berkeley-abc/abc

New pull request New
37 Open 184 Closed
37 Open 184 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

Fix compilation for mingw and wasi
#447 opened Oct 20, 2025 by mmicko Loading…
QBF using CaDiCaL
#443 opened Oct 3, 2025 by MyskYko 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 Loading…
2
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 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 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 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…
Typos identified by lintian
#152 opened Feb 2, 2022 by smoe Loading…
Build successfully with clang
#100 opened Oct 9, 2020 by thingkingland Loading…
1
Skip the body of Gia_LutForEachFanin if iFan is negative.
#89 opened Jun 21, 2020 by jamesjer Loading…
1
Fix verilog file parsing error
#87 opened Jun 1, 2020 by joeywang4 Loading…
1
Fix markdown syntax
#86 opened Jun 1, 2020 by Rholais Loading…
Fix &trace, add "-w" option to print critical path
#83 opened May 15, 2020 by eddiehung Loading…
add missing gia.c to module.make
#80 opened May 6, 2020 by MalteSchledjewski Loading…
1
1
Add giaDeep.c to module.make.
#62 opened Dec 16, 2019 by atsampson Loading…
Makefile: break apart steps in make clean
#54 opened Oct 19, 2019 by xobs Loading…
ProTip! What’s not been updated in a month: updated:<2025-09-23.