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.

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

z3: bump version to 4.12.6 #279

Open
wants to merge 1 commit into
base: master
Choose a base branch
from
Open

Conversation

sorawee
Copy link
Collaborator

@sorawee sorawee commented Mar 5, 2024

4.12.6 is the latest version released last week.
The main motivation for the upgrade, though, is to get past 4.12.3, as subsequent versions (4.12.4 onward) support aarch64 for Linux.

@sorawee sorawee marked this pull request as draft March 5, 2024 14:07
@sorawee sorawee force-pushed the z3-bump-4-12-6 branch 6 times, most recently from d54c389 to 52861cf Compare March 6, 2024 06:31
4.12.6 is the latest version released last week.
The main motivation for the upgrade, though, is to get past 4.12.3,
as subsequent versions (4.12.4 onward) support aarch64 for Linux.
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.

1 participant