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

#7347 - Performance issues after adding check-sat statement

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

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

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

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

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

#7344 - Issues related to options in smt module

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

#7344 - Issues related to options in smt module

Issue - State: open - Opened by r0ayane 3 months ago

#7344 - Issues related to options in smt module

Issue - State: open - Opened by r0ayane 3 months ago

#7344 - Issues related to options in smt module

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

#7343 - [SECURITY] Global Buffer Overflow in WCNF Parser

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

#7343 - [SECURITY] Global Buffer Overflow in WCNF Parser

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

#7343 - [SECURITY] Global Buffer Overflow in WCNF Parser

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

#7343 - [SECURITY] Global Buffer Overflow in WCNF Parser

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

#7343 - [SECURITY] Global Buffer Overflow in WCNF Parser

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

#7342 - Memory leaks about smt.string_solver

Issue - State: open - Opened by Heaven2024 3 months ago

#7342 - Memory leaks about smt.string_solver

Issue - State: open - Opened by Heaven2024 3 months ago

#7342 - Memory leaks about smt.string_solver

Issue - State: open - Opened by Heaven2024 3 months ago

#7342 - Memory leaks about smt.string_solver

Issue - State: open - Opened by Heaven2024 3 months ago

#7342 - Memory leaks about smt.string_solver

Issue - State: open - Opened by Heaven2024 3 months ago
Labels: z3str3

#7341 - unknown about a simple formula

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

#7340 - Unable to resolve apparently contradictory assert

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

#7338 - Bump docker/build-push-action from 6.5.0 to 6.6.1

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

#7337 - Fix building with Windows SDK and Clang-CL

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

#7335 - Java API: ClassCastException when getting EnumSort of constant

Issue - State: open - Opened by mmsbrggr 3 months ago - 1 comment

#7333 - port sample cell projection

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

#7333 - port sample cell projection

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

#7333 - port sample cell projection

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

#7333 - port sample cell projection

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

#7333 - port sample cell projection

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

#7330 - the Identity Problem for Semigroups

Issue - State: closed - Opened by AthlonAMDx64 4 months ago

#7330 - the Identity Problem for Semigroups

Issue - State: closed - Opened by AthlonAMDx64 4 months ago

#7329 - Slow performance on simple inequality

Issue - State: closed - Opened by r0ayane 4 months ago - 1 comment

#7329 - Slow performance on simple inequality

Issue - State: closed - Opened by r0ayane 4 months ago - 1 comment

#7329 - Slow performance on simple inequality

Issue - State: closed - Opened by r0ayane 4 months ago - 1 comment

#7328 - possible fix for #7255

Pull Request - State: open - Opened by hgvk94 4 months ago - 2 comments

#7328 - possible fix for #7255

Pull Request - State: open - Opened by hgvk94 4 months ago - 1 comment

#7328 - possible fix for #7255

Pull Request - State: open - Opened by hgvk94 4 months ago - 1 comment

#7328 - possible fix for #7255

Pull Request - State: open - Opened by hgvk94 4 months ago - 1 comment

#7328 - possible fix for #7255

Pull Request - State: open - Opened by hgvk94 4 months ago - 1 comment

#7327 - add scoped_vector invariants and unit tests

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7324 - update heap unit tests

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7324 - update heap unit tests

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7323 - fix dlist tests

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7323 - fix dlist tests

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7323 - fix dlist tests

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7323 - fix dlist tests

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7323 - fix dlist tests

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7322 - add apply_permutation tests

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7322 - add apply_permutation tests

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7322 - add apply_permutation tests

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7321 - Invalid model issue on floats

Issue - State: open - Opened by lsrcz 4 months ago
Labels: Floats

#7321 - Invalid model issue on floats

Issue - State: open - Opened by lsrcz 4 months ago
Labels: Floats

#7321 - Invalid model issue on floats

Issue - State: open - Opened by lsrcz 4 months ago
Labels: Floats

#7321 - Invalid model issue on floats

Issue - State: open - Opened by lsrcz 4 months ago
Labels: Floats

#7320 - Add "&lambda;" pretty printing to python

Pull Request - State: closed - Opened by philzook58 4 months ago

#7320 - Add "&lambda;" pretty printing to python

Pull Request - State: closed - Opened by philzook58 4 months ago

#7319 - Invalid model is generated but not reported with option model-validate

Issue - State: closed - Opened by kensingRichardt 4 months ago - 1 comment
Labels: duplicate, Horn

#7319 - Invalid model is generated but not reported with option model-validate

Issue - State: closed - Opened by kensingRichardt 4 months ago - 1 comment
Labels: duplicate, Horn

#7318 - __GNUC__ isn't always defined

Issue - State: closed - Opened by Naville 4 months ago - 3 comments

#7318 - __GNUC__ isn't always defined

Issue - State: open - Opened by Naville 4 months ago - 3 comments

#7318 - __GNUC__ isn't always defined

Issue - State: open - Opened by Naville 4 months ago - 3 comments

#7318 - __GNUC__ isn't always defined

Issue - State: open - Opened by Naville 4 months ago - 3 comments

#7317 - Revert "add scoped vector unit test"

Pull Request - State: closed - Opened by NikolajBjorner 4 months ago

#7317 - Revert "add scoped vector unit test"

Pull Request - State: closed - Opened by NikolajBjorner 4 months ago

#7317 - Revert "add scoped vector unit test"

Pull Request - State: closed - Opened by NikolajBjorner 4 months ago

#7316 - fix #7292

Pull Request - State: closed - Opened by hgvk94 4 months ago

#7315 - Release 4.13.1 does not contain libz3java.so

Issue - State: closed - Opened by kylekim72 4 months ago - 1 comment

#7315 - Release 4.13.1 does not contain libz3java.so

Issue - State: closed - Opened by kylekim72 4 months ago - 1 comment

#7315 - Release 4.13.1 does not contain libz3java.so

Issue - State: closed - Opened by kylekim72 4 months ago - 1 comment

#7315 - Release 4.13.1 does not contain libz3java.so

Issue - State: closed - Opened by kylekim72 4 months ago - 1 comment

#7313 - Gcc 15 two phase

Pull Request - State: closed - Opened by SoapGentoo 4 months ago - 1 comment

#7312 - Fix SIGINT handler to use sigaction with SA_ONSTACK flag

Pull Request - State: closed - Opened by NikolajBjorner 4 months ago

#7311 - FYI: Warnings during compilation

Issue - State: closed - Opened by LeventErkok 4 months ago

#7311 - FYI: Warnings during compilation

Issue - State: open - Opened by LeventErkok 4 months ago

#7311 - FYI: Warnings during compilation

Issue - State: open - Opened by LeventErkok 4 months ago

#7311 - FYI: Warnings during compilation

Issue - State: open - Opened by LeventErkok 4 months ago

#7311 - FYI: Warnings during compilation

Issue - State: open - Opened by LeventErkok 4 months ago

#7311 - FYI: Warnings during compilation

Issue - State: open - Opened by LeventErkok 4 months ago

#7311 - FYI: Warnings during compilation

Issue - State: closed - Opened by LeventErkok 4 months ago

#7311 - FYI: Warnings during compilation

Issue - State: open - Opened by LeventErkok 4 months ago

#7309 - assertion violation z3

Issue - State: closed - Opened by silvio-ghilardi 4 months ago

#7309 - assertion violation z3

Issue - State: open - Opened by silvio-ghilardi 4 months ago

#7309 - assertion violation z3

Issue - State: open - Opened by silvio-ghilardi 4 months ago

#7309 - assertion violation z3

Issue - State: open - Opened by silvio-ghilardi 4 months ago

#7308 - Set the SA_ONSTACK flag for SIGINT handlers

Pull Request - State: closed - Opened by tiborschneider 4 months ago

#7308 - Set the SA_ONSTACK flag for SIGINT handlers

Pull Request - State: closed - Opened by tiborschneider 4 months ago

#7308 - Set the SA_ONSTACK flag for SIGINT handlers

Pull Request - State: closed - Opened by tiborschneider 4 months ago

#7308 - Set the SA_ONSTACK flag for SIGINT handlers

Pull Request - State: closed - Opened by tiborschneider 4 months ago

#7308 - Set the SA_ONSTACK flag for SIGINT handlers

Pull Request - State: closed - Opened by tiborschneider 4 months ago

#7308 - Set the SA_ONSTACK flag for SIGINT handlers

Pull Request - State: closed - Opened by tiborschneider 4 months ago

#7307 - add scoped vector unit test

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7307 - add scoped vector unit test

Pull Request - State: closed - Opened by ChuyueSun 4 months ago

#7307 - add scoped vector unit test

Pull Request - State: open - Opened by ChuyueSun 4 months ago

#7307 - add scoped vector unit test

Pull Request - State: open - Opened by ChuyueSun 4 months ago