1 file changed
+1
-1
lines changedSubmodule smithy-dafny updated 87 files
- .github/workflows/nightly_dafny.yml+4-1
- .prettierignore+2-1
- TestModels/Constraints/Makefile+4
- TestModels/Constraints/runtimes/rust/src/client.rs-38
- TestModels/Constraints/runtimes/rust/src/client/get_constraints.rs-49
- TestModels/Constraints/runtimes/rust/src/conversions.rs-10
- TestModels/Constraints/runtimes/rust/src/conversions/client.rs-24
- TestModels/Constraints/runtimes/rust/src/conversions/error.rs-99
- TestModels/Constraints/runtimes/rust/src/conversions/get_constraints.rs-6
- TestModels/Constraints/runtimes/rust/src/conversions/get_constraints/_get_constraints_input.rs-192
- TestModels/Constraints/runtimes/rust/src/conversions/get_constraints/_get_constraints_output.rs-192
- TestModels/Constraints/runtimes/rust/src/conversions/simple_constraints_config.rs-4
- TestModels/Constraints/runtimes/rust/src/conversions/simple_constraints_config/_simple_constraints_config.rs-44
- TestModels/Constraints/runtimes/rust/src/error.rs-16
- TestModels/Constraints/runtimes/rust/src/error/sealed_unhandled.rs-32
- TestModels/Constraints/runtimes/rust/src/operation.rs-5
- TestModels/Constraints/runtimes/rust/src/operation/get_constraints.rs-156
- TestModels/Constraints/runtimes/rust/src/operation/get_constraints/_get_constraints_input.rs-432
- TestModels/Constraints/runtimes/rust/src/operation/get_constraints/_get_constraints_output.rs-432
- TestModels/Constraints/runtimes/rust/src/operation/get_constraints/builders.rs-313
- TestModels/Constraints/runtimes/rust/src/standard_library_conversions.rs-266
- TestModels/Constraints/runtimes/rust/src/standard_library_externs.rs-80
- TestModels/Constraints/runtimes/rust/src/types.rs-16
- TestModels/Constraints/runtimes/rust/src/types/builders.rs-3
- TestModels/Constraints/runtimes/rust/src/types/error.rs-67
- TestModels/Constraints/runtimes/rust/src/types/simple_constraints_config.rs-41
- TestModels/Constraints/runtimes/rust/src/wrapped.rs-15
- TestModels/Constraints/runtimes/rust/src/wrapped/client.rs-83
- TestModels/Documentation/Makefile+2
- TestModels/Documentation/Model/documentation.smithy+1-4
- TestModels/Documentation/runtimes/rust/Cargo.toml+23
- TestModels/Extendable/Makefile+6
- TestModels/Extendable/runtimes/rust/Cargo.toml+25
- TestModels/Extendable/runtimes/rust/src/factory.rs+75
- TestModels/README.md+4-4
- TestModels/aws-sdks/ddbv2/Makefile+62
- TestModels/aws-sdks/ddbv2/Model/model.json+12.6k
- TestModels/aws-sdks/ddbv2/README.md+38
- TestModels/aws-sdks/ddbv2/runtimes/python/pyproject.toml+26
- TestModels/aws-sdks/ddbv2/runtimes/python/src/com_amazonaws_dynamodb/__init__.py+8
- TestModels/aws-sdks/ddbv2/runtimes/python/src/com_amazonaws_dynamodb/internaldafny/extern/Com_Amazonaws_Dynamodb.py+60
- TestModels/aws-sdks/ddbv2/runtimes/python/src/com_amazonaws_dynamodb/internaldafny/extern/__init__.py+3
- TestModels/aws-sdks/ddbv2/runtimes/python/test/internaldafny/__init__.py+2
- TestModels/aws-sdks/ddbv2/runtimes/python/test/internaldafny/test_dafny_wrapper.py+17
- TestModels/aws-sdks/ddbv2/runtimes/python/tox.ini+14
- TestModels/aws-sdks/ddbv2/src/Index.dfy+12
- TestModels/aws-sdks/ddbv2/test/TestDDBv2.dfy+206
- TestModels/aws-sdks/kmsv2/Makefile+61
- TestModels/aws-sdks/kmsv2/Model/README.md+5
- TestModels/aws-sdks/kmsv2/Model/model.json+8.1k
- TestModels/aws-sdks/kmsv2/README.md+38
- TestModels/aws-sdks/kmsv2/runtimes/python/pyproject.toml+26
- TestModels/aws-sdks/kmsv2/runtimes/python/src/com_amazonaws_kms/__init__.py+8
- TestModels/aws-sdks/kmsv2/runtimes/python/src/com_amazonaws_kms/internaldafny/extern/Com_Amazonaws_Kms.py+60
- TestModels/aws-sdks/kmsv2/runtimes/python/src/com_amazonaws_kms/internaldafny/extern/__init__.py+3
- TestModels/aws-sdks/kmsv2/runtimes/python/test/internaldafny/__init__.py+2
- TestModels/aws-sdks/kmsv2/runtimes/python/test/internaldafny/test_dafny_wrapper.py+17
- TestModels/aws-sdks/kmsv2/runtimes/python/tox.ini+14
- TestModels/aws-sdks/kmsv2/src/Index.dfy+23
- TestModels/aws-sdks/kmsv2/test/TestComAmazonawsKms.dfy+174
- TestModels/aws-sdks/s3/Makefile+36
- TestModels/aws-sdks/s3/Model/README.md+12
- TestModels/aws-sdks/s3/Model/custom-model.json+2.0k
- TestModels/aws-sdks/s3/README.md+4
- TestModels/aws-sdks/s3/runtimes/python/pyproject.toml+23
- TestModels/aws-sdks/s3/runtimes/python/src/com_amazonaws_s3/__init__.py+8
- TestModels/aws-sdks/s3/runtimes/python/src/com_amazonaws_s3/internaldafny/extern/Com_Amazonaws_S3.py+60
- TestModels/aws-sdks/s3/runtimes/python/src/com_amazonaws_s3/internaldafny/extern/__init__.py+3
- TestModels/aws-sdks/s3/runtimes/python/test/internaldafny/__init__.py+2
- TestModels/aws-sdks/s3/runtimes/python/test/internaldafny/test_dafny_wrapper.py+17
- TestModels/aws-sdks/s3/runtimes/python/tox.ini+14
- TestModels/aws-sdks/s3/src/Index.dfy+15
- TestModels/aws-sdks/s3/test/TestComAmazonawsS3.dfy+104
- cfn/ci.yaml+36
- codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithydotnet/DotnetTestModels.java+5
- codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithyjava/JavaTestModels.java+5
- codegen/smithy-dafny-codegen-test/src/test/java/software/amazon/polymorph/smithyrust/RustTestModels.java+5-3
- codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/AbstractRustShimGenerator.java+30
- codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustLibraryShimGenerator.java+28-9
- codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/client.rs+1
- codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/operation/builders.rs+1-1
- codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/operation/structure.rs+2-2
- codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/types/config.rs+1-1
- codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/types/enum.rs+2-1
- codegen/smithy-dafny-codegen/src/main/resources/templates/runtimes/rust/types/resource.rs+9-1
- 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+2-2
0 commit comments