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

Can't convert dynamic coming from array into DataType
#299 by CyrilFMoser was closed Jun 4, 2024
No way to access the raw Z3_sort from Sort<'ctx> or Z3_context from Context
#290 by Dessix was closed May 29, 2024
1
Trouble with adding an element to set
#289 by srod5125 was closed Apr 9, 2024
2
Disable DEBUG printing?
#285 by endre90 was closed Mar 12, 2024
5
Support for regular expression "mk_re_all" and "mk_re_allchar"
#272 by pzhang101 was closed May 31, 2024
1
2
References inside AST nodes
#262 by 108anup was closed Oct 27, 2023
3
Can't link application that depends on z3-sys built with feature vcpkg on Linux
#257 by hermanventer was closed Oct 25, 2023
4
z3 0.12.0 built failed on aarch64 musl
#245 by Xuanwo was closed Jul 25, 2023
3
New release?
#241 by skyf0l was closed Jul 23, 2023
2
future-incompatibilities raised by z3-sys
#237 by Xuanwo was closed Jul 23, 2023
5
Int::power(&Int) returns Int but it is Real
#220 by HKalbasi was closed Jun 15, 2023
1
Wasm build
#215 by HKalbasi was closed Dec 15, 2022
1
2
Bizarre and inconsistent results
#214 by shriphani was closed Nov 7, 2022
1
z3 v4.8.12 has memory leaks
#200 by Trolldemorted was closed Apr 1, 2023
1
Optimizer weights can be negative
#186 by aquarial was closed Mar 4, 2022
1
Can't build z3-sys on windows
#183 by hermanventer was closed Oct 24, 2023
2
Z3 fails to build with Cmake 3.10.2
#182 by domenukk was closed Dec 14, 2021
1
CI passes on failed tests
#179 by SeeSpring was closed Jan 21, 2022
1
Goal::new_from_z3_type is unsound
#173 by SeeSpring was closed Jul 22, 2022
1
z3-sys cannot find z3.h
#172 by DavePearce was closed Dec 15, 2022
8
How do I call Z3_mk_tuple_sort?
#167 by ahelwer was closed Jan 30, 2022
4
Can you use the higher-level z3 crate API then drop down to the lower-level z3-sys API as needed?
#166 by ahelwer was closed Jan 30, 2022
1
Are sequences supported in the high-level API crate?
#165 by ahelwer was closed Jan 30, 2022
1
Provide example github actions workflow building package with cache
#164 by ahelwer was closed Oct 18, 2021
1
SortDiffers error/power should return Real instead of Int
#163 by skius was closed Oct 24, 2023
2
ProTip! Mix and match filters to narrow down what you’re looking for.