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: @-attributes on top-level declarations #5825

Merged
merged 25 commits into from
Oct 18, 2024
Merged

Feat: @-attributes on top-level declarations #5825

merged 25 commits into from
Oct 18, 2024

Commits on Oct 10, 2024

  1. Feat: @-attributes on top-level declarations

    @MikaelMayer
    MikaelMayer committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    b6dcbcb View commit details
    Browse the repository at this point in the history

  2. Fixed class attributes

    @MikaelMayer
    MikaelMayer committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    09a845d View commit details
    Browse the repository at this point in the history

  3. Added missing tests

    @MikaelMayer
    MikaelMayer committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    53b2a01 View commit details
    Browse the repository at this point in the history

  4. Fixed formatting

    @MikaelMayer
    MikaelMayer committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    034553c View commit details
    Browse the repository at this point in the history

  5. Removed unused "attrs"

    @MikaelMayer
    MikaelMayer committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    4c602ce View commit details
    Browse the repository at this point in the history

  6. Fixed traitDecl

    @MikaelMayer
    MikaelMayer committed Oct 10, 2024
    Configuration menu
    Copy the full SHA
    8aa0335 View commit details
    Browse the repository at this point in the history

Commits on Oct 11, 2024

  1. Added missing iterator attributes

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

  2. Formatting (more)

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

  3. make format and fixed least predicate attribute parsing

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

  4. Reverted two tests accidentally modified

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

Commits on Oct 15, 2024

  1. Review comments

    @MikaelMayer
    MikaelMayer committed Oct 15, 2024
    Configuration menu
    Copy the full SHA
    78d7cf6 View commit details
    Browse the repository at this point in the history

Commits on Oct 16, 2024

  1. Resolution of attributes ensures arguments are literals

    @MikaelMayer
    MikaelMayer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    7f24f81 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into feat-at-attributes-1

    @MikaelMayer
    MikaelMayer committed Oct 16, 2024
    Configuration menu
    Copy the full SHA
    b7779ec View commit details
    Browse the repository at this point in the history

Commits on Oct 17, 2024

  1. Removed induction

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

  2. Merge branch 'master' into feat-at-attributes-1

    @MikaelMayer
    MikaelMayer authored Oct 17, 2024
    Configuration menu
    Copy the full SHA
    87166b1 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'master' into feat-at-attributes-1

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

  4. Fixed the doc

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

  5. Review comment: Ensure we check whether attributes can be applied cor… 

    …rectly
    @MikaelMayer
    MikaelMayer committed Oct 17, 2024
    Configuration menu
    Copy the full SHA
    2f9dfb7 View commit details
    Browse the repository at this point in the history

  6. Fixed CI

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

Commits on Oct 18, 2024

  1. Missing filter cases

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

  2. Merge branch 'master' into feat-at-attributes-1

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

  3. ICanVerify is more general + Forward-compatibility for {:fuel} on Ass… 

    …ertStmt
    @MikaelMayer
    MikaelMayer committed Oct 18, 2024
    Configuration menu
    Copy the full SHA
    0e988bc View commit details
    Browse the repository at this point in the history

  4. Updated documentation

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

  5. Merge branch 'master' into feat-at-attributes-1

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

  6. Code review

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