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

Fast-ANF implementation #40

Open
wants to merge 66 commits into
base: fast-anf
Choose a base branch
from
Open

Fast-ANF implementation #40

wants to merge 66 commits into from

Commits on Oct 10, 2017

  1. Some tests for higher-order pattern variables

    @LPTK
    LPTK committed Oct 10, 2017
    Configuration menu
    Copy the full SHA
    d9e53ae View commit details
    Browse the repository at this point in the history

Commits on Oct 29, 2017

  1. Generalize hopHole to handle arbitrary patterns: introduce hopHole2 

    `hopHole2` should eventually replace `hopHole`
The implementation should also be completed with correct handling of FVs
    @LPTK
    LPTK committed Oct 29, 2017
    Configuration menu
    Copy the full SHA
    e0b60d3 View commit details
    Browse the repository at this point in the history

  2. FastANF implementation

    Dennis van der Bij committed Oct 29, 2017
    Configuration menu
    Copy the full SHA
    3ff5419 View commit details
    Browse the repository at this point in the history

  3. Make ANF not retarded: proper letin implementation and arguments binding

    @LPTK
    LPTK authored and Dennis van der Bij committed Oct 29, 2017
    Configuration menu
    Copy the full SHA
    e4c6479 View commit details
    Browse the repository at this point in the history

  4. HOPHole implementation

    Dennis van der Bij committed Oct 29, 2017
    Configuration menu
    Copy the full SHA
    f7ab7b5 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2017

  1. Don’t inline all arguments (cf. some are by-name); do it in substitute

    @LPTK
    LPTK committed Oct 31, 2017
    Configuration menu
    Copy the full SHA
    d5d3161 View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2018

  1. Add HOPHole2 support

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    f410417 View commit details
    Browse the repository at this point in the history

  2. Handle effects

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    65dffc8 View commit details
    Browse the repository at this point in the history

  3. Fix HOPHole, defhole, and some cleaning

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    fa8929a View commit details
    Browse the repository at this point in the history

  4. Handle when HOPHole arg is simply a BV

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    7b7dea5 View commit details
    Browse the repository at this point in the history

  5. Don't try to extract again failed extractions

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    aff2a99 View commit details
    Browse the repository at this point in the history

  6. Factor out extract updates

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    b43ef09 View commit details
    Browse the repository at this point in the history

  7. Make updateExtract infix

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    045ebe1 View commit details
    Browse the repository at this point in the history

  8. Right-bias either and fix some errors

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    f2c934c View commit details
    Browse the repository at this point in the history

  9. Failed rewriting will not affect input

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    7ffe328 View commit details
    Browse the repository at this point in the history

  10. Make HOPHole args by-name args

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    9fcb174 View commit details
    Browse the repository at this point in the history

  11. Corrected HOPHole and code removal semantics

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    e7372d5 View commit details
    Browse the repository at this point in the history

  12. Fix HOPHoles

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    6855997 View commit details
    Browse the repository at this point in the history

  13. Fix issue where a HOPHole extraction would happen too early in the ex… 

    …traction process
    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    fedff93 View commit details
    Browse the repository at this point in the history

  14. Small HOPHole optimization and updated tests

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    0bb0ecc View commit details
    Browse the repository at this point in the history

  15. Add way to shortcut extraction, hophole extraction branches now updat… 

    …e the state
    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    80f46c5 View commit details
    Browse the repository at this point in the history

  16. Cleanup

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    bf125b1 View commit details
    Browse the repository at this point in the history

  17. Fix issue where impure statements could be matched wrongly

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    a6f6170 View commit details
    Browse the repository at this point in the history

  18. Some more extraction tests

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    9c85231 View commit details
    Browse the repository at this point in the history

  19. Fix issue where a hole would disappear when not referenced

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    4497d26 View commit details
    Browse the repository at this point in the history

  20. Fix issue where rewriting would remove the rest of xtee

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    3431b25 View commit details
    Browse the repository at this point in the history

  21. Holes now extract the entire let-binding

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    0ff74a5 View commit details
    Browse the repository at this point in the history

  22. Remove redundant no flags left check

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    7f2e64b View commit details
    Browse the repository at this point in the history

  23. Check flags when looking for the return value

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    3aef763 View commit details
    Browse the repository at this point in the history

  24. Fix issue where substitute gets called outside a reification context

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    0c20ec6 View commit details
    Browse the repository at this point in the history

  25. Fix issue where the generated code is wrong when there's a hole at th… 

    …e return position
    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    5127329 View commit details
    Browse the repository at this point in the history

  26. Remove extremely slow intermediate step in the HOPHole extraction

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    13ae0a0 View commit details
    Browse the repository at this point in the history

  27. Remove remnants of the unreachable mechanism

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    44145b9 View commit details
    Browse the repository at this point in the history

  28. Test rewriting with HOPHoles, lambdas, and with mutliple occurences

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    0764fa9 View commit details
    Browse the repository at this point in the history

  29. Remove pure statements that depend on removed statements

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    59eb658 View commit details
    Browse the repository at this point in the history

  30. Fix issue where rewriting would remove statements that are part of th… 

    …e result
    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    8c34177 View commit details
    Browse the repository at this point in the history

  31. Fix some rewriting and extraction issues

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    21facd9 View commit details
    Browse the repository at this point in the history

  32. Remove explicit of passing done predicate

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    c114a94 View commit details
    Browse the repository at this point in the history

  33. Fix issue where order of pure statements sometimes mattered, defholes… 

    … now only extracts impure statements
    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    f0616ec View commit details
    Browse the repository at this point in the history

  34. Fix issue where you couldn't extract an impure statement

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    95c2c4b View commit details
    Browse the repository at this point in the history

  35. HOPHoles now replace all the occurences of a pattern

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    8b145b2 View commit details
    Browse the repository at this point in the history

  36. Fix issue where HOPHoles couldn't extract nestet letbindings

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    d928e38 View commit details
    Browse the repository at this point in the history

  37. Add HOPHole tests

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    5bafcef View commit details
    Browse the repository at this point in the history

  38. Cleanup tests

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    201706b View commit details
    Browse the repository at this point in the history

  39. Automatically convert to ANF valid reps, correct handling of lambdas,… 

    … and test some examples from the paper
    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    f9d8205 View commit details
    Browse the repository at this point in the history

  40. Add lambda rewriting tests

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    c038600 View commit details
    Browse the repository at this point in the history

  41. Fix issue where rewriting in the arg position of a methodApp would ge… 

    …nerate a letbinding
    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    e137ed1 View commit details
    Browse the repository at this point in the history

  42. Fix issue where HOPHoles would disregard pureness and add ByName wrapper

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    7b4e0c5 View commit details
    Browse the repository at this point in the history

  43. Documentation and cleanup

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    2188610 View commit details
    Browse the repository at this point in the history

  44. Simplify hole extraction and add mechanism to revert to the default i… 

    …nstructions
    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    57926a3 View commit details
    Browse the repository at this point in the history

  45. Rename HOPV tests file to be more uniform

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    9afe790 View commit details
    Browse the repository at this point in the history

  46. Simplify extraction with a SplicedArgument

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    8d1093c View commit details
    Browse the repository at this point in the history

  47. Remove wrong and buggy check

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    a9f83e5 View commit details
    Browse the repository at this point in the history

  48. Better function name

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    cdb21e3 View commit details
    Browse the repository at this point in the history

  49. Fix issue where rewriting with code having unused statements would no… 

    …t be handled correctly
    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    3473bc5 View commit details
    Browse the repository at this point in the history

  50. Simplify merging of xtee and generated code

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    06c3f8a View commit details
    Browse the repository at this point in the history

  51. Fix documentation and cleanup

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    6f37095 View commit details
    Browse the repository at this point in the history

  52. Move filterLBs to call-site

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    0ada464 View commit details
    Browse the repository at this point in the history

  53. HOPV foldLeft extraction test

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    7f4388b View commit details
    Browse the repository at this point in the history

  54. Fix issue where generated code would not appear in the right position… 

    … in xtee
    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    6b50f95 View commit details
    Browse the repository at this point in the history

  55. Add HOPV test, documentation, and cleaning

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    0b58dab View commit details
    Browse the repository at this point in the history

  56. Remove catch-all cases

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    f8ef360 View commit details
    Browse the repository at this point in the history

  57. Simplify handling of failed matches

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    02f8c62 View commit details
    Browse the repository at this point in the history

  58. Add HOP test and cleanup

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    6c5360c View commit details
    Browse the repository at this point in the history

  59. Add helper functions

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    4f8b85d View commit details
    Browse the repository at this point in the history

  60. Add documentation and cleanup

    Dennis van der Bij committed Jan 7, 2018
    Configuration menu
    Copy the full SHA
    6593318 View commit details
    Browse the repository at this point in the history