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

ci: Use commit from Dafny feature branch for testing Rust support #368

Merged
merged 32 commits into from
May 22, 2024
Merged

ci: Use commit from Dafny feature branch for testing Rust support #368

merged 32 commits into from
May 22, 2024

Commits on May 15, 2024

  1. Feat: Integration of the latest generated code of Dafny Rust.

    @MikaelMayer
    MikaelMayer committed May 15, 2024
    Configuration menu
    Copy the full SHA
    c30cbf3 View commit details
    Browse the repository at this point in the history

  2. Generated StandardLibrary and SimpleString from rust, fixed generated… 

    … code.
    @MikaelMayer
    MikaelMayer committed May 15, 2024
    Configuration menu
    Copy the full SHA
    83b2f0b View commit details
    Browse the repository at this point in the history

Commits on May 16, 2024

  1. No reading of objects, only borrows

    @MikaelMayer
    MikaelMayer committed May 16, 2024
    Configuration menu
    Copy the full SHA
    c62d6ca View commit details
    Browse the repository at this point in the history

  2. Ensure Standard Library has its own Makefile recipe

    @MikaelMayer
    MikaelMayer committed May 16, 2024
    Configuration menu
    Copy the full SHA
    f2a0fe1 View commit details
    Browse the repository at this point in the history

  3. SimpleBlob as well

    @MikaelMayer
    MikaelMayer committed May 16, 2024
    Configuration menu
    Copy the full SHA
    36d2089 View commit details
    Browse the repository at this point in the history

Commits on May 21, 2024

  1. Partial impl

    @robin-aws
    robin-aws committed May 21, 2024
    Configuration menu
    Copy the full SHA
    f56d0a5 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main-1.x' of github.com:smithy-lang/smithy-dafny into r… 

    …obin-aws/test-rust-with-dafny-feat-rust-branch

# Conflicts:
#	.github/workflows/pull.yml
#	.github/workflows/push.yml
    @robin-aws
    robin-aws committed May 21, 2024
    Configuration menu
    Copy the full SHA
    aeb1d06 View commit details
    Browse the repository at this point in the history

  3. Checking out helps

    @robin-aws
    robin-aws committed May 21, 2024
    Configuration menu
    Copy the full SHA
    4edd9a8 View commit details
    Browse the repository at this point in the history

  4. Shell

    @robin-aws
    robin-aws committed May 21, 2024
    Configuration menu
    Copy the full SHA
    46dbdf2 View commit details
    Browse the repository at this point in the history

  5. Hard code DAFNY_VERSION for now

    @robin-aws
    robin-aws committed May 21, 2024
    Configuration menu
    Copy the full SHA
    dd64603 View commit details
    Browse the repository at this point in the history

  6. Debug

    @robin-aws
    robin-aws committed May 21, 2024
    Configuration menu
    Copy the full SHA
    13ffdb3 View commit details
    Browse the repository at this point in the history

  7. Absolute path in PATH

    @robin-aws
    robin-aws committed May 21, 2024
    Configuration menu
    Copy the full SHA
    7badb23 View commit details
    Browse the repository at this point in the history

  8. Update patch files

    @robin-aws
    robin-aws committed May 21, 2024
    Configuration menu
    Copy the full SHA
    d401cfb View commit details
    Browse the repository at this point in the history

  9. Whitespace

    @robin-aws
    robin-aws committed May 21, 2024
    Configuration menu
    Copy the full SHA
    1876c80 View commit details
    Browse the repository at this point in the history

  10. Restore the rest of the CI

    @robin-aws
    robin-aws committed May 21, 2024
    Configuration menu
    Copy the full SHA
    c3348fe View commit details
    Browse the repository at this point in the history

  11. Comment

    @robin-aws
    robin-aws committed May 21, 2024
    Configuration menu
    Copy the full SHA
    957cee6 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2024

  1. Lock down specific commit

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    6726a5a View commit details
    Browse the repository at this point in the history

  2. Merge branch 'main-1.x' of github.com:smithy-lang/smithy-dafny into r… 

    …obin-aws/test-rust-with-dafny-feat-rust-branch
    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    377745c View commit details
    Browse the repository at this point in the history

  3. Update makefiles

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    867ba29 View commit details
    Browse the repository at this point in the history

  4. Clean up

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    dec01ed View commit details
    Browse the repository at this point in the history

  5. Update patch

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    7c3e1de View commit details
    Browse the repository at this point in the history

  6. Update SimpleString patch

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    5362cde View commit details
    Browse the repository at this point in the history

  7. Fix StandardLibrary transpile_rust to retain src

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    1b0e5b5 View commit details
    Browse the repository at this point in the history

  8. Merge branch 'main-1.x' of github.com:smithy-lang/smithy-dafny into l… 

    …atest-dafny-rust

# Conflicts:
#	TestModels/SimpleTypes/SimpleBlob/runtimes/rust/dafny_impl/src/implementation_from_dafny.rs
#	TestModels/SimpleTypes/SimpleString/codegen-patches/rust/dafny-4.5.0.patch
    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    6348a17 View commit details
    Browse the repository at this point in the history

  9. Merge branch 'robin-aws/test-rust-with-dafny-feat-rust-branch' into l… 

    …atest-dafny-rust

# Conflicts:
#	TestModels/SimpleTypes/SimpleString/codegen-patches/rust/dafny-4.5.0.patch
    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    f8644bd View commit details
    Browse the repository at this point in the history

  10. Include rustfmt

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    c3e4762 View commit details
    Browse the repository at this point in the history

  11. Update/delete patch files

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    b4742df View commit details
    Browse the repository at this point in the history

  12. Apply same changes to the other two test models

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    bc74e68 View commit details
    Browse the repository at this point in the history

  13. Update patch files

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    aa3c373 View commit details
    Browse the repository at this point in the history

  14. Missing dereference on wrapped booleans + typos

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    0dae48e View commit details
    Browse the repository at this point in the history

  15. update patch files

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    546400a View commit details
    Browse the repository at this point in the history

  16. remove dafny_benerate (since now transpile_rust does the same thing)

    @robin-aws
    robin-aws committed May 22, 2024
    Configuration menu
    Copy the full SHA
    fe794ce View commit details
    Browse the repository at this point in the history