Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / Z3Prover/z3 issues and pull requests

#7454 - Error handling for BitVec of size around 2**32

Issue - State: closed - Opened by yakymp 1 day ago

#7453 - expression is not registered error in user-propagator

Issue - State: closed - Opened by linusheck 4 days ago - 2 comments

#7452 - Proposed fix for #7451

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

#7451 - Z3 python plugin API's decide method broken

Issue - State: closed - Opened by linusheck 5 days ago

#7448 - Timeout with simple datatype example

Issue - State: closed - Opened by hiroshi-unno 8 days ago

#7447 - z3py docs aren't up to date

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

#7446 - Completeness issue on simple string formula

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

#7443 - Exception thrown by Solver.consequences()

Issue - State: closed - Opened by fsomenzi 13 days ago
Labels: Conseq

#7442 - Make build process work with pyodide

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

#7439 - Sls

Pull Request - State: closed - Opened by NikolajBjorner 16 days ago

#7438 - smt.sat=true bug?

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

#7437 - Add assert_and_track support to Optimize class in .NET binding

Pull Request - State: closed - Opened by NikolajBjorner 23 days ago - 1 comment

#7434 - simplify creating invalid operation on BVs

Issue - State: closed - Opened by rmcclure-nv 24 days ago

#7432 - Segfault with ill-founded datatype definition

Issue - State: closed - Opened by bclement-ocp 27 days ago

#7431 - Invalid model issue on float formula

Issue - State: open - Opened by merlinsun 27 days ago
Labels: Floats

#7429 - It uses C++20 BTW

Pull Request - State: closed - Opened by catap 28 days ago

#7428 - js: Adding manual release methods

Pull Request - State: closed - Opened by HalfdanJ 29 days ago - 8 comments

#7427 - JS High-level api - Memory cleanup

Issue - State: closed - Opened by HalfdanJ 30 days ago - 4 comments

#7426 - js: Add pseudo-boolean high-level functions

Pull Request - State: closed - Opened by HalfdanJ 30 days ago - 1 comment

#7425 - Spacer: Timeout with simple array example

Issue - State: open - Opened by mmsbrggr about 1 month ago - 5 comments
Labels: Horn

#7424 - pip: install errors on termux (Android)

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

#7423 - update unit_lim to the correct value

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

#7422 - fix the code to cube at the correct frequency

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

#7421 - Simplification Parameters Not Restricting as Expected in Parallel Mode

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

#7420 - Regression: Windows x64 DLL crashes for Z3 4.13.2 and 4.13.3

Issue - State: open - Opened by kfriedberger about 1 month ago - 6 comments

#7418 - Build Python distributions targeting wasm

Issue - State: closed - Opened by Zac-HD about 1 month ago - 28 comments

#7417 - z3 returning wrong sat-answer

Issue - State: open - Opened by jena-kling about 1 month ago - 1 comment
Labels: Horn

#7414 - Can Python bindings use external libz3.so?

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

#7412 - adding build failure investigator script

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

#7409 - Z3py Solver.to_smt2() does not include recursive function definitions

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

#7408 - Bump docker/build-push-action from 6.7.0 to 6.9.0

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

#7407 - Installation issue on macOS Sequoia

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

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

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

#7405 - Context Instantiation Causing Access Violation - Java API

Issue - State: open - Opened by wagne279 about 2 months ago - 2 comments

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

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

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

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

#7401 - wasm: increase timeout in tests

Pull Request - State: closed - Opened by bakkot about 2 months ago

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

Pull Request - State: closed - Opened by bakkot about 2 months ago - 3 comments

#7399 - WASM bindings are broken

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

#7398 - Z3 does not build with Clang 19

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

#7397 - Simplification rule suggestions (Extract and ULEQ)

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

#7396 - Refresh gcm script

Pull Request - State: closed - Opened by pelikhan about 2 months ago

#7395 - Compilation warnings on MacOSX

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

#7392 - Interesting UNKNOWN with QF_ABV

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

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

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

#7388 - Julia now uses the C API.

Pull Request - State: closed - Opened by PallHaraldsson about 2 months ago - 1 comment

#7387 - C API now used by Julia.

Pull Request - State: closed - Opened by PallHaraldsson about 2 months ago

#7386 - Missing tab in makefile

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

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

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

#7384 - Add cmake option for malloc_usable_size

Pull Request - State: closed - Opened by remysucre 2 months ago - 1 comment

#7383 - QF_ABV doesn't allow keyword const

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

#7382 - Attempting to redefine core symbols

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

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

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

#7378 - Release policy?

Issue - State: closed - Opened by Naville 2 months ago - 2 comments

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

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

#7376 - Issue with tactic `qsat`

Issue - State: closed - Opened by merlinsun 2 months ago - 2 comments

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

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

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

Issue - State: closed - Opened by Heaven2024 2 months ago

#7373 - Memory leaks about sat.phase

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

#7372 - Memory Leak about sat.lookahead.delta_fraction

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

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

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

#7368 - Soundness issue on arithmetic

Issue - State: closed - Opened by merlinsun 2 months ago - 4 comments

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

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

#7365 - Fix nightly

Pull Request - State: closed - Opened by rhelmot 3 months ago

#7364 - Incorrect number of arguments to Or

Issue - State: closed - Opened by tbbatbb 3 months ago

#7363 - Brittle use of quantifiers

Issue - State: closed - Opened by RustanLeino 3 months ago - 1 comment

#7359 - Z3 build on opam 2.2 Windows fails

Issue - State: closed - Opened by jrrk2 3 months ago - 6 comments

#7358 - Is dZ3 enabled by default?

Issue - State: closed - Opened by heroinedd 3 months ago - 1 comment

#7356 - New python packaging and tests

Pull Request - State: closed - Opened by rhelmot 3 months ago - 1 comment

#7356 - New python packaging and tests

Pull Request - State: open - Opened by rhelmot 3 months ago

#7355 - Python Error on Optimize deepcopy

Issue - State: open - Opened by colobrodo 3 months ago - 3 comments

#7355 - Python Error on Optimize deepcopy

Issue - State: closed - Opened by colobrodo 3 months ago - 2 comments

#7355 - Python Error on Optimize deepcopy

Issue - State: open - Opened by colobrodo 3 months ago - 3 comments

#7354 - Avoid broken stack by mbp_arrays

Pull Request - State: closed - Opened by catap 3 months ago

#7354 - Avoid broken stack by mbp_arrays

Pull Request - State: closed - Opened by catap 3 months ago

#7354 - Avoid broken stack by mbp_arrays

Pull Request - State: closed - Opened by catap 3 months ago

#7354 - Avoid broken stack by mbp_arrays

Pull Request - State: closed - Opened by catap 3 months ago

#7353 - Avoid broken stack at few places

Pull Request - State: closed - Opened by catap 3 months ago - 1 comment

#7353 - Avoid broken stack by degree_lit_num_lt

Pull Request - State: open - Opened by catap 3 months ago

#7352 - Potential non-termination or bitvector performance

Issue - State: closed - Opened by dc-mak 3 months ago - 2 comments

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

Pull Request - State: closed - Opened by saikat107 3 months ago - 2 comments

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

Pull Request - State: open - Opened by dependabot[bot] 3 months 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] 3 months 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] 3 months 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] 3 months ago
Labels: dependencies, github_actions

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

Pull Request - State: closed - Opened by dependabot[bot] 3 months ago
Labels: dependencies, github_actions