Skip to content

Issues: berkeley-abc/abc

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

149 Open 40 Closed
149 Open 40 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Probably a bug in the function Dtc_ManCutMerge (in abc/src/proof/acec/acecFadds.c)
#346 opened Nov 15, 2024 by Hinataee
How to Effectively Begin Analyzing the Source Code of Project ABC?
#344 opened Nov 9, 2024 by SJZbenxiaohai
Does dsd command work?
#343 opened Nov 8, 2024 by matth2k
ABC interpetation of a XOR gate with complementary input for technology mapping
#341 opened Oct 24, 2024 by jasperzw
Compilation problem
#339 opened Oct 8, 2024 by ashionjy
Operating system applicable
#338 opened Oct 8, 2024 by ashionjy
2
Assertion failure in &nf
#336 opened Oct 4, 2024 by povik
Please exclude -ldl for NetBSD
#332 opened Sep 13, 2024 by mayureshw
twoexact -I 2 -N 1 2 wrong behaviour
#330 opened Sep 9, 2024 by FeldmeierMichael
the command write_bench only write the internal nodes in the form of LUT instead of AND and NOT?
#329 opened Sep 3, 2024 by Hinataee
1
Is there a parallel version for CEC? Thanks!
#325 opened Aug 27, 2024 by dezhangxd
3
Discussion(Resub): Potential bug point when collecting divisor.
#324 opened Aug 23, 2024 by wjrforcyber
Remove bsat2?
#314 opened Aug 6, 2024 by rocallahan
1
Issue with read_verilog in ABC: Assertion Failed and Parsing Error
#312 opened Aug 6, 2024 by PerryLogic
Why do we need to remove HA whose AND2 is part of XOR2 without additional fanout when
#311 opened Aug 1, 2024 by Hinataee
abc: ./src/misc/vec/vecStr.h:356: Vec_StrEntry: Assertion `i >= 0 && i < p->nSize' failed.
#306 opened Jul 15, 2024 by oharboe
segfault in stime -p
#305 opened Jul 2, 2024 by Ravenslofty
1
Only getting one cell per class when running [read_lib -S 80 -G 3]
#301 opened Jun 2, 2024 by b62833
verilog code reading error
#300 opened May 31, 2024 by sun123-cmd
Time report error of Generalize in command "pdr -v"
#298 opened May 16, 2024 by Jwtever
Issues with equivalence checking, when working with XAGs
#292 opened Apr 30, 2024 by hibenj
3
Any good tutorial to use ABC
#288 opened Apr 18, 2024 by quantrpeter
2
How to run PDR
#281 opened Mar 14, 2024 by sirandreww
1
NOR gate mapping
#277 opened Feb 4, 2024 by Maya7991
1
How to Step-by-Step Read IWLS 2005 Benchmarks?
#276 opened Jan 31, 2024 by asfhiolNick
ProTip! Type g i on any issue or pull request to go back to the issue listing page.