Skip to content

Commit

Permalink
Merge branch 'main' into ajewell/interrupt
Browse files Browse the repository at this point in the history
  • Loading branch information
@texastony
texastony authored Nov 14, 2024
2 parents 3915c82 + 03fef4d commit e1206d1
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion smithy-dafny
Submodule smithy-dafny updated 72 files
+1 −1 .github/workflows/pull.yml
+10 −27 SmithyDafnyMakefile.mk
+0 −3 TestModels/Aggregate/runtimes/rust/Cargo.toml
+24 −0 TestModels/Aggregate/runtimes/rust/src/lib.rs
+0 −3 TestModels/Constraints/runtimes/rust/Cargo.toml
+24 −0 TestModels/Constraints/runtimes/rust/src/lib.rs
+0 −3 TestModels/Constructor/runtimes/rust/Cargo.toml
+24 −0 TestModels/Constructor/runtimes/rust/src/lib.rs
+0 −3 TestModels/Dependencies/runtimes/rust/Cargo.toml
+25 −0 TestModels/Dependencies/runtimes/rust/src/lib.rs
+0 −3 TestModels/Documentation/runtimes/rust/Cargo.toml
+23 −0 TestModels/Documentation/runtimes/rust/src/lib.rs
+0 −3 TestModels/Errors/runtimes/rust/Cargo.toml
+24 −0 TestModels/Errors/runtimes/rust/src/lib.rs
+0 −3 TestModels/Extendable/runtimes/rust/Cargo.toml
+27 −0 TestModels/Extendable/runtimes/rust/src/lib.rs
+0 −3 TestModels/LanguageSpecificLogic/runtimes/rust/Cargo.toml
+19 −16 TestModels/LanguageSpecificLogic/runtimes/rust/src/lib.rs
+0 −3 TestModels/LocalService/runtimes/rust/Cargo.toml
+24 −0 TestModels/LocalService/runtimes/rust/src/lib.rs
+0 −3 TestModels/MultipleModels/runtimes/rust/Cargo.toml
+24 −0 TestModels/MultipleModels/runtimes/rust/src/lib.rs
+0 −3 TestModels/Positional/runtimes/rust/Cargo.toml
+24 −0 TestModels/Positional/runtimes/rust/src/lib.rs
+0 −3 TestModels/Refinement/runtimes/rust/Cargo.toml
+17 −11 TestModels/Refinement/runtimes/rust/src/lib.rs
+0 −3 TestModels/Resource/runtimes/rust/Cargo.toml
+24 −0 TestModels/Resource/runtimes/rust/src/lib.rs
+0 −3 TestModels/SQSExtended/runtimes/rust/Cargo.toml
+0 −3 TestModels/SimpleTypes/SimpleBlob/runtimes/rust/Cargo.toml
+24 −0 TestModels/SimpleTypes/SimpleBlob/runtimes/rust/src/lib.rs
+0 −3 TestModels/SimpleTypes/SimpleBoolean/runtimes/rust/Cargo.toml
+24 −0 TestModels/SimpleTypes/SimpleBoolean/runtimes/rust/src/lib.rs
+0 −3 TestModels/SimpleTypes/SimpleDouble/runtimes/rust/Cargo.toml
+24 −0 TestModels/SimpleTypes/SimpleDouble/runtimes/rust/src/lib.rs
+0 −3 TestModels/SimpleTypes/SimpleEnum/runtimes/rust/Cargo.toml
+24 −0 TestModels/SimpleTypes/SimpleEnum/runtimes/rust/src/lib.rs
+0 −3 TestModels/SimpleTypes/SimpleEnumV2/runtimes/rust/Cargo.toml
+24 −0 TestModels/SimpleTypes/SimpleEnumV2/runtimes/rust/src/lib.rs
+0 −3 TestModels/SimpleTypes/SimpleInteger/runtimes/rust/Cargo.toml
+24 −0 TestModels/SimpleTypes/SimpleInteger/runtimes/rust/src/lib.rs
+0 −3 TestModels/SimpleTypes/SimpleLong/runtimes/rust/Cargo.toml
+24 −0 TestModels/SimpleTypes/SimpleLong/runtimes/rust/src/lib.rs
+0 −3 TestModels/SimpleTypes/SimpleString/runtimes/rust/Cargo.toml
+24 −0 TestModels/SimpleTypes/SimpleString/runtimes/rust/src/lib.rs
+0 −3 TestModels/SimpleTypes/SimpleTimestamp/runtimes/rust/Cargo.toml
+24 −0 TestModels/SimpleTypes/SimpleTimestamp/runtimes/rust/src/lib.rs
+0 −3 TestModels/Union/runtimes/rust/Cargo.toml
+24 −0 TestModels/Union/runtimes/rust/src/lib.rs
+0 −3 TestModels/aws-sdks/ddb-lite/runtimes/rust/Cargo.toml
+0 −433 TestModels/aws-sdks/ddb-lite/runtimes/rust/src/client.rs
+20 −0 TestModels/aws-sdks/ddb-lite/runtimes/rust/src/lib.rs
+0 −3 TestModels/aws-sdks/ddb/runtimes/rust/Cargo.toml
+19 −0 TestModels/aws-sdks/ddb/runtimes/rust/src/lib.rs
+0 −3 TestModels/aws-sdks/ddbv2/runtimes/rust/Cargo.toml
+19 −0 TestModels/aws-sdks/ddbv2/runtimes/rust/src/lib.rs
+0 −3 TestModels/aws-sdks/kms-lite/runtimes/rust/Cargo.toml
+0 −246 TestModels/aws-sdks/kms-lite/runtimes/rust/src/client.rs
+20 −0 TestModels/aws-sdks/kms-lite/runtimes/rust/src/lib.rs
+0 −3 TestModels/aws-sdks/kms/runtimes/rust/Cargo.toml
+21 −0 TestModels/aws-sdks/kms/runtimes/rust/src/lib.rs
+0 −3 TestModels/aws-sdks/kmsv2/runtimes/rust/Cargo.toml
+21 −0 TestModels/aws-sdks/kmsv2/runtimes/rust/src/lib.rs
+0 −3 TestModels/dafny-dependencies/StandardLibrary/runtimes/rust/Cargo.toml
+14 −0 TestModels/dafny-dependencies/StandardLibrary/runtimes/rust/src/lib.rs
+0 −2 TestModels/dafny-dependencies/dafny_runtime_rust/README.md
+25 −7 TestModels/dafny-dependencies/dafny_runtime_rust/src/lib.rs
+7 −1 TestModels/dafny-dependencies/dafny_runtime_rust/src/tests/mod.rs
+18 −1 codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/CodegenEngine.java
+1 −7 codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithydafny/DafnyVersion.java
+2 −2 codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/src/standard_library_externs.rs
+1 −1 codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/types/error.rs

0 comments on commit e1206d1

Please sign in to comment.