Skip to content

Pull requests: prove-rs/z3.rs

New pull request New
20 Open 207 Closed
20 Open 207 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

Add bindings to the user propagator
#344 opened Apr 8, 2025 by puyral Loading…
1
1
Make z3_ctx pub
#341 opened Mar 30, 2025 by toolCHAINZ Loading…
3
Add Order instantiation to FuncDecl
#340 opened Mar 27, 2025 by grahnen Loading…
Panic through rust if provided an invalid tactic str to prevent SIGSEGV
#339 opened Mar 21, 2025 by bakerk98 Loading…
Update DeclKind in z3-sys for new values
#337 opened Feb 11, 2025 by twizmwazin Loading…
3
Add is_infinite, is_normal, is_subnormal, is_zero, is_nan to Float
#336 opened Feb 10, 2025 by twizmwazin Loading…
4
Add missing API for BV
#333 opened Jan 5, 2025 by the-ssd Loading…
1
1
Add apply_dynamic to FuncDecl
#330 opened Dec 11, 2024 by cvick32 Loading…
Add bindings for sequence foldl
#314 opened Oct 8, 2024 by yagehu Loading…
1
feat: creating reals from numeral strings
#307 opened Aug 2, 2024 by lucascool12 Loading…
Feat exact f64
#306 opened Aug 2, 2024 by lucascool12 Loading…
1
Real fn renames and Eq refactor
#305 opened Jul 26, 2024 by dragazo Loading…
2
Into i64
#271 opened Nov 10, 2023 by Pat-Lafon Loading…
Allow creating Int from i32
#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
Use downloaded Z3 binary by default when static-link-z3 flag is active
#249 opened Sep 11, 2023 by yasuo-ozu Loading…
8
Stop ignoring test_solver_unknown
#210 opened Jul 27, 2022 by SeeSpring Loading…
1
Stop ignoring errors in CI.
#207 opened Jul 26, 2022 by waywardmonkeys Loading…
8
added bindings for z3_param_descrs and related functions
#198 opened Jun 5, 2022 by AndesVL Loading…
Add binding for Z3_get_implied_equalities
#171 opened Nov 8, 2021 by wsx-ucb Loading…
1
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy