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

Jump to bottom

Fix space leak in solver backjumping #2916

Merged
merged 2 commits into from Mar 4, 2016
Merged

Fix space leak in solver backjumping #2916

merged 2 commits into from Mar 4, 2016

Commits on Jan 17, 2016

  1. Fix space leaks in dependency solver logging. 

    This commit removes references to the solver log that prevented it from being
garbage collected.  It also forces evaluation of the current level and variable
stack in 'Message.showMessages'.
    @grayjay
    grayjay committed Jan 17, 2016
    Copy the full SHA
    37f28f2 View commit details
    Browse the repository at this point in the history

  2. Fix space leak in solver backjumping 

    This commit refactors backjumping so that it uses the 'Progress' type instead of
separate references to a node's children and the conflict set calculated from
those children.
    @grayjay
    grayjay committed Jan 17, 2016
    Copy the full SHA
    8923a46 View commit details
    Browse the repository at this point in the history