Skip to content

Issues: prove-rs/z3.rs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

40 Open 60 Closed
40 Open 60 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

New release
#294 opened May 21, 2024 by toolCHAINZ
Float binding issues
#291 opened May 5, 2024 by Dessix
5 tasks
No way to access the raw Z3_sort from Sort<'ctx> or Z3_context from Context
#290 opened May 5, 2024 by Dessix
About arrays equal
#288 opened Apr 1, 2024 by carbonium14
1
Build failure on Mac
#286 opened Mar 21, 2024 by GuanmingQiao
2
Max-SMT problem
#284 opened Feb 29, 2024 by FoxMakarov
5
Where are the examples
#282 opened Dec 24, 2023 by kallehed
1
About solver speed
#278 opened Nov 27, 2023 by carbonium14
2
Support for regular expression "mk_re_all" and "mk_re_allchar"
#272 opened Nov 18, 2023 by pzhang101
1
2
get_unsat_core for Optimize
#268 opened Nov 4, 2023 by poscat0x04
4
Mark self as mut borrow in solver methods?
#266 opened Nov 2, 2023 by 108anup
4
[Help Wanted] Why incremental mode does not keep num of decisions down in this case?
#265 opened Nov 2, 2023 by aur3l14no
About Array
#263 opened Oct 29, 2023 by FoxMakarov
3
Use an "implicit" Context?
#261 opened Oct 26, 2023 by waywardmonkeys
Use logical shift right for BV '>>' operator
#243 opened Jul 18, 2023 by JPaja
2
Exposing application parameters
#238 opened May 2, 2023 by dp1
1
Symbol::as_z3_symbol can return Null Pointer
#235 opened Apr 12, 2023 by Pat-Lafon
1
Use NonNull in Z3 safe bindings
#227 opened Mar 13, 2023 by Pat-Lafon
1
Fails to Build in Linux
#224 opened Mar 2, 2023 by Wright4TheJob
6
Iterator for a solver
#221 opened Feb 12, 2023 by onthestairs
1
model value extraction
#219 opened Dec 21, 2022 by AdamGlass
3
[Feature Request] Reading AST of uninterpreted functions from models.
#213 opened Nov 3, 2022 by daemontus
2
How to avoid long time compilation?
#212 opened Aug 12, 2022 by syheliel
1
builds on windows are broken and subpar in general
#192 opened May 10, 2022 by Trolldemorted
1
Constructing an uninterpreted sort value?
#190 opened Apr 12, 2022 by dijkstracula
ProTip! Add no:assignee to see everything that’s not assigned.