-
Notifications
You must be signed in to change notification settings - Fork 1.5k
Insights: Z3Prover/z3
Overview
-
0 Active pull requests
-
- 0 Merged pull requests
- 0 Open pull requests
- 1 Closed issue
- 2 New issues
Loading
Could not load contribution data
Please try again later
Loading
1 Release published by 1 person
-
z3-4.15.1
published
Jun 10, 2025
1 Issue closed by 1 person
-
Z3 fails (or needs much longer) to solve depending on quantified or non-quantified expression
#7676 closed
Jun 9, 2025
2 Issues opened by 2 people
-
Potential issue in arithmetic optimization
#7677 opened
Jun 11, 2025 -
ocaml version mismath causing a compilation failure in Nixpkgs
#7675 opened
Jun 9, 2025
1 Unresolved conversation
Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.
-
Question: Performance of BV RotateLeft when number of rotations is symbolic, or: how to extract bitvector slice with symbolic offset
#7673 commented on
Jun 10, 2025 • 0 new comments