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

Add parse support for multiple requirements after where separated by and #4298

Merged
merged 99 commits into from
Sep 11, 2024
Merged

Add parse support for multiple requirements after where separated by and #4298

merged 99 commits into from
Sep 11, 2024

Commits on Jun 13, 2024

  1. Checkpoint progress.

    @josh11b
    josh11b committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    7fafbc5 View commit details
    Browse the repository at this point in the history

  2. Failing tests

    @josh11b
    josh11b committed Jun 13, 2024
    Configuration menu
    Copy the full SHA
    e0911ff View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. Checkpoint progress.

    @josh11b
    josh11b committed Jun 14, 2024
    Configuration menu
    Copy the full SHA
    db15d7d View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. Checkpoint progress.

    @josh11b
    josh11b committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    cb79f9a View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/trunk' into where

    @josh11b
    josh11b committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    324eb03 View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    d738371 View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    e144eaa View commit details
    Browse the repository at this point in the history

  5. Checkpoint progress.

    @josh11b
    josh11b committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    c0c8ce6 View commit details
    Browse the repository at this point in the history

  6. Checkpoint progress.

    @josh11b
    josh11b committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    94f96e2 View commit details
    Browse the repository at this point in the history

  7. Checkpoint progress.

    @josh11b
    josh11b committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    9d82656 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. Merge remote-tracking branch 'upstream/trunk' into where

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    33962cd View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    d18f227 View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    b40528d View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    85a01f6 View commit details
    Browse the repository at this point in the history

  5. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    2117578 View commit details
    Browse the repository at this point in the history

  6. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    234bcba View commit details
    Browse the repository at this point in the history

  7. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    6117d5b View commit details
    Browse the repository at this point in the history

  8. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    ac4fa1f View commit details
    Browse the repository at this point in the history

  9. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    ed2019a View commit details
    Browse the repository at this point in the history

  10. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    e4678d0 View commit details
    Browse the repository at this point in the history

  11. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    b378274 View commit details
    Browse the repository at this point in the history

  12. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    39b7921 View commit details
    Browse the repository at this point in the history

  13. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    6759a0a View commit details
    Browse the repository at this point in the history

  14. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    f508183 View commit details
    Browse the repository at this point in the history

  15. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    261cacf View commit details
    Browse the repository at this point in the history

  16. Checkpoint progress.

    @josh11b
    josh11b committed Jun 20, 2024
    Configuration menu
    Copy the full SHA
    a90f9cf View commit details
    Browse the repository at this point in the history

Commits on Jun 21, 2024

  1. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    553536b View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    5c9e59f View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    cc361b5 View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    f7d317c View commit details
    Browse the repository at this point in the history

  5. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    d1bfb10 View commit details
    Browse the repository at this point in the history

  6. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    02851ce View commit details
    Browse the repository at this point in the history

  7. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    fe08621 View commit details
    Browse the repository at this point in the history

  8. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    c0a2057 View commit details
    Browse the repository at this point in the history

  9. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    ff4fdfe View commit details
    Browse the repository at this point in the history

  10. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    bf7df4c View commit details
    Browse the repository at this point in the history

  11. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    36e092a View commit details
    Browse the repository at this point in the history

  12. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    fe5e3df View commit details
    Browse the repository at this point in the history

  13. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    430f113 View commit details
    Browse the repository at this point in the history

  14. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    c3c478b View commit details
    Browse the repository at this point in the history

  15. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    bd5aa57 View commit details
    Browse the repository at this point in the history

  16. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    0c29378 View commit details
    Browse the repository at this point in the history

  17. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    d6cf78f View commit details
    Browse the repository at this point in the history

  18. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    d7502c5 View commit details
    Browse the repository at this point in the history

  19. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    14b741a View commit details
    Browse the repository at this point in the history

  20. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    3ff65f3 View commit details
    Browse the repository at this point in the history

  21. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    0bba53d View commit details
    Browse the repository at this point in the history

  22. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    d7376f5 View commit details
    Browse the repository at this point in the history

  23. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    af4bad9 View commit details
    Browse the repository at this point in the history

  24. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    d0baa05 View commit details
    Browse the repository at this point in the history

  25. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    25e069e View commit details
    Browse the repository at this point in the history

  26. Checkpoint progress.

    @josh11b
    josh11b committed Jun 21, 2024
    Configuration menu
    Copy the full SHA
    4e71353 View commit details
    Browse the repository at this point in the history

Commits on Jun 22, 2024

  1. Checkpoint progress.

    @josh11b
    josh11b committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    59a6458 View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    1d9a373 View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    17918f4 View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    de42d25 View commit details
    Browse the repository at this point in the history

  5. Checkpoint progress.

    @josh11b
    josh11b committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    5bd696c View commit details
    Browse the repository at this point in the history

  6. Checkpoint progress.

    @josh11b
    josh11b committed Jun 22, 2024
    Configuration menu
    Copy the full SHA
    2fafc6b View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2024

  1. Merge remote-tracking branch 'upstream/trunk' into where

    @josh11b
    josh11b committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    e83b1da View commit details
    Browse the repository at this point in the history

  2. where precedence according to carbon-language#4075

    @josh11b
    josh11b committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    471c5fb View commit details
    Browse the repository at this point in the history

  3. Bring code up to date

    @josh11b
    josh11b committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    4a5287e View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2024

  1. Checkpoint progress.

    @josh11b
    josh11b committed Aug 26, 2024
    Configuration menu
    Copy the full SHA
    28ae66a View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. Checkpoint progress.

    @josh11b
    josh11b committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    9ba8731 View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    da299b7 View commit details
    Browse the repository at this point in the history

  3. Incorporate designator support from carbon-language#4254.

    @josh11b
    josh11b committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    a64f48b View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    9c617a5 View commit details
    Browse the repository at this point in the history

  5. Checkpoint progress.

    @josh11b
    josh11b committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    8aee873 View commit details
    Browse the repository at this point in the history

  6. Checkpoint progress.

    @josh11b
    josh11b committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    d4359c7 View commit details
    Browse the repository at this point in the history

Commits on Aug 28, 2024

  1. Merge remote-tracking branch 'upstream/trunk' into where

    @josh11b
    josh11b committed Aug 28, 2024
    Configuration menu
    Copy the full SHA
    b587940 View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2024

  1. Checkpoint progress.

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

  2. Checkpoint progress.

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

  3. Checkpoint progress.

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

  4. Checkpoint progress.

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

  5. Merge remote-tracking branch 'upstream/trunk' into where

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

  6. Checkpoint progress.

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

  7. Checkpoint progress.

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

Commits on Sep 5, 2024

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    a82da6e View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    427ee36 View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    0bebde8 View commit details
    Browse the repository at this point in the history

  4. Add comment saying expected_parse_tree_size is an upper bound.

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

  5. Add comment saying expected_parse_tree_size is an upper bound.

    @josh11b
    josh11b committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    f83335d View commit details
    Browse the repository at this point in the history

Commits on Sep 6, 2024

  1. and acts as a comma, not a binary operator

    @josh11b
    josh11b committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    5942c34 View commit details
    Browse the repository at this point in the history

  2. Add (broken) tests

    @josh11b
    josh11b committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    7acef48 View commit details
    Browse the repository at this point in the history

  3. Checkpoint progress.

    @josh11b
    josh11b committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    f1a2fea View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Sep 6, 2024
    Configuration menu
    Copy the full SHA
    e3ec530 View commit details
    Browse the repository at this point in the history

  5. Reorder

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

Commits on Sep 10, 2024

  1. Apply suggestions from code review 

    Co-authored-by: Richard Smith <[email protected]>
    @josh11b @zygoloid
    josh11b and zygoloid committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    cdef86c View commit details
    Browse the repository at this point in the history

  2. Implement suggestions

    @josh11b
    josh11b committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    8fde43e View commit details
    Browse the repository at this point in the history

  3. Update tests

    @josh11b
    josh11b committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    d1a5dba View commit details
    Browse the repository at this point in the history

  4. Implement suggestions

    @josh11b
    josh11b committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    c149306 View commit details
    Browse the repository at this point in the history

  5. Switch to a distinct state for the beginning of requirements, instead… 

    … of a helper function
    @josh11b
    josh11b committed Sep 10, 2024
    Configuration menu
    Copy the full SHA
    9543906 View commit details
    Browse the repository at this point in the history

Commits on Sep 11, 2024

  1. Checkpoint progress.

    @josh11b
    josh11b committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    54f5b64 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'upstream/trunk' into and

    @josh11b
    josh11b committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    eb3e677 View commit details
    Browse the repository at this point in the history

  3. Fix after sync

    @josh11b
    josh11b committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    770579c View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'upstream/trunk' into and

    @josh11b
    josh11b committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    f2db797 View commit details
    Browse the repository at this point in the history

  5. Remove BeginRequirement function, RequirementBegin state will han… 

    …dle the rewrite special form in the future
    @josh11b
    josh11b committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    6fde570 View commit details
    Browse the repository at this point in the history

  6. Apply suggestions from code review 

    Co-authored-by: Richard Smith <[email protected]>
    @josh11b @zygoloid
    josh11b and zygoloid authored Sep 11, 2024
    Configuration menu
    Copy the full SHA
    b08b5d0 View commit details
    Browse the repository at this point in the history

  7. Fix formatting

    @josh11b
    josh11b committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    bba4b91 View commit details
    Browse the repository at this point in the history

  8. Implement suggestion to rename expected_parse_tree_size

    @josh11b
    josh11b committed Sep 11, 2024
    Configuration menu
    Copy the full SHA
    f909ccf View commit details
    Browse the repository at this point in the history