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

Use available versions to simplify unsat error reports #547

Merged
merged 14 commits into from
Dec 12, 2023
Merged

Use available versions to simplify unsat error reports #547

merged 14 commits into from
Dec 12, 2023

Commits on Dec 12, 2023

  1. WIP

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    6bfe122 View commit details
    Browse the repository at this point in the history

  2. Rename to available_versions

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    5ea2ef3 View commit details
    Browse the repository at this point in the history

  3. Implement new and unreachable

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    1796253 View commit details
    Browse the repository at this point in the history

  4. WIP

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    b49deb7 View commit details
    Browse the repository at this point in the history

  5. Avoid clone

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    bd09a3d View commit details
    Browse the repository at this point in the history

  6. Handle in resolve

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    88115eb View commit details
    Browse the repository at this point in the history

  7. Remove uneeded lifetime

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    5cb027a View commit details
    Browse the repository at this point in the history

  8. Lint

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    ee3e719 View commit details
    Browse the repository at this point in the history

  9. Add docs

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    15adda0 View commit details
    Browse the repository at this point in the history

  10. Bump pubgrub to astral-sh/pubgrub#12

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    cd14131 View commit details
    Browse the repository at this point in the history

  11. Bump to merged commit

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    a5992a9 View commit details
    Browse the repository at this point in the history

  12. Refactor as requested in review 

    Fix PubGrub commit
    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    2a841c4 View commit details
    Browse the repository at this point in the history

  13. Update with main

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    f5f9943 View commit details
    Browse the repository at this point in the history

  14. Fmt

    @zanieb
    zanieb committed Dec 12, 2023
    Configuration menu
    Copy the full SHA
    0d02a0f View commit details
    Browse the repository at this point in the history