Skip to content

Pull requests: prove-rs/z3.rs

New pull request New
24 Open 232 Closed
24 Open 232 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

Move Model Retrieval Docs
#394 opened Jul 25, 2025 by mehrad31415 Loading…
Warn When Attempting to Set 'ctrl_c' via Config
#393 opened Jul 25, 2025 by mehrad31415 Loading…
2
Add Constructors for Floating-Point NaN Values
#392 opened Jul 25, 2025 by mehrad31415 Loading…
5
Add Sequence::empty and contains Methods
#390 opened Jul 25, 2025 by mehrad31415 Loading…
Add Support Rounding Modes in the high level API
#389 opened Jul 25, 2025 by mehrad31415 Loading…
Add Int–Real Mixed Arithmetic Operations
#388 opened Jul 25, 2025 by mehrad31415 Loading…
Add i128 and u128 Support for Integer ASTs
#387 opened Jul 25, 2025 by mehrad31415 Loading…
String Comparison Functionalities
#386 opened Jul 25, 2025 by mehrad31415 Loading…
Add binding for IEEE-754 bit-vector to FPA
#383 opened Jul 22, 2025 by KpwnZ Loading…
1
chore: release
#382 opened Jul 17, 2025 by toolCHAINZ Loading…
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 enhancement New feature or request
#337 opened Feb 11, 2025 by twizmwazin Loading…
3
Add missing API for BV enhancement New feature or request
#333 opened Jan 5, 2025 by the-ssd Loading…
1
1
Add apply_dynamic to FuncDecl enhancement New feature or request
#330 opened Dec 11, 2024 by cvick32 Loading…
Add bindings for sequence foldl 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…
5
Upload z3 built by vcpkg as release assets in CI. Maybe test whether it works in CI later.
#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! no:milestone will show everything without a milestone.