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

Hopefully Final Adaptations for the Thesis #135

Merged
merged 70 commits into from
Aug 4, 2023
Merged

Hopefully Final Adaptations for the Thesis #135

merged 70 commits into from
Aug 4, 2023

Commits on Jul 20, 2023

  1. test: testing timout of rshell session output collect

    @EagleoutIce
    EagleoutIce committed Jul 20, 2023
    Configuration menu
    Copy the full SHA
    ab83045 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2023

  1. typo: unify writing of flavor from flavour

    @EagleoutIce
    EagleoutIce committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    4b59bfb View commit details
    Browse the repository at this point in the history

  2. typo: using operator instead of short op in model

    @EagleoutIce
    EagleoutIce committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    fb8ee44 View commit details
    Browse the repository at this point in the history

  3. refactor: use RArgument as expected type for function calls

    @EagleoutIce
    EagleoutIce committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    cd7182b View commit details
    Browse the repository at this point in the history

  4. typo: rename root normalize function to include normalize

    @EagleoutIce
    EagleoutIce committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    ac9264a View commit details
    Browse the repository at this point in the history

  5. refactor, typo: rename all parser procedures to state the normalizati… 

    …on as this fits better with the story of the thesis
    @EagleoutIce
    EagleoutIce committed Jul 24, 2023
    Configuration menu
    Copy the full SHA
    4c9af74 View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2023

  1. Merge branch 'more-tests-for-final' into adapt-names-for-pseudocodes-… 

    …in-thesis
    @EagleoutIce
    EagleoutIce committed Jul 25, 2023
    Configuration menu
    Copy the full SHA
    b212e62 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2023

  1. lint: update imports for stateful fold

    @EagleoutIce
    EagleoutIce committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    9feb04d View commit details
    Browse the repository at this point in the history

  2. doc: explain how i have conducted the statistics extraction within th… 

    …e master's thesis
    @EagleoutIce
    EagleoutIce committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    aa5d07b View commit details
    Browse the repository at this point in the history

  3. feat: allow for line-relative numbers in histograms

    @EagleoutIce
    EagleoutIce committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    0a7d93c View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/adapt-names-for-pseudocodes-in-t… 

    …hesis' into adapt-names-for-pseudocodes-in-thesis
    @EagleoutIce
    EagleoutIce committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    2c53986 View commit details
    Browse the repository at this point in the history

  5. feat: add hist-step option to statistics so i can get both sizes mo… 

    …re easily
    @EagleoutIce
    EagleoutIce committed Jul 26, 2023
    Configuration menu
    Copy the full SHA
    f4c91e8 View commit details
    Browse the repository at this point in the history

Commits on Jul 27, 2023

  1. feat: summarized stat information per histogram (min, max, mean, medi… 

    …an, and std)
    @EagleoutIce
    EagleoutIce committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    28cb1ab View commit details
    Browse the repository at this point in the history

  2. feat: adding limiter to histograms to drastically remove memory footp… 

    …rint
    @EagleoutIce
    EagleoutIce committed Jul 27, 2023
    Configuration menu
    Copy the full SHA
    17b537c View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2023

  1. refactor: remove old commented out test

    @EagleoutIce
    EagleoutIce committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    ac306c5 View commit details
    Browse the repository at this point in the history

  2. fix: allow + in the regex for floating point hex notation

    @EagleoutIce
    EagleoutIce committed Jul 28, 2023
    Configuration menu
    Copy the full SHA
    b7b8292 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2023

  1. refactor: calculate diff graph for df tests only if the corresponding… 

    … test fails
    @EagleoutIce
    EagleoutIce committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    2ac1439 View commit details
    Browse the repository at this point in the history

  2. refactor, test: tests to ensure that control-flow dependency of for-l… 

    …oops is handled correctly on reconstruct
    @EagleoutIce
    EagleoutIce committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    c7c390c View commit details
    Browse the repository at this point in the history

  3. feat: finally visualize normalized asts with mermaid

    @EagleoutIce
    EagleoutIce committed Jul 29, 2023
    Configuration menu
    Copy the full SHA
    7d60dfc View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2023

  1. test: remove the fun test again as it was just to explore the thesis … 

    …example
    @EagleoutIce
    EagleoutIce committed Jul 30, 2023
    Configuration menu
    Copy the full SHA
    b30af6d View commit details
    Browse the repository at this point in the history

  2. refactor: make enforcement of expression lists utterly clear througho… 

    …ut the code
    @EagleoutIce
    EagleoutIce committed Jul 30, 2023
    Configuration menu
    Copy the full SHA
    c4fb6c8 View commit details
    Browse the repository at this point in the history

  3. lint: deal with some linter issues and inconsistencies

    @EagleoutIce
    EagleoutIce committed Jul 30, 2023
    Configuration menu
    Copy the full SHA
    c921d98 View commit details
    Browse the repository at this point in the history

  4. refactor: do not keep lexeme for ensured expression list

    @EagleoutIce
    EagleoutIce committed Jul 30, 2023
    Configuration menu
    Copy the full SHA
    172246a View commit details
    Browse the repository at this point in the history

  5. refactor: make environment passing in while loop explicit

    @EagleoutIce
    EagleoutIce committed Jul 30, 2023
    Configuration menu
    Copy the full SHA
    55d566a View commit details
    Browse the repository at this point in the history

  6. fix, doc: remove console.log statements from repeat loop processor … 

    …and document while loop redundancy
    @EagleoutIce
    EagleoutIce committed Jul 30, 2023
    Configuration menu
    Copy the full SHA
    bbaca01 View commit details
    Browse the repository at this point in the history

  7. refactor: for loops should overwrite their head envs for consistency … 

    …- this should not affect any semantics
    @EagleoutIce
    EagleoutIce committed Jul 30, 2023
    Configuration menu
    Copy the full SHA
    e840c14 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. refactor: rename closure update function to the better name `updateNe… 

    …stedFunctionClosures`
    @EagleoutIce
    EagleoutIce committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    a53579e View commit details
    Browse the repository at this point in the history

  2. fix: #136 by delaying edges in graph generation

    @EagleoutIce
    EagleoutIce committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    ec3b524 View commit details
    Browse the repository at this point in the history

  3. refactor: make iteration over exit points explicit in closure recovery

    @EagleoutIce
    EagleoutIce committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    ac45c03 View commit details
    Browse the repository at this point in the history

  4. test, feat: test function closure with multiple exit points and safeg… 

    …uard built ins from being set to maybe in environment
    @EagleoutIce
    EagleoutIce committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    0d7fafa View commit details
    Browse the repository at this point in the history

  5. refactor: move the exit point iteration in nested functionclosures to… 

    … the toplevel to sync it with the thesis presentation (and to avoid querying the subgraph too often)
    @EagleoutIce
    EagleoutIce committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    f77c8d3 View commit details
    Browse the repository at this point in the history

  6. refactor: patch env pop of function definition as it is quicker

    @EagleoutIce
    EagleoutIce committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    8d4e2e4 View commit details
    Browse the repository at this point in the history

  7. fix: mermaid visualization of ast should show function definitions

    @EagleoutIce
    EagleoutIce committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    db0c820 View commit details
    Browse the repository at this point in the history

  8. doc: clean up some old todos

    @EagleoutIce
    EagleoutIce committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    0d26a25 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. doc: remove old todo

    @EagleoutIce
    EagleoutIce committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    a98384f View commit details
    Browse the repository at this point in the history

  2. test, refactor: move function call linking to the linker

    @EagleoutIce
    EagleoutIce committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    b608100 View commit details
    Browse the repository at this point in the history

  3. refactor: rename linkFunctionCallExitPointsAndCalls to `linkFunctio… 

    …nCalls` so that it is more consistent with the thesis
    @EagleoutIce
    EagleoutIce committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    9edd50d View commit details
    Browse the repository at this point in the history

  4. refactor: outsource linkFunctionCall in linker

    @EagleoutIce
    EagleoutIce committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    b4124d9 View commit details
    Browse the repository at this point in the history

  5. doc: remove old debugging out for processDataflowFor

    @EagleoutIce
    EagleoutIce committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    02c9175 View commit details
    Browse the repository at this point in the history

  6. refactor: update name of linkArgumentsForAllNamedArguments to `link… 

    …FunctionCallArguments`
    @EagleoutIce
    EagleoutIce committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    8a06606 View commit details
    Browse the repository at this point in the history

  7. refactor: update read edge to reads as it is more consitent with … 

    …the other edge names
    @EagleoutIce
    EagleoutIce committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    c524320 View commit details
    Browse the repository at this point in the history

Commits on Aug 2, 2023

  1. refactor, test: test anonymous functions as parameters

    @EagleoutIce
    EagleoutIce committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    5141dc1 View commit details
    Browse the repository at this point in the history

  2. refactor: tracking calls is redundant (by construction)

    @EagleoutIce
    EagleoutIce committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    f13b9cd View commit details
    Browse the repository at this point in the history

  3. feat, test: half correct handling for next and break in loops

    @EagleoutIce
    EagleoutIce committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    1ebd19b View commit details
    Browse the repository at this point in the history

  4. refactor: merge exprlists during normalization

    @EagleoutIce
    EagleoutIce committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    82903fc View commit details
    Browse the repository at this point in the history

  5. feat: support for ..x access

    @EagleoutIce
    EagleoutIce committed Aug 2, 2023
    Configuration menu
    Copy the full SHA
    e74c60c View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. feat-fix: slicer makes control-flow inclusion explicit

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    c9c2dfe View commit details
    Browse the repository at this point in the history

  2. test: higher order slicing with anonymous functions

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    d1de09f View commit details
    Browse the repository at this point in the history

  3. refactor: show a 3rd digit when summarizing percentages

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    eb6002d View commit details
    Browse the repository at this point in the history

  4. test: two tests to check handling of side-effects explicitly

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    e92f5c0 View commit details
    Browse the repository at this point in the history

  5. test: slice nested function definitions

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    ee4ba0c View commit details
    Browse the repository at this point in the history

  6. feat: read-links on call

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    430765c View commit details
    Browse the repository at this point in the history

  7. refactor: line directive may yield comment

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    815afcc View commit details
    Browse the repository at this point in the history

  8. refactor: remove old guard, as it is not as i expected

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    41f8d2c View commit details
    Browse the repository at this point in the history

  9. doc: add a future todo to the comments

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    556f415 View commit details
    Browse the repository at this point in the history

  10. feat: adding non whitespace token counts to the benchmark summary as … 

    …well
    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    12a0718 View commit details
    Browse the repository at this point in the history

  11. refactor: clean up slicing algorithm for function call linkage

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    fc2bdc5 View commit details
    Browse the repository at this point in the history

  12. refactor: only register trace logs in shell if the log level corresponds

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    f6368ff View commit details
    Browse the repository at this point in the history

  13. feat: allow file in retrieveAst

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    d74c94b View commit details
    Browse the repository at this point in the history

  14. refactor: further clean up redundant parts in the slicer

    @EagleoutIce
    EagleoutIce committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    52d3957 View commit details
    Browse the repository at this point in the history

Commits on Aug 4, 2023

  1. refactor: speedup slicer by checking visited before

    @EagleoutIce
    EagleoutIce committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    e853f9f View commit details
    Browse the repository at this point in the history

  2. feat: adding cycle threshold to slicer

    @EagleoutIce
    EagleoutIce committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    25fecaa View commit details
    Browse the repository at this point in the history

  3. feat: new configurable threshold and benchmark based counter

    @EagleoutIce
    EagleoutIce committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    8dce550 View commit details
    Browse the repository at this point in the history

  4. refactor: slicer now uses a queue class which controls seen etc.

    @EagleoutIce
    EagleoutIce committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    7b6dc66 View commit details
    Browse the repository at this point in the history

  5. refactor: guard benchmark against empty input code when reparsing

    @EagleoutIce
    EagleoutIce committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    bb856d5 View commit details
    Browse the repository at this point in the history

  6. Revert "refactor: guard benchmark against empty input code when repar… 

    …sing"

This reverts commit bb856d5.
    @EagleoutIce
    EagleoutIce committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    acfdc48 View commit details
    Browse the repository at this point in the history

  7. refactor: adapt name of the call slicer to be the same as in the thesis

    @EagleoutIce
    EagleoutIce committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    257ad1e View commit details
    Browse the repository at this point in the history

  8. feat-fix: slicer was wrong for unary operations

    @EagleoutIce
    EagleoutIce committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    c63808a View commit details
    Browse the repository at this point in the history

  9. refactor: benchmark filters slice ids against dataflow graph

    @EagleoutIce
    EagleoutIce committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    185f79f View commit details
    Browse the repository at this point in the history

  10. fix: parameter reconstruction

    @EagleoutIce
    EagleoutIce committed Aug 4, 2023
    Configuration menu
    Copy the full SHA
    7ecb5af View commit details
    Browse the repository at this point in the history