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

Avoid duplication in Nockma code generation #3070

Merged
merged 20 commits into from
Oct 8, 2024
Merged

Avoid duplication in Nockma code generation #3070

merged 20 commits into from
Oct 8, 2024

Commits on Oct 3, 2024

  1. extend CompilerCtx

    @lukaszcz
    lukaszcz committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    2bfc809 View commit details
    Browse the repository at this point in the history

  2. wip

    @lukaszcz
    lukaszcz committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    0bafc1f View commit details
    Browse the repository at this point in the history

  3. fix compilation

    @lukaszcz
    lukaszcz committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    f75880e View commit details
    Browse the repository at this point in the history

  4. fix paths

    @lukaszcz
    lukaszcz committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    aa95307 View commit details
    Browse the repository at this point in the history

  5. fix case

    @lukaszcz
    lukaszcz committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    6aa62f1 View commit details
    Browse the repository at this point in the history

  6. fix closures

    @lukaszcz
    lukaszcz committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    2fc7c13 View commit details
    Browse the repository at this point in the history

  7. comments

    @lukaszcz
    lukaszcz committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    5f42ce2 View commit details
    Browse the repository at this point in the history

  8. fix case default

    @lukaszcz
    lukaszcz committed Oct 3, 2024
    Configuration menu
    Copy the full SHA
    e1f8247 View commit details
    Browse the repository at this point in the history

Commits on Oct 4, 2024

  1. fix tree parsing

    @lukaszcz
    lukaszcz committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    e5bcd14 View commit details
    Browse the repository at this point in the history

  2. fix case temp ref

    @lukaszcz
    lukaszcz committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    ff8928a View commit details
    Browse the repository at this point in the history

  3. fix anoma-get

    @lukaszcz
    lukaszcz committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    620906b View commit details
    Browse the repository at this point in the history

  4. avoid duplication in closure extension

    @lukaszcz
    lukaszcz committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    3164c72 View commit details
    Browse the repository at this point in the history

  5. use temporary value in anomaSign

    @lukaszcz
    lukaszcz committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    42d7e71 View commit details
    Browse the repository at this point in the history

  6. remove remaining duplication

    @lukaszcz
    lukaszcz committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    64fd429 View commit details
    Browse the repository at this point in the history

  7. remove unused transformations

    @lukaszcz
    lukaszcz committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    876f1b0 View commit details
    Browse the repository at this point in the history

  8. comments

    @lukaszcz
    lukaszcz committed Oct 4, 2024
    Configuration menu
    Copy the full SHA
    c73ea13 View commit details
    Browse the repository at this point in the history

Commits on Oct 7, 2024

  1. remove listToTuple

    @lukaszcz
    lukaszcz committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    f8bd3af View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into nockma-no-duplication

    @lukaszcz
    lukaszcz authored Oct 7, 2024
    Configuration menu
    Copy the full SHA
    7150bd5 View commit details
    Browse the repository at this point in the history

  3. fix compilation

    @lukaszcz
    lukaszcz committed Oct 7, 2024
    Configuration menu
    Copy the full SHA
    22a65a7 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into nockma-no-duplication

    @lukaszcz
    lukaszcz authored Oct 7, 2024
    Configuration menu
    Copy the full SHA
    c615e0b View commit details
    Browse the repository at this point in the history