Skip to content
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.

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

Fix mathsat signature for BV_CONCAT #598

Merged
merged 1 commit into from Jul 24, 2019

Conversation

@makaimann
Copy link
Contributor

commented Jul 22, 2019

Fixes an issue in the mathsat signature for concat. This was causing issues for sequence_interpolant when the interpolant contained concat because the signature wouldn't match.

@mikand

This comment has been minimized.

Copy link
Contributor

commented Jul 22, 2019

👍 Thanks @makaimann!

@mikand mikand merged commit 09dc303 into pysmt:master Jul 24, 2019

50 checks passed

clahub All contributors have signed the Contributor License Agreement.
Details
pysmt.pysmt Build #20190722.1 succeeded
Details
pysmt.pysmt (OSX10_13 Py27Msat) OSX10_13 Py27Msat succeeded
Details
pysmt.pysmt (OSX10_13 Py27NoSolver) OSX10_13 Py27NoSolver succeeded
Details
pysmt.pysmt (OSX10_13 Py27Yices) OSX10_13 Py27Yices succeeded
Details
pysmt.pysmt (OSX10_13 Py27Z3) OSX10_13 Py27Z3 succeeded
Details
pysmt.pysmt (OSX10_13 Py37Msat) OSX10_13 Py37Msat succeeded
Details
pysmt.pysmt (OSX10_13 Py37NoSolver) OSX10_13 Py37NoSolver succeeded
Details
pysmt.pysmt (OSX10_13 Py37Yices) OSX10_13 Py37Yices succeeded
Details
pysmt.pysmt (OSX10_13 Py37Z3) OSX10_13 Py37Z3 succeeded
Details
pysmt.pysmt (Ubuntu16All Py27All) Ubuntu16All Py27All succeeded
Details
pysmt.pysmt (Ubuntu16All Py27Cython) Ubuntu16All Py27Cython succeeded
Details
pysmt.pysmt (Ubuntu16All Py27CythonGMPy) Ubuntu16All Py27CythonGMPy succeeded
Details
pysmt.pysmt (Ubuntu16All Py27GMPy) Ubuntu16All Py27GMPy succeeded
Details
pysmt.pysmt (Ubuntu16All Py37All) Ubuntu16All Py37All succeeded
Details
pysmt.pysmt (Ubuntu16All Py37Cython) Ubuntu16All Py37Cython succeeded
Details
pysmt.pysmt (Ubuntu16All Py37CythonGMPy) Ubuntu16All Py37CythonGMPy succeeded
Details
pysmt.pysmt (Ubuntu16All Py37GMPy) Ubuntu16All Py37GMPy succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Bdd) Ubuntu16Py27 Py27Bdd succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Btor) Ubuntu16Py27 Py27Btor succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27CVC4) Ubuntu16Py27 Py27CVC4 succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Msat) Ubuntu16Py27 Py27Msat succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27MsatWrap) Ubuntu16Py27 Py27MsatWrap succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27NoSolver) Ubuntu16Py27 Py27NoSolver succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Picosat) Ubuntu16Py27 Py27Picosat succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Yices) Ubuntu16Py27 Py27Yices succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Z3) Ubuntu16Py27 Py27Z3 succeeded
Details
pysmt.pysmt (Ubuntu16Py27 Py27Z3Wrap) Ubuntu16Py27 Py27Z3Wrap succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Bdd) Ubuntu16Py37 Py37Bdd succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Btor) Ubuntu16Py37 Py37Btor succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37CVC4) Ubuntu16Py37 Py37CVC4 succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Msat) Ubuntu16Py37 Py37Msat succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37MsatWrap) Ubuntu16Py37 Py37MsatWrap succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37NoSolver) Ubuntu16Py37 Py37NoSolver succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Picosat) Ubuntu16Py37 Py37Picosat succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Yices) Ubuntu16Py37 Py37Yices succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Z3) Ubuntu16Py37 Py37Z3 succeeded
Details
pysmt.pysmt (Ubuntu16Py37 Py37Z3Wrap) Ubuntu16Py37 Py37Z3Wrap succeeded
Details
pysmt.pysmt (Ubuntu16PyPy2 PyPy2MsatWrap) Ubuntu16PyPy2 PyPy2MsatWrap succeeded
Details
pysmt.pysmt (Ubuntu16PyPy2 PyPy2NoSolver) Ubuntu16PyPy2 PyPy2NoSolver succeeded
Details
pysmt.pysmt (Ubuntu16PyPy2 PyPy2Z3Wrap) Ubuntu16PyPy2 PyPy2Z3Wrap succeeded
Details
pysmt.pysmt (Ubuntu16PyPy3 PyPy3MsatWrap) Ubuntu16PyPy3 PyPy3MsatWrap succeeded
Details
pysmt.pysmt (Ubuntu16PyPy3 PyPy3NoSolver) Ubuntu16PyPy3 PyPy3NoSolver succeeded
Details
pysmt.pysmt (Ubuntu16PyPy3 PyPy3Z3Wrap) Ubuntu16PyPy3 PyPy3Z3Wrap succeeded
Details
pysmt.pysmt (Win2016 Py27Msat) Win2016 Py27Msat succeeded
Details
pysmt.pysmt (Win2016 Py27NoSolver) Win2016 Py27NoSolver succeeded
Details
pysmt.pysmt (Win2016 Py27Z3) Win2016 Py27Z3 succeeded
Details
pysmt.pysmt (Win2016 Py37Msat) Win2016 Py37Msat succeeded
Details
pysmt.pysmt (Win2016 Py37NoSolver) Win2016 Py37NoSolver succeeded
Details
pysmt.pysmt (Win2016 Py37Z3) Win2016 Py37Z3 succeeded
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
2 participants
You can’t perform that action at this time.