-
Notifications
You must be signed in to change notification settings - Fork 1.5k
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.
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
[consolidated] issues with new core #6523
Comments
|
|
|
|
|
|
|
|
|
Edit: this isn't going to be a supported scenario. |
|
Refutation unsoundness:
|
|
|
|
|
NikolajBjorner
added a commit
that referenced
this issue
Aug 1, 2023
|
New core hangs on a very simple formula (appears to be a recent regression):
|
|
|
|
|
|
|
|
NikolajBjorner
added a commit
that referenced
this issue
Oct 15, 2023
NikolajBjorner
added a commit
that referenced
this issue
Oct 15, 2023
|
Hang on a small QF_NRA instance (it seems to be a recent regression):
|
91c2139
|
|
|
|
NikolajBjorner
added a commit
that referenced
this issue
Nov 7, 2023
|
|
|
|
NikolajBjorner
added a commit
that referenced
this issue
Nov 13, 2023
NikolajBjorner
added a commit
that referenced
this issue
Nov 13, 2023
|
|
|
|
|
|
NikolajBjorner
added a commit
that referenced
this issue
Nov 29, 2023
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
The text was updated successfully, but these errors were encountered: