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

search graph: cache provisional results between fixpoint iterations #125167

Closed
wants to merge 6 commits into from
Closed

search graph: cache provisional results between fixpoint iterations #125167

wants to merge 6 commits into from

Commits on May 13, 2024

  1. move fixpoint step into subfunction

    @lcnr
    lcnr committed May 13, 2024
    Configuration menu
    Copy the full SHA
    76d9214 View commit details
    Browse the repository at this point in the history

  2. move global cache lookup into fn

    @lcnr
    lcnr committed May 13, 2024
    Configuration menu
    Copy the full SHA
    c0b0295 View commit details
    Browse the repository at this point in the history

Commits on May 15, 2024

  1. cache provisional results in fixpoint

    @lcnr
    lcnr committed May 15, 2024
    Configuration menu
    Copy the full SHA
    158cfeb View commit details
    Browse the repository at this point in the history

  2. change test to pass

    @lcnr
    lcnr committed May 15, 2024
    Configuration menu
    Copy the full SHA
    7afe017 View commit details
    Browse the repository at this point in the history

Commits on May 18, 2024

  1. check additional invariants, add test

    @lcnr
    lcnr committed May 18, 2024
    Configuration menu
    Copy the full SHA
    6a10b4a View commit details
    Browse the repository at this point in the history

  2. fix assert, remove TODO

    @lcnr
    lcnr committed May 18, 2024
    Configuration menu
    Copy the full SHA
    ad07cca View commit details
    Browse the repository at this point in the history