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

Add Z3 4.12.4 #24939

Merged

mseri merged 1 commit into ocaml:master from wintersteiger:christoph/z3-4.12.4

Dec 14, 2023

Contributor

wintersteiger commented Dec 14, 2023

Since #24897 there has been another release of Z3, which is added here.


          Add Z3 4.12.4

d882f87

arbipher added the consider for merge label

Member

mseri commented Dec 14, 2023

Thanks

mseri merged commit 8dac4b5 into ocaml:master

1 of 2 checks passed

wintersteiger deleted the christoph/z3-4.12.4 branch

February 26, 2024 12:41

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

Labels

consider for merge