Skip to content

Pull requests: prove-rs/z3.rs

New pull request New
11 Open 277 Closed
11 Open 277 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

WIP: feat: impl Translate for FuncDecl help wanted Extra attention is needed
#439 opened Sep 8, 2025 by toolCHAINZ • Draft
1
Add i128 and u128 Support for Integer ASTs enhancement New feature or request
#387 opened Jul 25, 2025 by mehrad31415 Loading…
1
Add binding for IEEE-754 bit-vector to FPA enhancement New feature or request
#383 opened Jul 22, 2025 by KpwnZ Loading…
1
WIP: Add bindings to the user propagator blocked: apt z3 Features that we can merge after the next Ubuntu LTS bumps the ancient z3 version enhancement New feature or request
#344 opened Apr 8, 2025 by puyral • Draft
1
3
Add Order instantiation to FuncDecl enhancement New feature or request
#340 opened Mar 27, 2025 by grahnen Loading…
1
Update DeclKind in z3-sys for new values blocked: apt z3 Features that we can merge after the next Ubuntu LTS bumps the ancient z3 version enhancement New feature or request
#337 opened Feb 11, 2025 by twizmwazin Loading…
4
Add apply_dynamic to FuncDecl enhancement New feature or request
#330 opened Dec 11, 2024 by cvick32 Loading…
Add bindings for sequence foldl blocked: apt z3 Features that we can merge after the next Ubuntu LTS bumps the ancient z3 version enhancement New feature or request
#314 opened Oct 8, 2024 by yagehu Loading…
1
feat: creating reals from numeral strings enhancement New feature or request
#307 opened Aug 2, 2024 by lucascool12 Loading…
Feat exact f64 enhancement New feature or request
#306 opened Aug 2, 2024 by lucascool12 Loading…
1
Upload z3 built by vcpkg as release assets in CI. Maybe test whether it works in CI later. test/lint/ci Updates to automated checks
#264 opened Oct 29, 2023 by TheVeryDarkness • Draft
1
ProTip! Add no:assignee to see everything that’s not assigned.