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

IDE Solver Strategy #669

Open
wants to merge 16 commits into
base: development
Choose a base branch
from
Open

IDE Solver Strategy #669

wants to merge 16 commits into from

Commits on Sep 18, 2023

  1. Small restructure of IDESolver

    @fabianbs96
    fabianbs96 committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    1ae6f5d View commit details
    Browse the repository at this point in the history

  2. First draft with strategy

    @fabianbs96
    fabianbs96 committed Sep 18, 2023
    Configuration menu
    Copy the full SHA
    a3e8872 View commit details
    Browse the repository at this point in the history

Commits on Sep 19, 2023

  1. Add unittest (fact propagation works, need to fix value propagation -… 

    …- phase II)
    @fabianbs96
    fabianbs96 committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    7957bd3 View commit details
    Browse the repository at this point in the history

  2. Fix valud computation

    @fabianbs96
    fabianbs96 committed Sep 19, 2023
    Configuration menu
    Copy the full SHA
    361b849 View commit details
    Browse the repository at this point in the history

Commits on Sep 20, 2023

  1. Improve eager propagation

    @fabianbs96
    fabianbs96 committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    efbf9cf View commit details
    Browse the repository at this point in the history

  2. Cleanup solvers + add SolverImpl (WIP)

    @fabianbs96
    fabianbs96 committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    408b00e View commit details
    Browse the repository at this point in the history

  3. Generalize interface within IDESolverImpl

    @fabianbs96
    fabianbs96 committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    1f14b61 View commit details
    Browse the repository at this point in the history

  4. Make EagerIDESolver inherit the IDESolverImpl getting rid of a lot co… 

    …de duplication
    @fabianbs96
    fabianbs96 committed Sep 20, 2023
    Configuration menu
    Copy the full SHA
    c1d9632 View commit details
    Browse the repository at this point in the history

Commits on Sep 21, 2023

  1. Merge branch 'development' into f-IDESolverStrategy

    @fabianbs96
    fabianbs96 authored Sep 21, 2023
    Configuration menu
    Copy the full SHA
    a5cd964 View commit details
    Browse the repository at this point in the history

Commits on Sep 24, 2023

  1. Huge cleanup

    @fabianbs96
    fabianbs96 committed Sep 24, 2023
    Configuration menu
    Copy the full SHA
    868faa3 View commit details
    Browse the repository at this point in the history

Commits on Oct 27, 2023

  1. Merge branch 'development' into f-IDESolverStrategy

    @fabianbs96
    fabianbs96 committed Oct 27, 2023
    Configuration menu
    Copy the full SHA
    18ffb05 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2023

  1. Merge branch 'development' into f-IDESolverStrategy

    @fabianbs96
    fabianbs96 authored Nov 14, 2023
    Configuration menu
    Copy the full SHA
    b71d263 View commit details
    Browse the repository at this point in the history

Commits on Nov 27, 2023

  1. Merge branch 'development' into f-IDESolverStrategy

    @fabianbs96
    fabianbs96 committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    80c00c2 View commit details
    Browse the repository at this point in the history

Commits on Dec 13, 2023

  1. Fix invalid reverse lookup with PropagateOntoStrategy

    @fabianbs96
    fabianbs96 committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    a8e1998 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'development' into f-IDESolverStrategy

    @fabianbs96
    fabianbs96 committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    4a2f4db View commit details
    Browse the repository at this point in the history

  3. Better testing for EagerIDESolver

    @fabianbs96
    fabianbs96 committed Dec 13, 2023
    Configuration menu
    Copy the full SHA
    8f7f948 View commit details
    Browse the repository at this point in the history