Skip to content

Pull requests: Z3Prover/z3

New pull request New
17 Open 2,626 Closed
17 Open 2,626 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Eliminate unused private fields and local variables.
#9875 opened Jun 15, 2026 by davedets Contributor Loading…
[code-simplifier] Simplify int_cube: remove goto, use aggregate/brace init
#9874 opened Jun 15, 2026 by NikolajBjorner Contributor Loading…
1
ci: validate Microsoft.Z3.dll PE Machine field is AnyCPU in nightly build validation
#9873 opened Jun 15, 2026 by Copilot AI • Draft
@NikolajBjorner
goal2sat: skip caching singly-referenced AST nodes
#9872 opened Jun 15, 2026 by LinerSu Loading…
1
dotnet: force PlatformTarget=AnyCPU to fix arm64 host load failure
#9868 opened Jun 15, 2026 by Copilot AI • Draft
@NikolajBjorner
Strengthen historical nlsat regression tests
#9857 opened Jun 14, 2026 by peter941221 Loading…
1
Prevent unsound lia2card elimination across recfun definitions
#9856 opened Jun 14, 2026 by peter941221 Loading…
1
1
Porting seq_split to master
#9840 opened Jun 12, 2026 by CEisenhofer Collaborator • Draft
28
Add versioned shared object names in Bazel rules
#9838 opened Jun 12, 2026 by shantanu-gontia Loading…
1
Parallel tactic (#9824)
#9825 opened Jun 11, 2026 by NikolajBjorner Contributor Loading…
6
Smart constructors for regex ranges: canonical form at construction time
#9814 opened Jun 10, 2026 by Copilot AI • Draft
1
@NikolajBjorner
3
Remove duplicate is_nullable_rec from seq_rewriter, delegate to derive::is_nullable
#9704 opened Jun 3, 2026 by NikolajBjorner Contributor Loading…
39
Initialize m_max_generation to 0
#9694 opened Jun 2, 2026 by CanCebeci Contributor Loading…
Improve qe-light elimination for BV vars constrained by constant (dis)equalities
#9359 opened Apr 21, 2026 by Copilot AI • Draft
1
@NikolajBjorner
1
fix #8185: add FPA rewriter simplifications for fma with zero multipl…
#9038 opened Mar 18, 2026 by levnach Contributor Loading…
5
Fix tagged pointer small integer bounds for 32/64-bit platforms
#8554 opened Feb 9, 2026 by Copilot AI Loading…
37 tasks done
@nunoplopes
48
Rs
#3117 opened Mar 3, 2020 by NikolajBjorner Contributor Loading…
4
ProTip! Type g i on any issue or pull request to go back to the issue listing page.