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: {:only} attribute for members #4075

Merged
merged 17 commits into from
Jun 8, 2023
Merged

Feat: {:only} attribute for members #4075

merged 17 commits into from
Jun 8, 2023

Commits on May 24, 2023

  1. Add test for issue #4074

    @MikaelMayer
    MikaelMayer committed May 24, 2023
    Configuration menu
    Copy the full SHA
    b57f52a View commit details
    Browse the repository at this point in the history

  2. Feat: {:only} attribute for members

    @MikaelMayer
    MikaelMayer committed May 24, 2023
    Configuration menu
    Copy the full SHA
    eb93921 View commit details
    Browse the repository at this point in the history

  3. FIXER:auditor/TestAuditor.dfy

    @MikaelMayer
    MikaelMayer committed May 24, 2023
    Configuration menu
    Copy the full SHA
    61a650e View commit details
    Browse the repository at this point in the history

  4. Added auditor and documentation

    @MikaelMayer
    MikaelMayer committed May 24, 2023
    Configuration menu
    Copy the full SHA
    a3f6420 View commit details
    Browse the repository at this point in the history

  5. fixed numbering of Attributes.md

    @MikaelMayer
    MikaelMayer committed May 24, 2023
    Configuration menu
    Copy the full SHA
    0547fc3 View commit details
    Browse the repository at this point in the history

  6. Merge branch 'master' into fix-4074-only-on-single-declaration

    @atomb
    atomb authored May 24, 2023
    Configuration menu
    Copy the full SHA
    e26a10a View commit details
    Browse the repository at this point in the history

  7. Review comments

    @MikaelMayer
    MikaelMayer committed May 24, 2023
    Configuration menu
    Copy the full SHA
    f61809f View commit details
    Browse the repository at this point in the history

  8. Merge branch 'fix-4074-only-on-single-declaration' of https://github.… 

    …com/dafny-lang/dafny into fix-4074-only-on-single-declaration
    @MikaelMayer
    MikaelMayer committed May 24, 2023
    Configuration menu
    Copy the full SHA
    a2db7e8 View commit details
    Browse the repository at this point in the history

Commits on May 25, 2023

  1. Merge branch 'master' into fix-4074-only-on-single-declaration

    @MikaelMayer
    MikaelMayer authored May 25, 2023
    Configuration menu
    Copy the full SHA
    e78e3ec View commit details
    Browse the repository at this point in the history

  2. FIXER:separate-verification/assumptions.dfy

    @MikaelMayer
    MikaelMayer committed May 25, 2023
    Configuration menu
    Copy the full SHA
    c3da8a3 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2023

  1. Merge branch 'master' into fix-4074-only-on-single-declaration

    @MikaelMayer
    MikaelMayer authored May 27, 2023
    Configuration menu
    Copy the full SHA
    5839315 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2023

  1. Merge branch 'fix-4074-only-on-single-declaration' of https://github.… 

    …com/dafny-lang/dafny into fix-4074-only-on-single-declaration
    @MikaelMayer
    MikaelMayer committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    fc678c1 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'master' into fix-4074-only-on-single-declaration 

    # Conflicts:
#	Source/DafnyCore/AST/MemberDecls.cs
#	Source/DafnyCore/Resolver/ResolutionErrors.cs
    @MikaelMayer
    MikaelMayer committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    ca1d3df View commit details
    Browse the repository at this point in the history

  3. Fixed the merge

    @MikaelMayer
    MikaelMayer committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    f7bf31e View commit details
    Browse the repository at this point in the history

  4. Fixed CI - Ensure "make numbers" works on Windows

    @MikaelMayer
    MikaelMayer committed Jun 6, 2023
    Configuration menu
    Copy the full SHA
    b5a9a96 View commit details
    Browse the repository at this point in the history

Commits on Jun 7, 2023

  1. Merge branch 'master' into fix-4074-only-on-single-declaration

    @MikaelMayer
    MikaelMayer authored Jun 7, 2023
    Configuration menu
    Copy the full SHA
    902a374 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2023

  1. Merge branch 'master' into fix-4074-only-on-single-declaration

    @MikaelMayer
    MikaelMayer committed Jun 8, 2023
    Configuration menu
    Copy the full SHA
    5f6595f View commit details
    Browse the repository at this point in the history