Skip to content

Commit

Permalink
chore(smithy-dafny): bump to HEAD for Rust CI (#896)
Browse files Browse the repository at this point in the history
  • Loading branch information
@RitvikKapila
RitvikKapila authored Oct 23, 2024
1 parent ec60a62 commit 745d83a
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion smithy-dafny
Submodule smithy-dafny updated 87 files
+4 −1 .github/workflows/nightly_dafny.yml
+2 −1 .prettierignore
+4 −0 TestModels/Constraints/Makefile
+0 −38 TestModels/Constraints/runtimes/rust/src/client.rs
+0 −49 TestModels/Constraints/runtimes/rust/src/client/get_constraints.rs
+0 −10 TestModels/Constraints/runtimes/rust/src/conversions.rs
+0 −24 TestModels/Constraints/runtimes/rust/src/conversions/client.rs
+0 −99 TestModels/Constraints/runtimes/rust/src/conversions/error.rs
+0 −6 TestModels/Constraints/runtimes/rust/src/conversions/get_constraints.rs
+0 −192 TestModels/Constraints/runtimes/rust/src/conversions/get_constraints/_get_constraints_input.rs
+0 −192 TestModels/Constraints/runtimes/rust/src/conversions/get_constraints/_get_constraints_output.rs
+0 −4 TestModels/Constraints/runtimes/rust/src/conversions/simple_constraints_config.rs
+0 −44 TestModels/Constraints/runtimes/rust/src/conversions/simple_constraints_config/_simple_constraints_config.rs
+0 −16 TestModels/Constraints/runtimes/rust/src/error.rs
+0 −32 TestModels/Constraints/runtimes/rust/src/error/sealed_unhandled.rs
+0 −5 TestModels/Constraints/runtimes/rust/src/operation.rs
+0 −156 TestModels/Constraints/runtimes/rust/src/operation/get_constraints.rs
+0 −432 TestModels/Constraints/runtimes/rust/src/operation/get_constraints/_get_constraints_input.rs
+0 −432 TestModels/Constraints/runtimes/rust/src/operation/get_constraints/_get_constraints_output.rs
+0 −313 TestModels/Constraints/runtimes/rust/src/operation/get_constraints/builders.rs
+0 −266 TestModels/Constraints/runtimes/rust/src/standard_library_conversions.rs
+0 −80 TestModels/Constraints/runtimes/rust/src/standard_library_externs.rs
+0 −16 TestModels/Constraints/runtimes/rust/src/types.rs
+0 −3 TestModels/Constraints/runtimes/rust/src/types/builders.rs
+0 −67 TestModels/Constraints/runtimes/rust/src/types/error.rs
+0 −41 TestModels/Constraints/runtimes/rust/src/types/simple_constraints_config.rs
+0 −15 TestModels/Constraints/runtimes/rust/src/wrapped.rs
+0 −83 TestModels/Constraints/runtimes/rust/src/wrapped/client.rs
+2 −0 TestModels/Documentation/Makefile
+1 −4 TestModels/Documentation/Model/documentation.smithy
+23 −0 TestModels/Documentation/runtimes/rust/Cargo.toml
+6 −0 TestModels/Extendable/Makefile
+25 −0 TestModels/Extendable/runtimes/rust/Cargo.toml
+75 −0 TestModels/Extendable/runtimes/rust/src/factory.rs
+4 −4 TestModels/README.md
+62 −0 TestModels/aws-sdks/ddbv2/Makefile
+12,620 −0 TestModels/aws-sdks/ddbv2/Model/model.json
+38 −0 TestModels/aws-sdks/ddbv2/README.md
+26 −0 TestModels/aws-sdks/ddbv2/runtimes/python/pyproject.toml
+8 −0 TestModels/aws-sdks/ddbv2/runtimes/python/src/com_amazonaws_dynamodb/__init__.py
+60 −0 ...ls/aws-sdks/ddbv2/runtimes/python/src/com_amazonaws_dynamodb/internaldafny/extern/Com_Amazonaws_Dynamodb.py
+3 −0 TestModels/aws-sdks/ddbv2/runtimes/python/src/com_amazonaws_dynamodb/internaldafny/extern/__init__.py
+2 −0 TestModels/aws-sdks/ddbv2/runtimes/python/test/internaldafny/__init__.py
+17 −0 TestModels/aws-sdks/ddbv2/runtimes/python/test/internaldafny/test_dafny_wrapper.py
+14 −0 TestModels/aws-sdks/ddbv2/runtimes/python/tox.ini
+12 −0 TestModels/aws-sdks/ddbv2/src/Index.dfy
+206 −0 TestModels/aws-sdks/ddbv2/test/TestDDBv2.dfy
+61 −0 TestModels/aws-sdks/kmsv2/Makefile
+5 −0 TestModels/aws-sdks/kmsv2/Model/README.md
+8,130 −0 TestModels/aws-sdks/kmsv2/Model/model.json
+38 −0 TestModels/aws-sdks/kmsv2/README.md
+26 −0 TestModels/aws-sdks/kmsv2/runtimes/python/pyproject.toml
+8 −0 TestModels/aws-sdks/kmsv2/runtimes/python/src/com_amazonaws_kms/__init__.py
+60 −0 TestModels/aws-sdks/kmsv2/runtimes/python/src/com_amazonaws_kms/internaldafny/extern/Com_Amazonaws_Kms.py
+3 −0 TestModels/aws-sdks/kmsv2/runtimes/python/src/com_amazonaws_kms/internaldafny/extern/__init__.py
+2 −0 TestModels/aws-sdks/kmsv2/runtimes/python/test/internaldafny/__init__.py
+17 −0 TestModels/aws-sdks/kmsv2/runtimes/python/test/internaldafny/test_dafny_wrapper.py
+14 −0 TestModels/aws-sdks/kmsv2/runtimes/python/tox.ini
+23 −0 TestModels/aws-sdks/kmsv2/src/Index.dfy
+174 −0 TestModels/aws-sdks/kmsv2/test/TestComAmazonawsKms.dfy
+36 −0 TestModels/aws-sdks/s3/Makefile
+12 −0 TestModels/aws-sdks/s3/Model/README.md
+1,986 −0 TestModels/aws-sdks/s3/Model/custom-model.json
+4 −0 TestModels/aws-sdks/s3/README.md
+23 −0 TestModels/aws-sdks/s3/runtimes/python/pyproject.toml
+8 −0 TestModels/aws-sdks/s3/runtimes/python/src/com_amazonaws_s3/__init__.py
+60 −0 TestModels/aws-sdks/s3/runtimes/python/src/com_amazonaws_s3/internaldafny/extern/Com_Amazonaws_S3.py
+3 −0 TestModels/aws-sdks/s3/runtimes/python/src/com_amazonaws_s3/internaldafny/extern/__init__.py
+2 −0 TestModels/aws-sdks/s3/runtimes/python/test/internaldafny/__init__.py
+17 −0 TestModels/aws-sdks/s3/runtimes/python/test/internaldafny/test_dafny_wrapper.py
+14 −0 TestModels/aws-sdks/s3/runtimes/python/tox.ini
+15 −0 TestModels/aws-sdks/s3/src/Index.dfy
+104 −0 TestModels/aws-sdks/s3/test/TestComAmazonawsS3.dfy
+36 −0 cfn/ci.yaml
+5 −0 codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithydotnet/DotnetTestModels.java
+5 −0 codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithyjava/JavaTestModels.java
+5 −3 codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithyrust/RustTestModels.java
+30 −0 ...y-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/AbstractRustShimGenerator.java
+28 −9 ...hy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustLibraryShimGenerator.java
+1 −0 codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/client.rs
+1 −1 codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/operation/builders.rs
+2 −2 codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/operation/structure.rs
+1 −1 codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/types/config.rs
+2 −1 codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/types/enum.rs
+9 −1 codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/types/resource.rs
+2 −2 codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/types/structure.rs
+2 −2 codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/types/union.rs

0 comments on commit 745d83a

Please sign in to comment.