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

Proof caching: use dependency graph to increase hit rate #3305

Merged
merged 42 commits into from
Feb 8, 2024
Merged

Proof caching: use dependency graph to increase hit rate #3305

merged 42 commits into from
Feb 8, 2024

Commits on Oct 19, 2023

  1. Move caching extension to gradle module

    @FliegendeWurst
    FliegendeWurst committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    eb2b772 View commit details
    Browse the repository at this point in the history

  2. Use dependency graph information in caching

    @FliegendeWurst
    FliegendeWurst committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    df58f4f View commit details
    Browse the repository at this point in the history

  3. Handle slicing data in cache copy

    @FliegendeWurst
    FliegendeWurst committed Oct 19, 2023
    Configuration menu
    Copy the full SHA
    77140f2 View commit details
    Browse the repository at this point in the history

Commits on Oct 23, 2023

  1. Drop always-false instanceof check in constructor

    @FliegendeWurst
    FliegendeWurst committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    8c2ee38 View commit details
    Browse the repository at this point in the history

  2. Optimize dependency graph based sequent reduction 

    Co-Authored-By: Richard Bubel <bubel@cs.tu-darmstadt.de>
    @FliegendeWurst @unp1
    FliegendeWurst and unp1 committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    c6390c7 View commit details
    Browse the repository at this point in the history

  3. SubtreeIterator: adhere to Iterator spec

    @FliegendeWurst
    FliegendeWurst committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    472f71a View commit details
    Browse the repository at this point in the history

  4. Implement chain shortening in dependency graph

    @FliegendeWurst
    FliegendeWurst committed Oct 23, 2023
    Configuration menu
    Copy the full SHA
    abc94d0 View commit details
    Browse the repository at this point in the history

Commits on Oct 24, 2023

  1. Merge remote-tracking branch 'origin/main' into caching-sliced

    @FliegendeWurst
    FliegendeWurst committed Oct 24, 2023
    Configuration menu
    Copy the full SHA
    25ba99b View commit details
    Browse the repository at this point in the history

Commits on Oct 26, 2023

  1. Merge remote-tracking branch 'origin/main' into caching-sliced

    @FliegendeWurst
    FliegendeWurst committed Oct 26, 2023
    Configuration menu
    Copy the full SHA
    27a15d0 View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2023

  1. Test case (WIP)

    @FliegendeWurst
    FliegendeWurst committed Oct 29, 2023
    Configuration menu
    Copy the full SHA
    7e90a72 View commit details
    Browse the repository at this point in the history

Commits on Oct 30, 2023

  1. Merge remote-tracking branch 'origin/main' into caching-sliced

    @FliegendeWurst
    FliegendeWurst committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    1262ab4 View commit details
    Browse the repository at this point in the history

  2. Fix test case

    @FliegendeWurst
    FliegendeWurst committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    0952001 View commit details
    Browse the repository at this point in the history

  3. Remove debug print

    @FliegendeWurst
    FliegendeWurst committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    f10fa9d View commit details
    Browse the repository at this point in the history

  4. Move over test files into keyext.caching

    @FliegendeWurst
    FliegendeWurst committed Oct 30, 2023
    Configuration menu
    Copy the full SHA
    5230459 View commit details
    Browse the repository at this point in the history

Commits on Nov 2, 2023

  1. Fix testcase location

    @FliegendeWurst
    FliegendeWurst committed Nov 2, 2023
    Configuration menu
    Copy the full SHA
    3cfd950 View commit details
    Browse the repository at this point in the history

Commits on Nov 4, 2023

  1. Merge remote-tracking branch 'origin/main' into caching-sliced

    @FliegendeWurst
    FliegendeWurst committed Nov 4, 2023
    Configuration menu
    Copy the full SHA
    f4850f1 View commit details
    Browse the repository at this point in the history

  2. Fix slicing of proofs with certain filenames 

    Fixes issue KeYProject#3336
    @FliegendeWurst
    FliegendeWurst committed Nov 4, 2023
    Configuration menu
    Copy the full SHA
    1dd5f47 View commit details
    Browse the repository at this point in the history

  3. Dependency Graph: tooltips for rendering modifiers

    @FliegendeWurst
    FliegendeWurst committed Nov 4, 2023
    Configuration menu
    Copy the full SHA
    5c69849 View commit details
    Browse the repository at this point in the history

Commits on Nov 12, 2023

  1. Merge remote-tracking branch 'origin/main' into caching-sliced

    @FliegendeWurst
    FliegendeWurst committed Nov 12, 2023
    Configuration menu
    Copy the full SHA
    235a361 View commit details
    Browse the repository at this point in the history

Commits on Jan 11, 2024

  1. Chain shortening: more useful edge labels 

    These are now of the form "initial step ... last step"
    @FliegendeWurst
    FliegendeWurst committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    f3ae955 View commit details
    Browse the repository at this point in the history

  2. Better tooltip for shortened chains

    @FliegendeWurst
    FliegendeWurst committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    61f29ca View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/main' into caching-sliced

    @FliegendeWurst
    FliegendeWurst committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    c795ff8 View commit details
    Browse the repository at this point in the history

  4. Javadocs

    @FliegendeWurst
    FliegendeWurst committed Jan 11, 2024
    Configuration menu
    Copy the full SHA
    bfcdbca View commit details
    Browse the repository at this point in the history

Commits on Jan 15, 2024

  1. Codestyle

    @FliegendeWurst
    FliegendeWurst committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    f66241d View commit details
    Browse the repository at this point in the history

  2. Global disable for proof caching

    @FliegendeWurst
    FliegendeWurst committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    072ece1 View commit details
    Browse the repository at this point in the history

  3. Refactor action into own package

    @FliegendeWurst
    FliegendeWurst committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    c4b57fd View commit details
    Browse the repository at this point in the history

  4. Refactor CopyReferencedProof action into own class

    @FliegendeWurst
    FliegendeWurst committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    58c8af6 View commit details
    Browse the repository at this point in the history

  5. New action to re-open goals closed by cache

    @FliegendeWurst
    FliegendeWurst committed Jan 15, 2024
    Configuration menu
    Copy the full SHA
    2fbfe99 View commit details
    Browse the repository at this point in the history

Commits on Jan 16, 2024

  1. Fix ProgramMethodFinder + javadocs

    @FliegendeWurst
    FliegendeWurst committed Jan 16, 2024
    Configuration menu
    Copy the full SHA
    64453d3 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2024

  1. Merge remote-tracking branch 'origin/main' into caching-sliced

    @FliegendeWurst
    FliegendeWurst committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    97633a3 View commit details
    Browse the repository at this point in the history

  2. Set tooltip of proof caching button

    @FliegendeWurst
    FliegendeWurst committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    5e3a0ae View commit details
    Browse the repository at this point in the history

  3. Naming of cached goal re-open action

    @FliegendeWurst
    FliegendeWurst committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    aa9ceec View commit details
    Browse the repository at this point in the history

Commits on Jan 25, 2024

  1. Merge remote-tracking branch 'origin/main' into caching-sliced

    @FliegendeWurst
    FliegendeWurst committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    fab4ab7 View commit details
    Browse the repository at this point in the history

  2. Handle prunes of proof cache targets

    @FliegendeWurst
    FliegendeWurst committed Jan 25, 2024
    Configuration menu
    Copy the full SHA
    f31d248 View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2024

  1. Caching: make behaviour when reference proof is pruned configurable

    @FliegendeWurst
    FliegendeWurst committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    9c07e2c View commit details
    Browse the repository at this point in the history

  2. Document other caching option

    @FliegendeWurst
    FliegendeWurst committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    d199118 View commit details
    Browse the repository at this point in the history

  3. Move caching settings to extension package

    @FliegendeWurst
    FliegendeWurst committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    fa8471d View commit details
    Browse the repository at this point in the history

Commits on Jan 31, 2024

  1. New proof context menu action to cache open goals

    @FliegendeWurst
    FliegendeWurst committed Jan 31, 2024
    Configuration menu
    Copy the full SHA
    910e32e View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Transparent proof caching icon

    @FliegendeWurst
    FliegendeWurst committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    ba3bae1 View commit details
    Browse the repository at this point in the history

Commits on Feb 8, 2024

  1. Fix caching bug where an exception was thrown

    @FliegendeWurst
    FliegendeWurst committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    72da2a0 View commit details
    Browse the repository at this point in the history

  2. Make caching more robust by catching exceptions

    @FliegendeWurst
    FliegendeWurst committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    f4eae66 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/main' into caching-sliced

    @FliegendeWurst
    FliegendeWurst committed Feb 8, 2024
    Configuration menu
    Copy the full SHA
    82b0ac9 View commit details
    Browse the repository at this point in the history