Skip to content

Pull requests: prove-rs/z3.rs

New pull request New
14 Open 204 Closed
14 Open 204 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Add high-level binding for quantifier creation with additional attributes
#326 opened Nov 28, 2024 by ole-thoeb Loading…
Add bindings for seq.++ and seq.unit
#323 opened Nov 7, 2024 by yagehu 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! What’s not been updated in a month: updated:<2024-11-01.