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

chore(MessageBody): CorrectlyRead for Dafny 4.4 #632

Open
wants to merge 7 commits into
base: mainline
Choose a base branch
from
Open

chore(MessageBody): CorrectlyRead for Dafny 4.4 #632

wants to merge 7 commits into from

Commits on Jan 22, 2024

  1. Update one definition to prove with Dafny 4.4

    @atomb
    atomb committed Jan 22, 2024
    Configuration menu
    Copy the full SHA
    9f92760 View commit details
    Browse the repository at this point in the history

Commits on Jan 24, 2024

  1. Reduce resource use with Dafny 4.2.0 

    Also helps and works with Dafny 4.3.0 and 4.4.0.
    @atomb
    atomb committed Jan 24, 2024
    Configuration menu
    Copy the full SHA
    2407f7e View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2024

  1. Bump mpl submodule

    @atomb
    atomb committed Jan 29, 2024
    Configuration menu
    Copy the full SHA
    24ddf9a View commit details
    Browse the repository at this point in the history

Commits on Feb 6, 2024

  1. Merge branch 'mainline' into dafny-4.4-verification

    @seebees
    seebees authored Feb 6, 2024
    Configuration menu
    Copy the full SHA
    3fbef7b View commit details
    Browse the repository at this point in the history

  2. Merge branch 'dafny-4.4-verification' of github.com:aws/aws-encryptio… 

    …n-sdk-dafny into dafny-4.4-verification
    @texastony
    texastony committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    0e2da71 View commit details
    Browse the repository at this point in the history

  3. fix(MPL-Dependency): bump MPL dependency to match submodule

    @texastony
    texastony committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    952adb0 View commit details
    Browse the repository at this point in the history

  4. fix(dependencies): Cannot pin indirect dependencies

    @texastony
    texastony committed Feb 6, 2024
    Configuration menu
    Copy the full SHA
    f793744 View commit details
    Browse the repository at this point in the history