Z3Prover/z3 issues and pull requests

#7406 - Missing Java bindings for Linux on ARM64 in release 4.13.2

Issue - State: open - Opened by kfriedberger 1 day ago

#7405 - Context Instantiation Causing Access Violation - Java API

Issue - State: open - Opened by wagne279 3 days ago

#7404 - Performance regression with PyPI z3-solver Version 4.13.1.0

Issue - State: closed - Opened by iamnotthatbob 3 days ago - 1 comment

#7403 - Non-termination(?) when specifying mod0, div0, and additional rules with quantifiers

Issue - State: open - Opened by Janno 4 days ago

#7402 - `opt.solution_prefix` & `opt-dump_models` not working

Issue - State: open - Opened by bruderj15 4 days ago

#7401 - wasm: increase timeout in tests

Pull Request - State: closed - Opened by bakkot 5 days ago

#7400 - wasm: increase memory and attempt to GC in tests

Pull Request - State: closed - Opened by bakkot 5 days ago - 3 comments

#7399 - WASM bindings are broken

Issue - State: closed - Opened by NikolajBjorner 5 days ago - 2 comments

#7398 - Z3 does not build with Clang 19

Issue - State: closed - Opened by pdschbrt 6 days ago - 1 comment

#7397 - Simplification rule suggestions (Extract and ULEQ)

Issue - State: closed - Opened by Notselwyn 7 days ago - 1 comment

#7396 - Refresh gcm script

Pull Request - State: closed - Opened by pelikhan 7 days ago

#7395 - Compilation warnings on MacOSX

Issue - State: closed - Opened by LeventErkok 7 days ago

#7392 - Interesting UNKNOWN with QF_ABV

Issue - State: closed - Opened by LeventErkok 7 days ago

#7391 - Potential completeness issue on a simple instance involving `str.replace_all`

Issue - State: closed - Opened by merlinsun 8 days ago

#7389 - ULT has SignExt simplification, ULE(Q) does not

Issue - State: closed - Opened by Notselwyn 9 days ago - 5 comments

#7388 - Julia now uses the C API.

Pull Request - State: closed - Opened by PallHaraldsson 10 days ago - 1 comment

#7387 - C API now used by Julia.

Pull Request - State: closed - Opened by PallHaraldsson 10 days ago

#7386 - Missing tab in makefile

Issue - State: closed - Opened by LeventErkok 10 days ago - 1 comment

#7385 - Error during make due to invalid Makefile entry for `tactic.cpp`

Issue - State: closed - Opened by WangYihang 10 days ago - 1 comment

#7384 - Add cmake option for malloc_usable_size

Pull Request - State: closed - Opened by remysucre 12 days ago - 1 comment

#7383 - QF_ABV doesn't allow keyword const

Issue - State: closed - Opened by LeventErkok 12 days ago - 1 comment

#7382 - Attempting to redefine core symbols

Issue - State: closed - Opened by Heaven2024 12 days ago - 1 comment

#7381 - Assertion violation, src/ast/ast.cpp line 388

Issue - State: closed - Opened by jokasimr 13 days ago - 1 comment

#7379 - JS/Wasm binding linked against c++20 runtime instead of c++17 as expected by libz3

Issue - State: closed - Opened by asteadman 17 days ago - 6 comments

#7378 - Release policy?

Issue - State: open - Opened by Naville 17 days ago - 2 comments

#7377 - Array and bitvector theory to model flat memory queries

Issue - State: open - Opened by andreaslindner 18 days ago

#7376 - Issue with tactic `qsat`

Issue - State: closed - Opened by merlinsun 18 days ago - 2 comments

#7375 - Heap-use-after-free about sat.ddfw.threads

Issue - State: closed - Opened by Heaven2024 18 days ago - 1 comment

#7374 - Heap-use-after-free about sat.local_search_threads

Issue - State: closed - Opened by Heaven2024 18 days ago

#7373 - Memory leaks about sat.phase

Issue - State: closed - Opened by Heaven2024 18 days ago - 1 comment

#7372 - Memory Leak about sat.lookahead.delta_fraction

Issue - State: closed - Opened by Heaven2024 18 days ago - 1 comment

#7371 - Installing z3-solver python pacakge tagged v4.13.0 appears to install z3 v4.12.6

Issue - State: closed - Opened by benjaminfjones 19 days ago - 1 comment

#7370 - ASSERTION VIOLATION, File: src/math/lp/int_solver.cpp, Line: 658

Issue - State: closed - Opened by merlinsun 19 days ago - 1 comment

#7369 - Java api: the call to com.microsoft.z3.Native.INTERNALdelContext(Native Method) never ends

Issue - State: closed - Opened by freeideo 19 days ago - 1 comment

#7368 - Soundness issue on arithmetic

Issue - State: closed - Opened by merlinsun 19 days ago - 4 comments

#7366 - Latest versions of NuGet package does not include Linux binaries

Issue - State: closed - Opened by 89netraM 21 days ago - 2 comments
Labels: wontfix

#7365 - Fix nightly

Pull Request - State: closed - Opened by rhelmot 27 days ago

#7364 - Incorrect number of arguments to Or

Issue - State: closed - Opened by tbbatbb 29 days ago

#7363 - Brittle use of quantifiers

Issue - State: open - Opened by RustanLeino about 1 month ago - 1 comment

#7362 - smt_compliant setting makes script `unknown` with a bizarre reason

Issue - State: closed - Opened by LeventErkok about 1 month ago

#7359 - Z3 build on opam 2.2 Windows fails

Issue - State: closed - Opened by jrrk2 about 1 month ago - 6 comments

#7358 - Is dZ3 enabled by default?

Issue - State: closed - Opened by heroinedd about 1 month ago - 1 comment

#7357 - Unknown axiom required for verification, but not present in instantiation graph or unsat core

Issue - State: closed - Opened by kiranandcode about 1 month ago - 9 comments

#7356 - New python packaging and tests

Pull Request - State: open - Opened by rhelmot about 1 month ago

#7356 - New python packaging and tests

Pull Request - State: closed - Opened by rhelmot about 1 month ago - 1 comment

#7355 - Python Error on Optimize deepcopy

Issue - State: open - Opened by colobrodo about 1 month ago - 3 comments

#7355 - Python Error on Optimize deepcopy

Issue - State: open - Opened by colobrodo about 1 month ago - 3 comments

#7355 - Python Error on Optimize deepcopy

Issue - State: closed - Opened by colobrodo about 1 month ago - 2 comments

#7354 - Avoid broken stack by mbp_arrays

Pull Request - State: closed - Opened by catap about 1 month ago

#7354 - Avoid broken stack by mbp_arrays

Pull Request - State: closed - Opened by catap about 1 month ago

#7354 - Avoid broken stack by mbp_arrays

Pull Request - State: closed - Opened by catap about 1 month ago

#7354 - Avoid broken stack by mbp_arrays

Pull Request - State: closed - Opened by catap about 1 month ago

#7353 - Avoid broken stack at few places

Pull Request - State: closed - Opened by catap about 1 month ago - 1 comment

#7353 - Avoid broken stack by degree_lit_num_lt

Pull Request - State: open - Opened by catap about 1 month ago

#7352 - Potential non-termination or bitvector performance

Issue - State: open - Opened by dc-mak about 1 month ago - 1 comment

#7351 - Migrate string_buffer to use C++ smart pointer.

Pull Request - State: closed - Opened by saikat107 about 1 month ago - 2 comments

#7350 - Bump docker/build-push-action from 6.6.1 to 6.7.0

Pull Request - State: closed - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, github_actions

#7350 - Bump docker/build-push-action from 6.6.1 to 6.7.0

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, github_actions

#7350 - Bump docker/build-push-action from 6.6.1 to 6.7.0

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, github_actions

#7350 - Bump docker/build-push-action from 6.6.1 to 6.7.0

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, github_actions

#7350 - Bump docker/build-push-action from 6.6.1 to 6.7.0

Pull Request - State: open - Opened by dependabot[bot] about 1 month ago
Labels: dependencies, github_actions

#7347 - Performance issues after adding check-sat statement

Issue - State: closed - Opened by Heaven2024 about 2 months ago - 1 comment

#7345 - z3.Tactics returning z3.unknown upon BitVecRef < BitVecRef

Issue - State: closed - Opened by Notselwyn about 2 months ago - 2 comments

#7345 - z3.Tactics returning z3.unknown upon BitVecRef < BitVecRef

Issue - State: closed - Opened by Notselwyn about 2 months ago - 2 comments

#7344 - Issues related to options in smt module

Issue - State: open - Opened by r0ayane about 2 months ago

#7344 - Issues related to options in smt module

Issue - State: open - Opened by r0ayane about 2 months ago

#7344 - Issues related to options in smt module

Issue - State: closed - Opened by r0ayane about 2 months ago