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

merge queue: embarking main (ed54e0c) and #5935 together #5990

Closed
wants to merge 43 commits into from
Closed

merge queue: embarking main (ed54e0c) and #5935 together #5990

wants to merge 43 commits into from

Commits on Mar 11, 2024

  1. lift builtin, wip

    @yoav-steinberg
    yoav-steinberg committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    4e0b0f9 View commit details
    Browse the repository at this point in the history

Commits on Mar 13, 2024

  1. wip: explicit lift builtin

    @yoav-steinberg
    yoav-steinberg committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    4defa8b View commit details
    Browse the repository at this point in the history

  2. flag explicit lifts

    @yoav-steinberg
    yoav-steinberg committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    f967066 View commit details
    Browse the repository at this point in the history

  3. Allow phase independent explicit qualifications. 

    Correctly calculate the phase of array literals (allowing phase independent arrays).
    @yoav-steinberg
    yoav-steinberg committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    7e6bb13 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into yoav/explicit_lifting

    @monadabot
    monadabot authored Mar 13, 2024
    Configuration menu
    Copy the full SHA
    05a042b View commit details
    Browse the repository at this point in the history

  5. chore: self mutation (build.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    d078ae3 View commit details
    Browse the repository at this point in the history

  6. chore: self mutation (e2e-1of2.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    7a00323 View commit details
    Browse the repository at this point in the history

  7. chore: self mutation (e2e-2of2.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    599fab6 View commit details
    Browse the repository at this point in the history

  8. Update libs/wingc/src/lifting.rs 

    Co-authored-by: Elad Ben-Israel <[email protected]>
    @yoav-steinberg @eladb
    yoav-steinberg and eladb authored Mar 13, 2024
    Configuration menu
    Copy the full SHA
    c6c79c3 View commit details
    Browse the repository at this point in the history

  9. cr: cleanup jsification of liftmap ops, cleaner snapshots.

    @yoav-steinberg
    yoav-steinberg committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    49f4553 View commit details
    Browse the repository at this point in the history

  10. Merge branch 'main' into yoav/explicit_lifting

    @monadabot
    monadabot authored Mar 13, 2024
    Configuration menu
    Copy the full SHA
    d136d5b View commit details
    Browse the repository at this point in the history

  11. chore: self mutation (build.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    7cb7785 View commit details
    Browse the repository at this point in the history

  12. chore: self mutation (e2e-1of2.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    3c8551c View commit details
    Browse the repository at this point in the history

  13. chore: self mutation (e2e-2of2.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    d0be4ce View commit details
    Browse the repository at this point in the history

  14. typo

    @yoav-steinberg
    yoav-steinberg committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    776339e View commit details
    Browse the repository at this point in the history

  15. Merge branch 'yoav/explicit_lifting' of https://github.com/winglang/wing 

     into yoav/explicit_lifting
    @yoav-steinberg
    yoav-steinberg committed Mar 13, 2024
    Configuration menu
    Copy the full SHA
    0568c5e View commit details
    Browse the repository at this point in the history

Commits on Mar 14, 2024

  1. cleanups

    @yoav-steinberg
    yoav-steinberg committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    65872d7 View commit details
    Browse the repository at this point in the history

  2. cr

    @yoav-steinberg
    yoav-steinberg committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    1f36025 View commit details
    Browse the repository at this point in the history

  3. cr

    @yoav-steinberg
    yoav-steinberg committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    67a6f2c View commit details
    Browse the repository at this point in the history

  4. Merge branch 'main' into yoav/explicit_lifting

    @monadabot
    monadabot authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    d5127aa View commit details
    Browse the repository at this point in the history

  5. chore: self mutation (build.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    f04a488 View commit details
    Browse the repository at this point in the history

  6. chore: self mutation (e2e-2of2.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    f556aad View commit details
    Browse the repository at this point in the history

  7. Update libs/wingc/src/jsify.rs 

    Co-authored-by: Elad Ben-Israel <[email protected]>
    @yoav-steinberg @eladb
    yoav-steinberg and eladb authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    f3e79c9 View commit details
    Browse the repository at this point in the history

  8. cr

    @yoav-steinberg
    yoav-steinberg committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    8b45961 View commit details
    Browse the repository at this point in the history

  9. only allow explicit lifts on resource types

    @yoav-steinberg
    yoav-steinberg committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    1d45cec View commit details
    Browse the repository at this point in the history

  10. Merge branch 'main' into yoav/explicit_lifting

    @monadabot
    monadabot authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    6097d4d View commit details
    Browse the repository at this point in the history

  11. chore: self mutation (build.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    f777fe7 View commit details
    Browse the repository at this point in the history

  12. chore: self mutation (e2e-1of2.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    ecb6e1f View commit details
    Browse the repository at this point in the history

  13. chore: self mutation (e2e-2of2.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    e500612 View commit details
    Browse the repository at this point in the history

  14. tests

    @yoav-steinberg
    yoav-steinberg committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    d6221a8 View commit details
    Browse the repository at this point in the history

  15. Merge branch 'yoav/explicit_lifting' of https://github.com/winglang/wing 

     into yoav/explicit_lifting
    @yoav-steinberg
    yoav-steinberg committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    917db54 View commit details
    Browse the repository at this point in the history

  16. Merge branch 'main' into yoav/explicit_lifting

    @monadabot
    monadabot authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    1319cec View commit details
    Browse the repository at this point in the history

  17. chore: self mutation (e2e-2of2.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    1443164 View commit details
    Browse the repository at this point in the history

  18. cleanup docs

    @yoav-steinberg
    yoav-steinberg committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    e92ca4c View commit details
    Browse the repository at this point in the history

  19. Merge branch 'yoav/explicit_lifting' of https://github.com/winglang/wing 

     into yoav/explicit_lifting
    @yoav-steinberg
    yoav-steinberg committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    65eb153 View commit details
    Browse the repository at this point in the history

  20. Merge branch 'main' into yoav/explicit_lifting

    @monadabot
    monadabot authored Mar 14, 2024
    Configuration menu
    Copy the full SHA
    3ed7f90 View commit details
    Browse the repository at this point in the history

  21. chore: self mutation (build.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    ab0ec45 View commit details
    Browse the repository at this point in the history

  22. docs

    @yoav-steinberg
    yoav-steinberg committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    18aad74 View commit details
    Browse the repository at this point in the history

  23. Merge branch 'yoav/explicit_lifting' of https://github.com/winglang/wing 

     into yoav/explicit_lifting
    @yoav-steinberg
    yoav-steinberg committed Mar 14, 2024
    Configuration menu
    Copy the full SHA
    cbd2f6d View commit details
    Browse the repository at this point in the history

Commits on Mar 17, 2024

  1. Only allow lift() calls at top level of inflight methods

    @yoav-steinberg
    yoav-steinberg committed Mar 17, 2024
    Configuration menu
    Copy the full SHA
    55aa06b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into yoav/explicit_lifting

    @monadabot
    monadabot authored Mar 17, 2024
    Configuration menu
    Copy the full SHA
    44fc91e View commit details
    Browse the repository at this point in the history

  3. chore: self mutation (e2e-2of2.diff) 

    Signed-off-by: monada-bot[bot] <[email protected]>
    @monadabot
    monadabot committed Mar 17, 2024
    Configuration menu
    Copy the full SHA
    b359acc View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. Merge of #5935

    @mergify
    mergify[bot] authored Mar 19, 2024
    Configuration menu
    Copy the full SHA
    c51e276 View commit details
    Browse the repository at this point in the history