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

Implement marker trees using algebraic decision diagrams #5898

Merged
merged 13 commits into from
Aug 9, 2024
Merged

Implement marker trees using algebraic decision diagrams #5898

merged 13 commits into from
Aug 9, 2024

Commits on Aug 9, 2024

  1. implement marker trees using algebraic decision diagrams

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    f29d961 View commit details
    Browse the repository at this point in the history

  2. simplify marker expressions when deserializing lockfile

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    d91850a View commit details
    Browse the repository at this point in the history

  3. add tests for NP-complete marker simplification cases

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    d960838 View commit details
    Browse the repository at this point in the history

  4. update lockfile snapshots

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    c478bde View commit details
    Browse the repository at this point in the history

  5. move new pep508-rs dependencies to workspace root

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    1200ce0 View commit details
    Browse the repository at this point in the history

  6. remove unnecessary pub

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    c6ca22a View commit details
    Browse the repository at this point in the history

  7. document invariants of marker tree Edges

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    e961cf7 View commit details
    Browse the repository at this point in the history

  8. document marker operation cache semantics

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    cdd0482 View commit details
    Browse the repository at this point in the history

  9. document invariant of Edges::apply

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    6a599ff View commit details
    Browse the repository at this point in the history

  10. document and clean up Edges::apply routine

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    efd0fd7 View commit details
    Browse the repository at this point in the history

  11. clarify depth-first traversal in collect_dnf

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    1d7fc07 View commit details
    Browse the repository at this point in the history

  12. apply suggestions from code review

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    cccbe8c View commit details
    Browse the repository at this point in the history

  13. typos

    @ibraheemdev
    ibraheemdev committed Aug 9, 2024
    Configuration menu
    Copy the full SHA
    2f06d72 View commit details
    Browse the repository at this point in the history