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

Test the Resolver against the varisat Library #6980

Merged
merged 13 commits into from
May 28, 2019
Merged

Test the Resolver against the varisat Library #6980

merged 13 commits into from
May 28, 2019

Commits on May 21, 2019

  1. use varisat to verify the resolver

    @Eh2406
    Eh2406 committed May 21, 2019
    Configuration menu
    Copy the full SHA
    9602b78 View commit details
    Browse the repository at this point in the history

  2. make n smaller in the O(n^2) parts

    @Eh2406
    Eh2406 committed May 21, 2019
    Configuration menu
    Copy the full SHA
    f8008a4 View commit details
    Browse the repository at this point in the history

  3. use a better encoding

    @Eh2406
    Eh2406 committed May 21, 2019
    Configuration menu
    Copy the full SHA
    52cf0f7 View commit details
    Browse the repository at this point in the history

  4. amortize constructing the SAT solver

    @Eh2406
    Eh2406 committed May 21, 2019
    Configuration menu
    Copy the full SHA
    3c87b40 View commit details
    Browse the repository at this point in the history

  5. maintain almost the same interface

    @Eh2406
    Eh2406 committed May 21, 2019
    Configuration menu
    Copy the full SHA
    c7e23ae View commit details
    Browse the repository at this point in the history

Commits on May 22, 2019

  1. support public & private deps

    @Eh2406
    Eh2406 committed May 22, 2019
    Configuration menu
    Copy the full SHA
    6454efd View commit details
    Browse the repository at this point in the history

  2. use a topological_order to only make a var where needed

    @Eh2406
    Eh2406 committed May 22, 2019
    Configuration menu
    Copy the full SHA
    a25d8e9 View commit details
    Browse the repository at this point in the history

  3. Think of publicly_exports as being in terms of a set of `activation… 

    …s_key`s
    @Eh2406
    Eh2406 committed May 22, 2019
    Configuration menu
    Copy the full SHA
    c68334f View commit details
    Browse the repository at this point in the history

Commits on May 23, 2019

  1. Work around accidentally quadratic debug_assert in varisat

    @Eh2406
    Eh2406 committed May 23, 2019
    Configuration menu
    Copy the full SHA
    5143c0c View commit details
    Browse the repository at this point in the history

  2. make sure the complicated cases are at the end

    @Eh2406
    Eh2406 committed May 23, 2019
    Configuration menu
    Copy the full SHA
    514039e View commit details
    Browse the repository at this point in the history

  3. remove a redundant clause

    @Eh2406
    Eh2406 committed May 23, 2019
    Configuration menu
    Copy the full SHA
    a7676eb View commit details
    Browse the repository at this point in the history

Commits on May 24, 2019

  1. reuse vars where publicly_exports implies can_see

    @Eh2406
    Eh2406 committed May 24, 2019
    Configuration menu
    Copy the full SHA
    8458661 View commit details
    Browse the repository at this point in the history

  2. add a helper function

    @Eh2406
    Eh2406 committed May 24, 2019
    Configuration menu
    Copy the full SHA
    e08d032 View commit details
    Browse the repository at this point in the history