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

Specify null safety subtyping #3515

Open
wants to merge 21 commits into
base: main
Choose a base branch
from
Open

Specify null safety subtyping #3515

wants to merge 21 commits into from

Commits on Oct 11, 2024

  1. Integrate the null-safety subtyping rules into dartLangSpec.tex

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    e38a081 View commit details
    Browse the repository at this point in the history

  2. Integrated null-safety into the appendix about subtyping

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    4b74f72 View commit details
    Browse the repository at this point in the history

  3. Fix a couple of typos

    @eernstg
    eernstg committed Oct 11, 2024
    Configuration menu
    Copy the full SHA
    bf98431 View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Adjust dart.sty to change like specify_null_safety_sep21

    @eernstg
    eernstg committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    98ca9a4 View commit details
    Browse the repository at this point in the history

  2. WIP

    @eernstg
    eernstg committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    bb25bd7 View commit details
    Browse the repository at this point in the history

  3. Align this PR with specify_null_safety_sep21

    @eernstg
    eernstg committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    ff19e8f View commit details
    Browse the repository at this point in the history

  4. WIP

    @eernstg
    eernstg committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    bb71b7d View commit details
    Browse the repository at this point in the history

Commits on Oct 18, 2024

  1. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    3cf0c39 View commit details
    Browse the repository at this point in the history

  2. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    178cafe View commit details
    Browse the repository at this point in the history

  3. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    5ddb5cb View commit details
    Browse the repository at this point in the history

  4. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    6136f96 View commit details
    Browse the repository at this point in the history

  5. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    f4bfd29 View commit details
    Browse the repository at this point in the history

  6. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    4ceb6be View commit details
    Browse the repository at this point in the history

  7. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    7d8d624 View commit details
    Browse the repository at this point in the history

  8. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    2f165f6 View commit details
    Browse the repository at this point in the history

  9. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    f89fccc View commit details
    Browse the repository at this point in the history

  10. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    a25d214 View commit details
    Browse the repository at this point in the history

  11. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    a38309c View commit details
    Browse the repository at this point in the history

  12. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    8b2e753 View commit details
    Browse the repository at this point in the history

  13. WIP

    @eernstg
    eernstg committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    d10b6dd View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2024

  1. Added section about explicitly resolved (fka canonical) syntax

    @eernstg
    eernstg committed Nov 1, 2024
    Configuration menu
    Copy the full SHA
    f28e000 View commit details
    Browse the repository at this point in the history