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

(Re)introduce Invariant trait #3190

Merged
merged 14 commits into from
Jun 6, 2024
Merged

(Re)introduce Invariant trait #3190

merged 14 commits into from
Jun 6, 2024

Commits on May 16, 2024

  1. Reintroduce Invariant trait

    @adpaco-aws
    adpaco-aws committed May 16, 2024
    Configuration menu
    Copy the full SHA
    7134f7a View commit details
    Browse the repository at this point in the history

  2. Fix format

    @adpaco-aws
    adpaco-aws committed May 16, 2024
    Configuration menu
    Copy the full SHA
    27c7c86 View commit details
    Browse the repository at this point in the history

Commits on May 17, 2024

  1. Rename is_valid to is_safe

    @adpaco-aws
    adpaco-aws committed May 17, 2024
    Configuration menu
    Copy the full SHA
    c8a0a08 View commit details
    Browse the repository at this point in the history

  2. Add trivial invariants.

    @adpaco-aws
    adpaco-aws committed May 17, 2024
    Configuration menu
    Copy the full SHA
    fa4e2b8 View commit details
    Browse the repository at this point in the history

  3. Add percentage test

    @adpaco-aws
    adpaco-aws committed May 17, 2024
    Configuration menu
    Copy the full SHA
    590a626 View commit details
    Browse the repository at this point in the history

  4. Add test checking privmitive invariant impls

    @adpaco-aws
    adpaco-aws committed May 17, 2024
    Configuration menu
    Copy the full SHA
    89f8b53 View commit details
    Browse the repository at this point in the history

  5. Merge branch 'main' into intro-invariant

    @adpaco-aws
    adpaco-aws committed May 17, 2024
    Configuration menu
    Copy the full SHA
    79bf2e6 View commit details
    Browse the repository at this point in the history

  6. Update copypasta

    @adpaco-aws
    adpaco-aws committed May 17, 2024
    Configuration menu
    Copy the full SHA
    d48970a View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. Define+test trivial invariants for bool, char

    @adpaco-aws
    adpaco-aws committed Jun 5, 2024
    Configuration menu
    Copy the full SHA
    9af7d04 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. Add more documentation and example

    @adpaco-aws
    adpaco-aws committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    aa3302f View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main' into intro-invariant

    @adpaco-aws
    adpaco-aws committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    35d2b50 View commit details
    Browse the repository at this point in the history

  3. clippy fixes

    @adpaco-aws
    adpaco-aws committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    0fc7997 View commit details
    Browse the repository at this point in the history

  4. Extend percentage test

    @adpaco-aws
    adpaco-aws committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    e1915fe View commit details
    Browse the repository at this point in the history

  5. Add Felipe's suggestion

    @adpaco-aws
    adpaco-aws committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    24815f4 View commit details
    Browse the repository at this point in the history