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

Generate structural type invariants #801

Merged
merged 12 commits into from
Jun 14, 2023
Merged

Generate structural type invariants #801

merged 12 commits into from
Jun 14, 2023

Commits on Jun 14, 2023

  1. Add TransId to refer to translated items

    @voidc
    voidc committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    32f06b5 View commit details
    Browse the repository at this point in the history

  2. Generate structural invariants

    @voidc
    voidc committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    3cddd60 View commit details
    Browse the repository at this point in the history

  3. Add test

    @voidc
    voidc committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    58f4dc3 View commit details
    Browse the repository at this point in the history

  4. Add user invariants

    @voidc
    voidc committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    02dfd35 View commit details
    Browse the repository at this point in the history

  5. Generate type invariant modules for non-ADT types

    @voidc
    voidc committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    1c821e4 View commit details
    Browse the repository at this point in the history

  6. Add TyInvKind::Borrow

    @voidc
    voidc committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    6077aa5 View commit details
    Browse the repository at this point in the history

  7. Fixes

    @voidc
    voidc committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    0a6fa34 View commit details
    Browse the repository at this point in the history

  8. Address comments

    @voidc
    voidc committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    74a9293 View commit details
    Browse the repository at this point in the history

  9. Make self_id a TransId

    @voidc
    voidc committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    413456d View commit details
    Browse the repository at this point in the history

  10. Update proofs

    @voidc
    voidc committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    c93c37b View commit details
    Browse the repository at this point in the history

  11. Fix borrows

    @voidc
    voidc committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    251db3d View commit details
    Browse the repository at this point in the history

  12. Improve test

    @voidc
    voidc committed Jun 14, 2023
    Configuration menu
    Copy the full SHA
    f41ad35 View commit details
    Browse the repository at this point in the history