Skip to content

Pull requests: prove-rs/z3.rs

New pull request New
17 Open 256 Closed
17 Open 256 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

Warn When Attempting to Set 'ctrl_c' via Config enhancement New feature or request
#393 opened Jul 25, 2025 by mehrad31415 Loading…
4
Add Int–Real Mixed Arithmetic Operations enhancement New feature or request
#388 opened Jul 25, 2025 by mehrad31415 Loading…
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 enhancement New feature or request
#344 opened Apr 8, 2025 by puyral • Draft
1
2
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
Real fn renames and Eq refactor enhancement New feature or request
#305 opened Jul 26, 2024 by dragazo Loading…
2
Into i64 enhancement New feature or request
#271 opened Nov 10, 2023 by Pat-Lafon Loading…
Allow creating Int from i32 enhancement New feature or request
#270 opened Nov 9, 2023 by Salt-Factory Loading…
6
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
added bindings for z3_param_descrs and related functions enhancement New feature or request
#198 opened Jun 5, 2022 by AndesVL Loading…
Add binding for Z3_get_implied_equalities enhancement New feature or request
#171 opened Nov 8, 2021 by wsx-ucb Loading…
1
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.