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

Properly scoped iteration ops for IL #119

Merged
merged 21 commits into from
Sep 4, 2024
Merged

Properly scoped iteration ops for IL #119

merged 21 commits into from
Sep 4, 2024

Commits on Aug 2, 2024

  1. Turn IL iteration into proper map ops

    @rossberg
    rossberg committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    346f32d View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into iterscope

    @rossberg
    rossberg committed Aug 2, 2024
    Configuration menu
    Copy the full SHA
    d934369 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2024

  1. Adjust upstream changes

    @rossberg
    rossberg committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    d1ef167 View commit details
    Browse the repository at this point in the history

  2. Stricter validation

    @rossberg
    rossberg committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    18b6152 View commit details
    Browse the repository at this point in the history

  3. Support inverse patterns

    @rossberg
    rossberg committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    4177b27 View commit details
    Browse the repository at this point in the history

  4. Matching against iterations

    @rossberg
    rossberg committed Aug 3, 2024
    Configuration menu
    Copy the full SHA
    a1b71d7 View commit details
    Browse the repository at this point in the history

Commits on Aug 10, 2024

  1. Merge branch 'main' into iterscope

    @rossberg
    rossberg committed Aug 10, 2024
    Configuration menu
    Copy the full SHA
    c150888 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. Change signature of AL IterE

    @f52985
    f52985 committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    c348ac1 View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. WIP: Adapting to new IterE

    @f52985
    f52985 committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    e3913ff View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. Fix animation according to new IterE

    @f52985
    f52985 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    d46a086 View commit details
    Browse the repository at this point in the history

  2. Simplify prose of IterE

    @f52985
    f52985 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    63ee65e View commit details
    Browse the repository at this point in the history

  3. Fix IterE as lhs

    @f52985
    f52985 committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    b2e10df View commit details
    Browse the repository at this point in the history

Commits on Sep 3, 2024

  1. Fix translation of IterPr

    @f52985
    f52985 committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    d248199 View commit details
    Browse the repository at this point in the history

  2. Fix PopI of IterE

    @f52985
    f52985 committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    66b2462 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into iterscope

    @f52985
    f52985 committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    77cc97f View commit details
    Browse the repository at this point in the history

  4. Do not generate side condition for iter index

    @f52985
    f52985 committed Sep 3, 2024
    Configuration menu
    Copy the full SHA
    71836b3 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Minor fixes

    @f52985
    f52985 committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    ac3a789 View commit details
    Browse the repository at this point in the history

  2. Pass all tests

    @f52985
    f52985 committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    e2413b0 View commit details
    Browse the repository at this point in the history

  3. Testpromote

    @f52985
    f52985 committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    3de0bba View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into iterscope

    @f52985
    f52985 committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    2fdbaf7 View commit details
    Browse the repository at this point in the history

  5. Tweak

    @rossberg
    rossberg committed Sep 4, 2024
    Configuration menu
    Copy the full SHA
    8dea588 View commit details
    Browse the repository at this point in the history