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

#7069 - Faster gc

Pull Request - State: closed - Opened by levnach 11 months ago - 1 comment

#7068 - Add Z3_get_estimated_alloc_size to OCaml API

Pull Request - State: closed - Opened by wintersteiger 11 months ago

#7067 - tptr: add pointer tagging templates

Pull Request - State: closed - Opened by JakobR 11 months ago

#7066 - Vector updates from polysat branch

Pull Request - State: closed - Opened by JakobR 11 months ago

#7065 - Bump actions/upload-artifact from 3 to 4

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

#7064 - error while loading shared libraries: libz3.so

Issue - State: closed - Opened by anirjoshi 11 months ago - 1 comment

#7063 - Merge shared parts from polysat branch

Pull Request - State: closed - Opened by JakobR 11 months ago - 3 comments

#7062 - Bug Discovery in Z3 Python; Resolution Found in Z4 Project

Issue - State: closed - Opened by AntoineBlaud 11 months ago - 2 comments

#7061 - Z3Py is returning UNSAT for SAT instances involving the string solver.

Issue - State: closed - Opened by pkalita595 11 months ago - 1 comment

#7060 - Fix bug in fp.round_to_integral

Pull Request - State: closed - Opened by wintersteiger 11 months ago

#7059 - Use `override` more.

Pull Request - State: closed - Opened by waywardmonkeys 11 months ago

#7058 - Use `noexcept` more.

Pull Request - State: closed - Opened by waywardmonkeys 11 months ago - 2 comments

#7057 - Disable Python compilation cache during build

Pull Request - State: closed - Opened by wintersteiger 11 months ago

#7056 - fp.roundToIntegral gives invalid zero_extend application

Issue - State: closed - Opened by nunoplopes 11 months ago
Labels: Floats

#7054 - Revert "Disable Python compilation cache during build"

Pull Request - State: closed - Opened by NikolajBjorner 11 months ago - 2 comments

#7053 - Problems solved by z3-python

Issue - State: closed - Opened by Byxs20 11 months ago - 1 comment

#7052 - Disable Python compilation cache during build

Pull Request - State: closed - Opened by wintersteiger 11 months ago

#7051 - tptr.h: Include `<cstdint>` once rather than twice.

Pull Request - State: closed - Opened by waywardmonkeys 11 months ago

#7050 - Arm64 binaries for Windows

Issue - State: closed - Opened by Xazax-hun 11 months ago - 3 comments

#7050 - Arm64 binaries for Windows

Issue - State: open - Opened by Xazax-hun 11 months ago - 1 comment

#7048 - Nuget.org feed is not updated with last versions of Microsoft.Z3

Issue - State: closed - Opened by GennadyGS 12 months ago - 3 comments

#7048 - Nuget.org feed is not updated with last versions of Microsoft.Z3

Issue - State: closed - Opened by GennadyGS 12 months ago - 3 comments

#7047 - Recent OSX wheels cannot be installed on Intel

Issue - State: closed - Opened by stessaris 12 months ago - 6 comments

#7047 - Recent OSX wheels cannot be installed on Intel

Issue - State: closed - Opened by stessaris 12 months ago - 7 comments

#7046 - Python bindings: poor performance when loading large instances

Issue - State: closed - Opened by joerowell 12 months ago - 1 comment

#7046 - Python bindings: poor performance when loading large instances

Issue - State: closed - Opened by joerowell 12 months ago - 1 comment

#7045 - Python: Improve BoolRef addition

Pull Request - State: closed - Opened by tyilo 12 months ago

#7044 - fix shebang syntax issue

Pull Request - State: closed - Opened by chenrui333 12 months ago

#7043 - Overload xor operator for BoolRef

Pull Request - State: closed - Opened by tyilo 12 months ago

#7042 - Use built-in `importlib.resources` on Python 3.9+

Pull Request - State: closed - Opened by mgorny 12 months ago - 1 comment

#7041 - Python bindings: Missing `importlib_resources` dependency

Issue - State: closed - Opened by tyilo 12 months ago - 7 comments

#7039 - simple scheme of choosing a column for gomory cut

Pull Request - State: closed - Opened by levnach 12 months ago

#7038 - Z3 python bitvector performance cliff

Issue - State: open - Opened by intrigus-lgtm 12 months ago - 5 comments

#7037 - invalid model issue on a QF_DT instance

Issue - State: closed - Opened by zhendongsu 12 months ago

#7034 - Fix fp.to_fp

Pull Request - State: closed - Opened by wintersteiger 12 months ago

#7033 - Assertion violation at File: ../src/ast/ast.h Line: 952

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

#7031 - Install Python bindings without rebuilding Z3

Issue - State: closed - Opened by Flamefire 12 months ago

#7030 - Clarify optimizer guarantees

Pull Request - State: closed - Opened by hexagonrecursion 12 months ago - 3 comments

#7028 - CMake: Improve handling of git hash/describe

Pull Request - State: closed - Opened by Flamefire 12 months ago

#7027 - [consolidated] new core

Issue - State: open - Opened by NikolajBjorner 12 months ago - 32 comments

#7026 - [consolidated] new core, floats

Issue - State: open - Opened by NikolajBjorner 12 months ago - 5 comments
Labels: Floats

#7024 - Invalid model on QF_NRA

Issue - State: closed - Opened by merlinsun 12 months ago

#7022 - Fix syntax warning when using Python 3.12.

Pull Request - State: closed - Opened by waywardmonkeys 12 months ago

#7021 - Bump mymindstorm/setup-emsdk from 12 to 13

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

#7019 - cmake: Use `FindPython3`.

Pull Request - State: closed - Opened by waywardmonkeys 12 months ago

#7017 - Invalid model on QF_ANIRA

Issue - State: closed - Opened by merlinsun 12 months ago

#7016 - mbp: term: Fix reorder ctor warning.

Pull Request - State: closed - Opened by waywardmonkeys 12 months ago

#7015 - cmake: Require cmake 3.16 or later.

Pull Request - State: closed - Opened by waywardmonkeys 12 months ago - 5 comments

#7014 - z3.h: Don't include `stdio.h`

Pull Request - State: closed - Opened by waywardmonkeys 12 months ago - 1 comment

#7013 - Add accessors for RCF numeral internals

Pull Request - State: closed - Opened by wintersteiger 12 months ago

#7011 - signed-subtraction overflow: invalid unsat result

Issue - State: closed - Opened by LeventErkok 12 months ago - 7 comments

#7010 - `bvsnego` or `bvnego`

Issue - State: closed - Opened by LeventErkok 12 months ago - 5 comments

#7009 - Is it possible to always get rational solutions for NRA?

Issue - State: closed - Opened by anirjoshi 12 months ago - 1 comment

#7008 - Bump docker/build-push-action from 5.0.0 to 5.1.0

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

#7006 - model completion for datatypes?

Issue - State: closed - Opened by quickbeam123 12 months ago

#7005 - Integration Issue: Z3 Solver Warning in Hardhat Compilation on OpenSUSE Leap 15.4

Issue - State: closed - Opened by MaryemHadjWannes 12 months ago - 1 comment
Labels: external

#7004 - Is it possible to always get rational solutions for NRA?

Issue - State: closed - Opened by anirjoshi 12 months ago - 1 comment

#7003 - .NET application crashes with memory access exception

Issue - State: closed - Opened by GennadyGS 12 months ago - 2 comments

#7002 - test-java

Pull Request - State: closed - Opened by NikolajBjorner about 1 year ago

#7001 - Q: Enum sort numerals

Issue - State: closed - Opened by wintersteiger about 1 year ago - 2 comments

#7000 - Segfault in Solver#toString in java binding

Issue - State: closed - Opened by BossyMr about 1 year ago - 3 comments

#6999 - Qel fixes

Pull Request - State: closed - Opened by hgvk94 about 1 year ago - 1 comment

#6998 - [Question]: Meaning of function ending with "0" in uninterpreted function.

Issue - State: closed - Opened by hagozaebii about 1 year ago - 1 comment

#6996 - Assertion violation for quantified LIRA in new core

Issue - State: closed - Opened by joe-hauns about 1 year ago

#6995 - Unsound result for quantified LIRA

Issue - State: closed - Opened by joe-hauns about 1 year ago - 1 comment

#6994 - Invalid model on QF_NRA

Issue - State: closed - Opened by merlinsun about 1 year ago - 1 comment

#6993 - Revert unsound NaN constraints in theory_fpa

Pull Request - State: closed - Opened by wintersteiger about 1 year ago - 1 comment

#6992 - Fix memory and concurrency issues in OCaml API

Pull Request - State: closed - Opened by wintersteiger about 1 year ago

#6991 - Issue with tactic

Issue - State: closed - Opened by merlinsun about 1 year ago
Labels: qel

#6988 - Invalid model issue on QF_NRA

Issue - State: closed - Opened by merlinsun about 1 year ago

#6987 - Any reason why pypi does not have version 4.12.3 ?

Issue - State: closed - Opened by pcarbonn about 1 year ago - 1 comment

#6985 - fixed possible undefined variable assigment

Pull Request - State: closed - Opened by EyalBrilling about 1 year ago - 3 comments

#6984 - ASSERTION VIOLATION, File: ../src/qe/qsat.cpp, Line: 580

Issue - State: closed - Opened by merlinsun about 1 year ago

#6983 - refutation unsoundness issue on a QF_AFP instance

Issue - State: closed - Opened by zhendongsu about 1 year ago - 3 comments
Labels: Floats

#6982 - invalid model issue on an incremental QF_SLIA formula

Issue - State: open - Opened by zhendongsu about 1 year ago
Labels: string

#6981 - refutation unsoundness issue on QF_NRA formula

Issue - State: closed - Opened by zhendongsu about 1 year ago - 1 comment
Labels: duplicate

#6980 - add changes in lp with validate_bound and maximize_term

Pull Request - State: closed - Opened by levnach about 1 year ago

#6979 - WARNINGS_AS_ERRORS is ON/OFF, not TRUE/FALSE

Pull Request - State: closed - Opened by AE1020 about 1 year ago

#6978 - invalid model issue on an incremental QF_NIA instance

Issue - State: closed - Opened by zhendongsu about 1 year ago - 1 comment

#6977 - Z3 reports unknown with quantifiers and finite datatypes

Issue - State: closed - Opened by ryandancy about 1 year ago - 2 comments

#6976 - Add Z3_solver_interrupt to OCaml API

Pull Request - State: closed - Opened by wintersteiger about 1 year ago

#6975 - Fixed parsing of | and \

Pull Request - State: closed - Opened by CEisenhofer about 1 year ago

#6974 - Unsoundness with floats

Issue - State: closed - Opened by LeventErkok about 1 year ago - 7 comments
Labels: Floats

#6973 - Fixed parsing of | and \

Pull Request - State: closed - Opened by CEisenhofer about 1 year ago - 4 comments

#6972 - Regression with floats

Issue - State: closed - Opened by nunoplopes about 1 year ago - 1 comment
Labels: Floats

#6971 - heap-use-after-free at math/polynomial/algebraic_numbers.h:371:40

Issue - State: closed - Opened by merlinsun about 1 year ago - 5 comments