Skip to content

Pull requests: Z3Prover/z3

New pull request New
9 Open 2,720 Closed
9 Open 2,720 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

Bump actions/cache/save from 5.0.5 to 6.1.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#10024 opened Jul 2, 2026 by dependabot Bot Loading…
Bump actions/cache from 6.0.0 to 6.1.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#10023 opened Jul 2, 2026 by dependabot Bot Loading…
Bump actions/cache/restore from 6.0.0 to 6.1.0 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#10022 opened Jul 2, 2026 by dependabot Bot Loading…
[snapshot-regression-fix] Fix unsound collapse of symbolic re.range bounds in seq_rewriter automated snapshot-regression
#10015 opened Jul 1, 2026 by levnach Contributor • Draft
Improve generation accounting (#10008)
#10009 opened Jun 30, 2026 by NikolajBjorner Contributor Loading…
4
Fix unsound symbolic to_fp-from-Real encoding causing false unsat in Float32 FP/Real round-trip constraints
#9966 opened Jun 26, 2026 by Copilot AI • Draft
@NikolajBjorner
8
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
50
ProTip! Exclude everything labeled bug with -label:bug.