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

Update z3 to 4.13.2.0 #522

Draft

twizmwazin wants to merge 2 commits into master from dep/z3-4.13.2

Member

twizmwazin commented Sep 29, 2024

No description provided.

twizmwazin added 2 commits

October 2, 2024 16:01


Update z3 to 4.13.2.0

0780ca0


Upgrade macos test environment

774bb67

twizmwazin force-pushed the dep/z3-4.13.2 branch from 640ae37 to 774bb67 Compare

October 2, 2024 23:02

Member Author

twizmwazin commented Oct 3, 2024

A few things I observed:

This release bumps the macos requirement for the x86_64 wheel ONLY from macos 11 to 12.7
Running angr tests locally, several tests take significantly longer to finish
Compatibility issues

Due to the above I have decided to stay on 4.13.0.0 for now.

twizmwazin marked this pull request as draft

October 3, 2024 16:27

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment