Skip to content

Upgrades abc#392

Merged
QuantamHD merged 3 commits into
mainfrom
abc_up
Mar 24, 2025
Merged

Upgrades abc#392
QuantamHD merged 3 commits into
mainfrom
abc_up

Conversation

@QuantamHD

Copy link
Copy Markdown
Collaborator

No description provided.

@QuantamHD QuantamHD merged commit 875c8ca into main Mar 24, 2025
@mikesinouye

mikesinouye commented Mar 24, 2025

Copy link
Copy Markdown
Collaborator

@QuantamHD This change may be breaking xls-oss. They are seeing the error: external/edu_berkeley_abc/src/proof/ssw/sswPart.c:36:10: fatal error: 'atomic' file not found

It's possibly related to the copts = ["-x c++",], change. To unblock them, I am going to roll back - let's discuss later.

hzeller added a commit that referenced this pull request Mar 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants