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

try to improve simplify performance #2850

Merged
merged 7 commits into from Oct 14, 2017

Conversation

Projects
None yet
1 participant
@matthid
Member

matthid commented Oct 14, 2017

Let's see if that is enough.

matthid added some commits Oct 14, 2017

fix bogus cache (do not cache PrivateRawFormula as then the actual fo…
…rmula representation doesn't match). Caching the framework list should be enough.
@matthid

This comment has been minimized.

Show comment
Hide comment
@matthid

matthid Oct 14, 2017

Member

Both CI failures are already on master....

Member

matthid commented Oct 14, 2017

Both CI failures are already on master....

@matthid matthid changed the title from try to improve simplify performance to [WIP] try to improve simplify performance Oct 14, 2017

matthid added some commits Oct 14, 2017

@matthid matthid changed the title from [WIP] try to improve simplify performance to try to improve simplify performance Oct 14, 2017

@matthid matthid merged commit e2df272 into master Oct 14, 2017

2 of 4 checks passed

continuous-integration/travis-ci/pr The Travis CI build failed
Details
continuous-integration/travis-ci/push The Travis CI build failed
Details
continuous-integration/appveyor/branch AppVeyor build succeeded
Details
continuous-integration/appveyor/pr AppVeyor build succeeded
Details
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment