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

chore(experimental): Add compiler option to enable the Elaborator #5003

Merged
merged 21 commits into from
May 9, 2024
Merged

chore(experimental): Add compiler option to enable the Elaborator #5003

merged 21 commits into from
May 9, 2024

Commits on May 2, 2024

  1. Add elaborator

    @jfecher
    jfecher committed May 2, 2024
    Configuration menu
    Copy the full SHA
    d0afc12 View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. Merge branch 'master' into jf/elaborator

    @jfecher
    jfecher committed May 3, 2024
    Configuration menu
    Copy the full SHA
    1c433ec View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. More expressions

    @jfecher
    jfecher committed May 6, 2024
    Configuration menu
    Copy the full SHA
    225303f View commit details
    Browse the repository at this point in the history

Commits on May 7, 2024

  1. Finish each expression kind

    @jfecher
    jfecher committed May 7, 2024
    Configuration menu
    Copy the full SHA
    29e67a1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into jf/elaborator

    @jfecher
    jfecher committed May 7, 2024
    Configuration menu
    Copy the full SHA
    0177c12 View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. Add compiler flag

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    6b30028 View commit details
    Browse the repository at this point in the history

  2. Move expressions into their own file

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    7550fb8 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'jf/elaborator' into jf/integrate-elaborator

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    39d23dc View commit details
    Browse the repository at this point in the history

  4. Connect elaborator

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    2e77d87 View commit details
    Browse the repository at this point in the history

  5. Code review

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    e542d32 View commit details
    Browse the repository at this point in the history

  6. Finish removing Scope

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    fd287df View commit details
    Browse the repository at this point in the history

  7. Merge branch 'jf/elaborator' into jf/integrate-elaborator

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    73dc473 View commit details
    Browse the repository at this point in the history

  8. Finish functions

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    9614b87 View commit details
    Browse the repository at this point in the history

  9. Add should_panic

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    b44c98a View commit details
    Browse the repository at this point in the history

  10. clippy

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    9579646 View commit details
    Browse the repository at this point in the history

  11. Fix test

    @jfecher
    jfecher committed May 8, 2024
    Configuration menu
    Copy the full SHA
    e4d5f61 View commit details
    Browse the repository at this point in the history

Commits on May 9, 2024

  1. Fix test

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    556e6ef View commit details
    Browse the repository at this point in the history

  2. Fix yet another missed line

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    82d5871 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into jf/integrate-elaborator

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    3fb05dc View commit details
    Browse the repository at this point in the history

  4. Resolve weird git merge

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    e9e69f4 View commit details
    Browse the repository at this point in the history

  5. Wrong arg order

    @jfecher
    jfecher committed May 9, 2024
    Configuration menu
    Copy the full SHA
    d7d91ae View commit details
    Browse the repository at this point in the history