-
-
Notifications
You must be signed in to change notification settings - Fork 40
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
Bump Z3 to v4.12.1 #2565
Bump Z3 to v4.12.1 #2565
Conversation
Codecov Report
@@ Coverage Diff @@
## main #2565 +/- ##
==========================================
- Coverage 78.52% 78.51% -0.01%
==========================================
Files 445 445
Lines 15617 15617
Branches 2550 2550
==========================================
- Hits 12263 12262 -1
- Misses 3354 3355 +1 see 3 files with indirect coverage changes 📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more |
So... on top of the Z3 version bump, I had to nix was pulling in
Since |
However, this now pulls in an updated Essentially, this messes with Apalache's |
2bf6a16
to
8c458d5
Compare
Update the nix flake lock file. This fixes the outdated glibc version, as described here: #2565 (comment) I updated to a fixed revision from Jan 2023, to pull in an old version of ocaml-mdx. This is a workaround for the following regressions in later versions of mdx: realworldocaml/mdx#428 To update nix flake inputs to a specific revision, I ran: nix flake update --override-input nixpkgs github:NixOS/nixpkgs/<rev>
Update the nix flake lock file. This fixes the outdated glibc version, as described here: #2565 (comment) I updated to a fixed revision from Jan 2023, to pull in an old version of ocaml-mdx. This is a workaround for the following regressions in later versions of mdx: realworldocaml/mdx#428 To update nix flake inputs to a specific revision, I ran: nix flake update --override-input nixpkgs github:NixOS/nixpkgs/<rev>
Pinning nixpkgs at rev
GLIBCXX_3.4.30 is supported from GCC 12.1 on. |
01f1a23
to
5cc08ca
Compare
Bump Z3 to v4.12.1
Unblocks #2140
./unreleased/
for any new functionality