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

feat: Update linearity checker to use new diagnostics #601

Merged
merged 8 commits into from
Oct 31, 2024
Merged

feat: Update linearity checker to use new diagnostics #601

merged 8 commits into from
Oct 31, 2024

Commits on Oct 29, 2024

  1. feat: Allow sub-diagnostic labels to refer to fields of their parent

    @mark-koch
    mark-koch committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    5b9e985 View commit details
    Browse the repository at this point in the history

  2. feat: Update linearity checker to use new diagnostics

    @mark-koch
    mark-koch committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    ebd74b1 View commit details
    Browse the repository at this point in the history

  3. Fix BorrowSubPlaceUsedError message

    @mark-koch
    mark-koch committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    9bb2b72 View commit details
    Browse the repository at this point in the history

  4. Update notebook

    @mark-koch
    mark-koch committed Oct 29, 2024
    Configuration menu
    Copy the full SHA
    9d71aba View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2024

  1. Fix mood

    @mark-koch
    mark-koch committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    e61b2d4 View commit details
    Browse the repository at this point in the history

  2. Use __future__ annotations

    @mark-koch
    mark-koch committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    fc911e1 View commit details
    Browse the repository at this point in the history

  3. Use function name instead of "you" in messages

    @mark-koch
    mark-koch committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    44fabc0 View commit details
    Browse the repository at this point in the history

  4. Lints

    @mark-koch
    mark-koch committed Oct 31, 2024
    Configuration menu
    Copy the full SHA
    9bbfe75 View commit details
    Browse the repository at this point in the history