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.

Sign up for GitHub

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 incremental warnings with reluctant destabilization #709

Merged
merged 5 commits into from
May 2, 2022
Merged

Fix incremental warnings with reluctant destabilization #709

merged 5 commits into from
May 2, 2022

Commits on Apr 27, 2022

  1. Add test for incremental warnings not removed with reluctant destabil… 

    …ization (issue #708)
    @sim642
    sim642 committed Apr 27, 2022
    Configuration menu
    Copy the full SHA
    616c0ed View commit details
    Browse the repository at this point in the history

  2. Fix incremental unknown deletion to apply to incremental postsolving … 

    …structures as well (issue #708)
    @sim642
    sim642 committed Apr 27, 2022
    Configuration menu
    Copy the full SHA
    60b756b View commit details
    Browse the repository at this point in the history

  3. Add test where warning should remain.

    @vesalvojdani
    vesalvojdani committed Apr 27, 2022
    Configuration menu
    Copy the full SHA
    428cda0 View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2022

  1. Add test for incremental warnings not added with reluctant destabiliz… 

    …ation (PR #709)
    @sim642
    sim642 committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    b4fd3cb View commit details
    Browse the repository at this point in the history

  2. Fix reluctantly not destabilized functions not being postsolved (PR #709 

    )
    @sim642
    sim642 committed Apr 28, 2022
    Configuration menu
    Copy the full SHA
    aca39c3 View commit details
    Browse the repository at this point in the history