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

feat: add SimpleBlob TestModel for Rust #353

Merged
merged 14 commits into from
May 22, 2024
Merged

feat: add SimpleBlob TestModel for Rust #353

merged 14 commits into from
May 22, 2024
+4,003 −1

Commits on May 20, 2024

  1. feat: add SimpleBlob for Rust

    Andrew Banchich committed May 20, 2024
    Configuration menu
    Copy the full SHA
    fdb0f65 View commit details
    Browse the repository at this point in the history

  2. add known value test for SimpleBlob

    Andrew Banchich committed May 20, 2024
    Configuration menu
    Copy the full SHA
    7838e7a View commit details
    Browse the repository at this point in the history

  3. add SimpleBlob patch files for dafny >=4.5

    Andrew Banchich committed May 20, 2024
    Configuration menu
    Copy the full SHA
    0ab5225 View commit details
    Browse the repository at this point in the history

  4. use ::dafny_runtime::Sequence instead of Vec

    Andrew Banchich committed May 20, 2024
    Configuration menu
    Copy the full SHA
    9a1833c View commit details
    Browse the repository at this point in the history

  5. update patch

    Andrew Banchich committed May 20, 2024
    Configuration menu
    Copy the full SHA
    1e37f65 View commit details
    Browse the repository at this point in the history

  6. update patch

    Andrew Banchich committed May 20, 2024
    Configuration menu
    Copy the full SHA
    9d4e1c9 View commit details
    Browse the repository at this point in the history

  7. remove 4.4 patch

    Andrew Banchich committed May 20, 2024
    Configuration menu
    Copy the full SHA
    71a6ab6 View commit details
    Browse the repository at this point in the history

  8. fix areas using Sequence instead of Vec

    Andrew Banchich committed May 20, 2024
    Configuration menu
    Copy the full SHA
    cd54e43 View commit details
    Browse the repository at this point in the history

  9. update patch

    Andrew Banchich committed May 20, 2024
    Configuration menu
    Copy the full SHA
    7f6dc83 View commit details
    Browse the repository at this point in the history

  10. don't use Rc::unwrap_or_clone()

    Andrew Banchich committed May 20, 2024
    Configuration menu
    Copy the full SHA
    3f19ae5 View commit details
    Browse the repository at this point in the history

  11. update patch

    Andrew Banchich committed May 20, 2024
    Configuration menu
    Copy the full SHA
    9f41c1b View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. remove whitespace

    Andrew Banchich committed May 21, 2024
    Configuration menu
    Copy the full SHA
    c429adc View commit details
    Browse the repository at this point in the history

  2. update patch

    Andrew Banchich committed May 21, 2024
    Configuration menu
    Copy the full SHA
    9190ccd View commit details
    Browse the repository at this point in the history

Commits on May 22, 2024

  1. update patch

    Andrew Banchich committed May 22, 2024
    Configuration menu
    Copy the full SHA
    1d21eac View commit details
    Browse the repository at this point in the history