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

Release/0.7.5 #484

merged 4 commits into from May 30, 2018


None yet
2 participants

marcogario commented May 20, 2018

Release branch for 0.7.5.

This is currently blocked by #483.

@marcogario marcogario self-assigned this May 20, 2018


This comment has been minimized.


varunpatro commented May 25, 2018

Can you also consider adding my PR #486 to this release?

My colleagues and I use mac for our work, and found that QF_LIA is best solved by Yices. For which I've now added support.


This comment has been minimized.


marcogario commented May 27, 2018

I would prefer to complete 0.7.5 with the items that were in scope, since there seems to be some backwards compatibility issue with OSX in #486.

Do you need to pip install pysmt? Is this preferable than cloning the git repo? If so, we can do a dev release with support for yices and osx, once we address this issue.
I would also like to evaluate whether the state of their python bindings is mature enough as to replace yicespy (our own wrapper) [1].


@marcogario marcogario merged commit f14edd4 into master May 30, 2018

3 of 5 checks passed

continuous-integration/travis-ci/push The Travis CI build could not complete due to an error
continuous-integration/travis-ci/pr The Travis CI build is in progress
clahub All contributors have signed the Contributor License Agreement.
continuous-integration/appveyor/branch AppVeyor build succeeded
continuous-integration/appveyor/pr AppVeyor build succeeded

@marcogario marcogario deleted the release/0.7.5 branch May 30, 2018

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment