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

Clear current search query, filters, and sorts
38 Open 63 Closed
38 Open 63 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
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

Strongly typed bitvector-lengths
#162 opened Sep 28, 2021 by djrenren
1 👀 1
Constructing an uninterpreted sort value?
#190 opened Apr 12, 2022 by dijkstracula
👀 1
Update bindings for Z3 4.8.6
#64 opened Sep 24, 2019 by waywardmonkeys
2
Floating point ast Subtype
#74 opened Apr 14, 2020 by pascalkuthe
1
Varops crash with empty slice
#84 opened Jul 6, 2020 by st3ll1s
2
z3-sys fails to build on Windows?
#87 opened Aug 1, 2020 by zkat
6
Aren't Config, Context, Solver and friends Send-able?
#100 opened Oct 28, 2020 by Trolldemorted
4
Using Proofs
#140 opened Apr 11, 2021 by alpaylan
3
[Feature Request] Owned AST nodes
#144 opened Apr 30, 2021 by black-binary
1
How can I have recursive datatypes with arrays?
#149 opened Jul 7, 2021 by LEAFERx
Examples
#151 opened Jul 20, 2021 by cryslith
4
CXX.rs instead of bindgen
#152 opened Aug 5, 2021 by rlkelly
1
Overloading Rust operators for some of the Ast functions
#10 opened Jan 28, 2019 by Armavica
1
Feature request: domain, range and params on FuncDecl
#189 opened Mar 18, 2022 by cassanof
builds on windows are broken and subpar in general
#192 opened May 10, 2022 by Trolldemorted
1
How to avoid long time compilation?
#212 opened Aug 12, 2022 by syheliel
1
[Feature Request] Reading AST of uninterpreted functions from models.
#213 opened Nov 3, 2022 by daemontus
2
model value extraction
#219 opened Dec 21, 2022 by AdamGlass
3
Iterator for a solver
#221 opened Feb 12, 2023 by onthestairs
1
Fails to Build in Linux
#224 opened Mar 2, 2023 by Wright4TheJob
6
Use NonNull in Z3 safe bindings
#227 opened Mar 13, 2023 by Pat-Lafon
1
Symbol::as_z3_symbol can return Null Pointer
#235 opened Apr 12, 2023 by Pat-Lafon
1
Exposing application parameters
#238 opened May 2, 2023 by dp1
1
New release
#294 opened May 21, 2024 by toolCHAINZ
7
Unsafe function not marked as such
#170 opened Nov 6, 2021 by GreenBeard
1
ProTip! Updated in the last three days: updated:>2024-07-08.