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

Incorporate latest changes in the delta debugger #37

Open
wants to merge 64 commits into
base: master
Choose a base branch
from
Open

Incorporate latest changes in the delta debugger #37

wants to merge 64 commits into from

Commits on Feb 13, 2023

  1. remove very small, simple to DD programs

    @TurgutKursun
    TurgutKursun committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    fe960f2 View commit details
    Browse the repository at this point in the history

  2. stop using test framework for evaluation

    @TurgutKursun
    TurgutKursun committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    2a45d2d View commit details
    Browse the repository at this point in the history

  3. process feedback for evaluation

    @TurgutKursun
    TurgutKursun committed Feb 13, 2023
    Configuration menu
    Copy the full SHA
    ca63ccf View commit details
    Browse the repository at this point in the history

Commits on Feb 18, 2023

  1. evaluation adaptations

    @TurgutKursun
    TurgutKursun committed Feb 18, 2023
    Configuration menu
    Copy the full SHA
    83fde90 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2023

  1. collect additional data

    @TurgutKursun
    TurgutKursun committed Feb 26, 2023
    Configuration menu
    Copy the full SHA
    5bc6675 View commit details
    Browse the repository at this point in the history

  2. remove withoutProfiling

    @TurgutKursun
    TurgutKursun committed Feb 26, 2023
    Configuration menu
    Copy the full SHA
    ba05fc1 View commit details
    Browse the repository at this point in the history

  3. minor changes

    @TurgutKursun
    TurgutKursun committed Feb 26, 2023
    Configuration menu
    Copy the full SHA
    b04d3d7 View commit details
    Browse the repository at this point in the history

  4. rename

    @TurgutKursun
    TurgutKursun committed Feb 26, 2023
    Configuration menu
    Copy the full SHA
    26985c8 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2023

  1. minor adjustments

    @TurgutKursun
    TurgutKursun committed Feb 27, 2023
    Configuration menu
    Copy the full SHA
    f280a8a View commit details
    Browse the repository at this point in the history

Commits on Feb 28, 2023

  1. minor update

    @TurgutKursun
    TurgutKursun committed Feb 28, 2023
    Configuration menu
    Copy the full SHA
    aba45f7 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2023

  1. restructure evaluation

    @TurgutKursun
    TurgutKursun committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    c3ff5ad View commit details
    Browse the repository at this point in the history

  2. adapt profiling approach

    @TurgutKursun
    TurgutKursun committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    6a74f60 View commit details
    Browse the repository at this point in the history

  3. adjust profiling approach

    @TurgutKursun
    TurgutKursun committed Mar 1, 2023
    Configuration menu
    Copy the full SHA
    773a6f9 View commit details
    Browse the repository at this point in the history

Commits on Mar 3, 2023

  1. remove origCost

    @TurgutKursun
    TurgutKursun committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    af2cf57 View commit details
    Browse the repository at this point in the history

  2. simplify collected data

    @TurgutKursun
    TurgutKursun committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    810b295 View commit details
    Browse the repository at this point in the history

  3. deadCode heuristic

    @TurgutKursun
    TurgutKursun committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    0996e11 View commit details
    Browse the repository at this point in the history

  4. update deadcode removal

    @TurgutKursun
    TurgutKursun committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    df5ae13 View commit details
    Browse the repository at this point in the history

  5. verified bug presence

    @TurgutKursun
    TurgutKursun committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    4b672c8 View commit details
    Browse the repository at this point in the history

  6. one step closer to dead code removal

    @TurgutKursun
    TurgutKursun committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    c35e98d View commit details
    Browse the repository at this point in the history

  7. finalize dead code elimination

    @TurgutKursun
    TurgutKursun committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    05a6da3 View commit details
    Browse the repository at this point in the history

  8. dead code removal

    @TurgutKursun
    TurgutKursun committed Mar 3, 2023
    Configuration menu
    Copy the full SHA
    f35d925 View commit details
    Browse the repository at this point in the history

Commits on Mar 5, 2023

  1. remove unused method

    @TurgutKursun
    TurgutKursun committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    b5a804d View commit details
    Browse the repository at this point in the history

  2. add remover

    @TurgutKursun
    TurgutKursun committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    10c263e View commit details
    Browse the repository at this point in the history

  3. remove hits unnecessary args

    @TurgutKursun
    TurgutKursun committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    87892f5 View commit details
    Browse the repository at this point in the history

  4. fitness metrics added

    @TurgutKursun
    TurgutKursun committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    1c7b5af View commit details
    Browse the repository at this point in the history

  5. rename pkg

    @TurgutKursun
    TurgutKursun committed Mar 5, 2023
    Configuration menu
    Copy the full SHA
    5bffddc View commit details
    Browse the repository at this point in the history

Commits on Mar 7, 2023

  1. major refactoring for quality

    @TurgutKursun
    TurgutKursun committed Mar 7, 2023
    Configuration menu
    Copy the full SHA
    3c28694 View commit details
    Browse the repository at this point in the history

  2. fitness finished

    @TurgutKursun
    TurgutKursun committed Mar 7, 2023
    Configuration menu
    Copy the full SHA
    54de3e7 View commit details
    Browse the repository at this point in the history

Commits on Mar 10, 2023

  1. fix some bugs & evaluate

    @TurgutKursun
    TurgutKursun committed Mar 10, 2023
    Configuration menu
    Copy the full SHA
    dca08f7 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2023

  1. simple implementation of layeredGTR*

    @TurgutKursun
    TurgutKursun committed Mar 11, 2023
    Configuration menu
    Copy the full SHA
    b0d615e View commit details
    Browse the repository at this point in the history

  2. evaluation

    @TurgutKursun
    TurgutKursun committed Mar 11, 2023
    Configuration menu
    Copy the full SHA
    c602b90 View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2023

  1. fitness fixed

    @TurgutKursun
    TurgutKursun committed Mar 14, 2023
    Configuration menu
    Copy the full SHA
    04cb48c View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2023

  1. smart value replacement

    @TurgutKursun
    TurgutKursun committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    50fd9d5 View commit details
    Browse the repository at this point in the history

  2. lambda killing part 1

    @TurgutKursun
    TurgutKursun committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    721c600 View commit details
    Browse the repository at this point in the history

  3. Lambda Killing

    @TurgutKursun
    TurgutKursun committed Mar 17, 2023
    Configuration menu
    Copy the full SHA
    da24bdc View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2023

  1. smart replacement implemented

    @TurgutKursun
    TurgutKursun committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    7c81eb9 View commit details
    Browse the repository at this point in the history

  2. rename pkg

    @TurgutKursun
    TurgutKursun committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    9cc3fc7 View commit details
    Browse the repository at this point in the history

  3. killing lambdas implemented

    @TurgutKursun
    TurgutKursun committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    d0c7c95 View commit details
    Browse the repository at this point in the history

  4. add profiling abilities

    @TurgutKursun
    TurgutKursun committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    10bda13 View commit details
    Browse the repository at this point in the history

  5. remove profiling pkg

    @TurgutKursun
    TurgutKursun committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    cfcb7ff View commit details
    Browse the repository at this point in the history

  6. rename to LambdaKilling

    @TurgutKursun
    TurgutKursun committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    2838ad8 View commit details
    Browse the repository at this point in the history

  7. profiling made more general

    @TurgutKursun
    TurgutKursun committed Mar 21, 2023
    Configuration menu
    Copy the full SHA
    f7c66d3 View commit details
    Browse the repository at this point in the history

Commits on Mar 22, 2023

  1. DeadCodeElimination implemented

    @TurgutKursun
    TurgutKursun committed Mar 22, 2023
    Configuration menu
    Copy the full SHA
    a381e4b View commit details
    Browse the repository at this point in the history

Commits on Mar 23, 2023

  1. tweaks

    @TurgutKursun
    TurgutKursun committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    aaf4d46 View commit details
    Browse the repository at this point in the history

  2. prehalt check implemented

    @TurgutKursun
    TurgutKursun committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    9a52211 View commit details
    Browse the repository at this point in the history

  3. may be an idea

    @TurgutKursun
    TurgutKursun committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    21ce036 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2023

  1. clean up

    @TurgutKursun
    TurgutKursun committed Mar 26, 2023
    Configuration menu
    Copy the full SHA
    f6c2733 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2023

  1. make an example program

    @TurgutKursun
    TurgutKursun committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    9f6b513 View commit details
    Browse the repository at this point in the history

  2. correct some mistakes

    @TurgutKursun
    TurgutKursun committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    6fb0fc5 View commit details
    Browse the repository at this point in the history

Commits on Apr 7, 2023

  1. FlattenThunk

    @TurgutKursun
    TurgutKursun committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    4ed5050 View commit details
    Browse the repository at this point in the history

  2. foldPrimitives and add ApplToBegin

    @TurgutKursun
    TurgutKursun committed Apr 7, 2023
    Configuration menu
    Copy the full SHA
    9749847 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2023

  1. refactor transformation

    @TurgutKursun
    TurgutKursun committed Apr 8, 2023
    Configuration menu
    Copy the full SHA
    14448cd View commit details
    Browse the repository at this point in the history

  2. remove transformation

    @TurgutKursun
    TurgutKursun committed Apr 8, 2023
    Configuration menu
    Copy the full SHA
    977817f View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2023

  1. add LetIdentifierReplace

    @TurgutKursun
    TurgutKursun committed Apr 9, 2023
    Configuration menu
    Copy the full SHA
    57f735b View commit details
    Browse the repository at this point in the history

  2. remove shallow dropping

    @TurgutKursun
    TurgutKursun committed Apr 9, 2023
    Configuration menu
    Copy the full SHA
    d693f30 View commit details
    Browse the repository at this point in the history

  3. slightly improve transformations

    @TurgutKursun
    TurgutKursun committed Apr 9, 2023
    Configuration menu
    Copy the full SHA
    c23e6e3 View commit details
    Browse the repository at this point in the history

  4. some adjustments

    @TurgutKursun
    TurgutKursun committed Apr 9, 2023
    Configuration menu
    Copy the full SHA
    edb65c9 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2023

  1. refactor

    @TurgutKursun
    TurgutKursun committed Apr 10, 2023
    Configuration menu
    Copy the full SHA
    943cd10 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2023

  1. fixpointify

    @TurgutKursun
    TurgutKursun committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    d0a048d View commit details
    Browse the repository at this point in the history

  2. tailrec

    @TurgutKursun
    TurgutKursun committed Apr 19, 2023
    Configuration menu
    Copy the full SHA
    0682081 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2023

  1. evaluation

    @TurgutKursun
    TurgutKursun committed May 21, 2023
    Configuration menu
    Copy the full SHA
    2e5d65f View commit details
    Browse the repository at this point in the history

Commits on May 26, 2023

  1. further evaluate

    @TurgutKursun
    TurgutKursun committed May 26, 2023
    Configuration menu
    Copy the full SHA
    d597362 View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2023

  1. Merge branch 'master' of github.com:softwarelanguageslab/maf

    @acieroid
    acieroid committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    a24769a View commit details
    Browse the repository at this point in the history

  2. Fix IncrementalRun after latest changes of delta debugger

    @acieroid
    acieroid committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    26f1155 View commit details
    Browse the repository at this point in the history