Pull requests: prove-rs/z3.rs
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Add creating reals from any numeral and getting f64 from reals
#287
opened Mar 29, 2024 by
lucascool12
Loading…
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
Use downloaded Z3 binary by default when
static-link-z3
flag is active
#249
opened Sep 11, 2023 by
yasuo-ozu
Loading…
added bindings for z3_param_descrs and related functions
#198
opened Jun 5, 2022 by
AndesVL
Loading…
Implement constructing consts of an uninterpreted sort
#191
opened Apr 21, 2022 by
dijkstracula
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.