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

Fix memory and concurrency issues in OCaml API #6992

Merged

NikolajBjorner merged 2 commits into Z3Prover:master from wintersteiger:cwinter_ocaml_memory

Nov 17, 2023

Merged

Fix memory and concurrency issues in OCaml API #6992

Undo locking changes

This check has been archived and is scheduled for deletion. Learn more about checks retention

Azure Pipelines / Z3 CI (Windows arm64) succeeded Nov 16, 2023 in 32m 50s

Windows arm64 succeeded

0 errors / 0 warnings

View more details on Azure Pipelines