Skip to content
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

Jump to bottom

Crash and huge memory use in cec on relatively small AIGs #156

Closed
atomb opened this issue Jul 6, 2016 · 1 comment
Closed

Crash and huge memory use in cec on relatively small AIGs #156

atomb opened this issue Jul 6, 2016 · 1 comment
Assignees
@atomb
Labels
priority High-priority issues type: bug Issues reporting bugs or unexpected/unwanted behavior
Milestone
Remove abcBridge

Comments

@atomb
Copy link
Contributor

atomb commented Jul 6, 2016

Adrian Herrera pointed out that the example in the following Gist leads to a crash in the cec command, triggering an assertion failure in ABC and running out of memory.

https://gist.github.com/adrianherrera/8c9b13eba565c6607edbb16713a579a5

If you remove the cec command and use save_aig to store the result of the bitblast, the command-line version of ABC can easily show the two circuits equivalent.
@atomb atomb added the type: bug Issues reporting bugs or unexpected/unwanted behavior label May 2, 2017
@atomb atomb added the priority High-priority issues label Jun 7, 2017
@atomb atomb added this to the 0.3 milestone Feb 5, 2018
@atomb atomb self-assigned this Feb 9, 2018
@atomb atomb removed this from the 0.3 milestone Apr 12, 2019
@atomb atomb added this to the 1.0 milestone Jun 4, 2019
@atomb atomb modified the milestones: 1.0, 0.4 Oct 1, 2019
@atomb atomb mentioned this issue Oct 3, 2019
Closed
@atomb atomb modified the milestones: 0.4, 1.0 Oct 16, 2019
@atomb atomb modified the milestones: 0.5, 0.6 Mar 24, 2020
@atomb atomb modified the milestones: 0.6, 0.7 Aug 6, 2020
@atomb atomb modified the milestones: 0.7, Remove abcBridge Oct 16, 2020
@atomb atomb mentioned this issue Dec 14, 2020
Closed
brianhuffman pushed a commit that referenced this issue Apr 26, 2021
Merge pull request #156 from GaloisInc/list-type
3927990 
Add an inductive `List` datatype to the saw-core prelude.
@atomb
Copy link
Contributor Author

atomb commented Jul 22, 2021

The code this refers to no longer exists.

@atomb atomb closed this as completed Jul 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@atomb atomb

Labels
priority High-priority issues type: bug Issues reporting bugs or unexpected/unwanted behavior
Projects
None yet
Milestone
Remove abcBridge
Development

No branches or pull requests
1 participant
@atomb