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

align_offset Contracts #69

Merged
merged 15 commits into from
Aug 30, 2024
Merged

align_offset Contracts #69

merged 15 commits into from
Aug 30, 2024

Commits on Aug 23, 2024

  1. align offset contracts

    @carolynzech
    carolynzech committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    03c8ef6 View commit details
    Browse the repository at this point in the history

  2. mod_inv proof

    @carolynzech
    carolynzech committed Aug 23, 2024
    Configuration menu
    Copy the full SHA
    b3572ea View commit details
    Browse the repository at this point in the history

Commits on Aug 27, 2024

  1. condense zst contract for readability 

    Co-authored-by: Michael Tautschnig <[email protected]>
    @carolynzech @tautschnig
    carolynzech and tautschnig authored Aug 27, 2024
    Configuration menu
    Copy the full SHA
    eaeaf02 View commit details
    Browse the repository at this point in the history

  2. contracts wip

    @carolynzech
    carolynzech committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    d5c7985 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'align-offset-contracts' of github.com:carolynzech/verif… 

    …y-rust-std into align-offset-contracts
    @carolynzech
    carolynzech committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    5fac1cd View commit details
    Browse the repository at this point in the history

  4. delete extra paren

    @carolynzech
    carolynzech committed Aug 27, 2024
    Configuration menu
    Copy the full SHA
    2e202a4 View commit details
    Browse the repository at this point in the history

Commits on Aug 29, 2024

  1. format 

    Co-authored-by: Zyad Hassan <[email protected]>
    @carolynzech @zhassan-aws
    carolynzech and zhassan-aws authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    e6c7ae9 View commit details
    Browse the repository at this point in the history

  2. fix typo 

    Co-authored-by: Zyad Hassan <[email protected]>
    @carolynzech @zhassan-aws
    carolynzech and zhassan-aws authored Aug 29, 2024
    Configuration menu
    Copy the full SHA
    31abde9 View commit details
    Browse the repository at this point in the history

  3. add contract for usize::max case

    @carolynzech
    carolynzech committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    0177d4f View commit details
    Browse the repository at this point in the history

  4. add TODO comment for mod_inv postcondition

    @carolynzech
    carolynzech committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    501ee0a View commit details
    Browse the repository at this point in the history

  5. clean up ensures contract

    @carolynzech
    carolynzech committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    badad7e View commit details
    Browse the repository at this point in the history

  6. add TODO to move mod_inv harness

    @carolynzech
    carolynzech committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    f94f69e View commit details
    Browse the repository at this point in the history

Commits on Aug 30, 2024

  1. Merge branch 'main' into align-offset-contracts

    @tautschnig
    tautschnig authored Aug 30, 2024
    Configuration menu
    Copy the full SHA
    722e979 View commit details
    Browse the repository at this point in the history

  2. add harness for non power of two

    @carolynzech
    carolynzech committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    18ff565 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'align-offset-contracts' of github.com:carolynzech/verif… 

    …y-rust-std into align-offset-contracts
    @carolynzech
    carolynzech committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    7f91e2f View commit details
    Browse the repository at this point in the history