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

Generics details 8: interface default and final members #990

Merged
merged 22 commits into from
Jan 21, 2022
Merged

Generics details 8: interface default and final members #990

merged 22 commits into from
Jan 21, 2022

Commits on Dec 15, 2021

  1. Filling out template with PR 990

    @josh11b
    josh11b committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    37e566e View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    80bdfa3 View commit details
    Browse the repository at this point in the history

  3. Filling out template with PR 990

    @josh11b
    josh11b committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    168a956 View commit details
    Browse the repository at this point in the history

  4. Checkpoint progress.

    @josh11b
    josh11b committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    0df2be2 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'defaults' of github.com:josh11b/carbon-lang into defaults

    @josh11b
    josh11b committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    6ce72dc View commit details
    Browse the repository at this point in the history

  6. Checkpoint progress.

    @josh11b
    josh11b committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    93014eb View commit details
    Browse the repository at this point in the history

  7. Checkpoint progress.

    @josh11b
    josh11b committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    e321267 View commit details
    Browse the repository at this point in the history

  8. Checkpoint progress.

    @josh11b
    josh11b committed Dec 15, 2021
    Configuration menu
    Copy the full SHA
    39dabbd View commit details
    Browse the repository at this point in the history

Commits on Dec 16, 2021

  1. Finish alternatives

    @josh11b
    josh11b committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    fc4fc2f View commit details
    Browse the repository at this point in the history

  2. Checkpoint progress.

    @josh11b
    josh11b committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    693034f View commit details
    Browse the repository at this point in the history

  3. Final members

    @josh11b
    josh11b committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    63bd3a4 View commit details
    Browse the repository at this point in the history

  4. Finish proposal

    @josh11b
    josh11b committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    e39d4c9 View commit details
    Browse the repository at this point in the history

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

    @josh11b
    josh11b committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    a72d546 View commit details
    Browse the repository at this point in the history

  6. Checkpoint progress.

    @josh11b
    josh11b committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    05dc2cf View commit details
    Browse the repository at this point in the history

  7. Update title

    @josh11b
    josh11b committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    ec52487 View commit details
    Browse the repository at this point in the history

  8. Apply suggestions from code review 

    Co-authored-by: Richard Smith <[email protected]>
    @josh11b @zygoloid
    josh11b and zygoloid authored Dec 16, 2021
    Configuration menu
    Copy the full SHA
    73cff05 View commit details
    Browse the repository at this point in the history

  9. Address comments

    @josh11b
    josh11b committed Dec 16, 2021
    Configuration menu
    Copy the full SHA
    82d62f0 View commit details
    Browse the repository at this point in the history

Commits on Jan 4, 2022

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

    @josh11b
    josh11b committed Jan 4, 2022
    Configuration menu
    Copy the full SHA
    50ccd0b View commit details
    Browse the repository at this point in the history

Commits on Jan 6, 2022

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

    @josh11b
    josh11b committed Jan 6, 2022
    Configuration menu
    Copy the full SHA
    0bfd914 View commit details
    Browse the repository at this point in the history

Commits on Jan 7, 2022

  1. Add based on discussions

    @josh11b
    josh11b committed Jan 7, 2022
    Configuration menu
    Copy the full SHA
    7c9c95d View commit details
    Browse the repository at this point in the history

Commits on Jan 14, 2022

  1. Make final a keyword

    @josh11b
    josh11b committed Jan 14, 2022
    Configuration menu
    Copy the full SHA
    7e2cedb View commit details
    Browse the repository at this point in the history

Commits on Jan 20, 2022

  1. Rationale for final

    @josh11b
    josh11b committed Jan 20, 2022
    Configuration menu
    Copy the full SHA
    620d6de View commit details
    Browse the repository at this point in the history