-
Notifications
You must be signed in to change notification settings - Fork 1.6k
Pull requests: Z3Prover/z3
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Bump actions/upload-artifact from 7.0.0 to 7.0.1
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#9300
opened Apr 13, 2026 by
dependabot
bot
Loading…
Bump actions/cache from 5.0.4 to 5.0.5
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#9299
opened Apr 13, 2026 by
dependabot
bot
Loading…
Bump github/gh-aw-actions from 2fe53acc038ba01c3bbdc767d4b25df31ca5bdfc to ea222e359276c0702a5f5203547ff9d88d0ddd76
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#9298
opened Apr 13, 2026 by
dependabot
bot
Loading…
Bump mymindstorm/setup-emsdk from 15 to 16
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#9297
opened Apr 13, 2026 by
dependabot
bot
Loading…
Bump actions/github-script from 8.0.0 to 9.0.0
dependencies
Pull requests that update a dependency file
github_actions
Pull requests that update GitHub Actions code
#9296
opened Apr 13, 2026 by
dependabot
bot
Loading…
fix #8185: add FPA rewriter simplifications for fma with zero multipl…
#9038
opened Mar 18, 2026 by
levnach
Contributor
Loading…
Fix Java UnsatisfiedLinkError on macOS (#7640)
#9027
opened Mar 18, 2026 by
levnach
Contributor
Loading…
Fix tagged pointer small integer bounds for 32/64-bit platforms
#8554
opened Feb 9, 2026 by
Copilot
AI
Loading…
37 tasks done
Daily Perf Improver: Optimize hashtable cache locality and load factor
#7887
opened Sep 16, 2025 by
dsyme
Collaborator
Loading…
ProTip!
Adding no:label will show everything without a label.