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

Contract elision for static types #1671

Merged
merged 11 commits into from
Oct 10, 2023
Merged

Contract elision for static types #1671

merged 11 commits into from
Oct 10, 2023

Commits on Oct 10, 2023

  1. Extend record_op_kind to insertion and deletion

    @yannham
    yannham committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    61d8602 View commit details
    Browse the repository at this point in the history

  2. Fix compilation errors

    @yannham
    yannham committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    504540b View commit details
    Browse the repository at this point in the history

  3. Add specialized builtin contracts

    @yannham
    yannham committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    46982f1 View commit details
    Browse the repository at this point in the history

  4. First take at optimizing static contracts

    @yannham
    yannham committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    d2262ac View commit details
    Browse the repository at this point in the history

  5. Optimizing static contracts, second take

    @yannham
    yannham committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    6219bbb View commit details
    Browse the repository at this point in the history

  6. More documentation

    @yannham
    yannham committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    2fc8b85 View commit details
    Browse the repository at this point in the history

  7. Do not use has_field_all now that record_insert is fixed

    @yannham
    yannham committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    3ab3c38 View commit details
    Browse the repository at this point in the history

  8. Apply suggestions from code review 

    Co-authored-by: jneem <joeneeman@gmail.com>
    @yannham @jneem
    yannham and jneem committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    937edd8 View commit details
    Browse the repository at this point in the history

  9. Fix clippy warning

    @yannham
    yannham committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    4561e88 View commit details
    Browse the repository at this point in the history

  10. Fix cargo doc warning

    @yannham
    yannham committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    844dc94 View commit details
    Browse the repository at this point in the history

  11. Fix manual snippets check

    @yannham
    yannham committed Oct 10, 2023
    Configuration menu
    Copy the full SHA
    f3f9fd5 View commit details
    Browse the repository at this point in the history