chore: update smithy-dafny (#1141)

aws · Dec 18, 2024 · 0e2859d · 0e2859d
1 parent 96fa3af
commit 0e2859d
Show file tree

Hide file tree

Showing 9 changed files with 42 additions and 36 deletions.
diff --git a/AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml b/AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml
@@ -13,19 +13,19 @@ readme = "README.md"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-aws-config = "1.5.8"
-aws-lc-rs = "1.10.0"
-aws-lc-sys = "0.23.1"
-aws-sdk-dynamodb = "1.50.0"
-aws-sdk-kms = "1.47.0"
-aws-smithy-runtime-api = {version = "1.7.2", features = ["client"] }
-aws-smithy-types = "1.2.8"
-chrono = "0.4.38"
+aws-config = "1.5.11"
+aws-lc-rs = "1.12.0"
+aws-lc-sys = "0.22.0"
+aws-sdk-dynamodb = "1.55.0"
+aws-sdk-kms = "1.51.0"
+aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
+aws-smithy-types = "1.2.10"
+chrono = "0.4.39"
 cpu-time = "1.0.0"
 dafny_runtime = { path = "../../../smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
 dashmap = "6.1.0"
 pem = "3.0.4"
-tokio = {version = "1.41.0", features = ["full"] }
+tokio = {version = "1.42.0", features = ["full"] }
 uuid = { version = "1.11.0", features = ["v4"] }
 timeout = "0.1.0"
 rand = "0.8.5"

diff --git a/AwsCryptographyPrimitives/runtimes/rust/Cargo.toml b/AwsCryptographyPrimitives/runtimes/rust/Cargo.toml
@@ -7,15 +7,15 @@ rust-version = "1.80.0"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-aws-config = "1.5.10"
-aws-lc-rs = "1.10.0"
+aws-config = "1.5.11"
+aws-lc-rs = "1.12.0"
 aws-lc-sys = "0.22.0"
 aws-smithy-runtime-api = "1.7.3"
-aws-smithy-types = "1.2.9"
-chrono = "0.4.38"
+aws-smithy-types = "1.2.10"
+chrono = "0.4.39"
 cpu-time = "1.0.0"
 dafny_runtime = { path = "../../../smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
 dashmap = "6.1.0"
 pem = "3.0.4"
-tokio = {version = "1.41.1", features = ["full"] }
+tokio = {version = "1.42.0", features = ["full"] }
 uuid = { version = "1.11.0", features = ["v4"] }
diff --git a/ComAmazonawsDynamodb/runtimes/rust/.gitignore b/ComAmazonawsDynamodb/runtimes/rust/.gitignore
@@ -13,3 +13,4 @@ src/time.rs
 src/types.rs
 src/types
 src/uuid.rs
+target
diff --git a/ComAmazonawsDynamodb/runtimes/rust/Cargo.toml b/ComAmazonawsDynamodb/runtimes/rust/Cargo.toml
@@ -7,13 +7,13 @@ rust-version = "1.80.0"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-aws-config = "1.5.10"
-aws-sdk-dynamodb = "1.53.0"
+aws-config = "1.5.11"
+aws-sdk-dynamodb = "1.55.0"
 aws-smithy-runtime-api = "1.7.3"
-aws-smithy-types = "1.2.9"
-chrono = "0.4.38"
+aws-smithy-types = "1.2.10"
+chrono = "0.4.39"
 cpu-time = "1.0.0"
 dafny_runtime = { path = "../../../smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
 dashmap = "6.1.0"
-tokio = {version = "1.41.1", features = ["full"] }
+tokio = {version = "1.42.0", features = ["full"] }
 uuid = { version = "1.11.0", features = ["v4"] }
diff --git a/ComAmazonawsKms/runtimes/rust/.gitignore b/ComAmazonawsKms/runtimes/rust/.gitignore
@@ -1,10 +1,16 @@
 Cargo.lock
 src/client.rs
+src/concurrent_call.rs
 src/conversions.rs
 src/conversions
+src/dafny_libraries.rs
 src/deps.rs
 src/implementation_from_dafny.rs
+src/sets.rs
 src/standard_library_conversions.rs
 src/standard_library_externs.rs
+src/time.rs
 src/types.rs
 src/types
+src/uuid.rs
+target
diff --git a/ComAmazonawsKms/runtimes/rust/Cargo.toml b/ComAmazonawsKms/runtimes/rust/Cargo.toml
@@ -7,13 +7,13 @@ rust-version = "1.80.0"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-aws-config = "1.5.10"
-aws-sdk-kms = "1.50.0"
+aws-config = "1.5.11"
+aws-sdk-kms = "1.51.0"
 aws-smithy-runtime-api = "1.7.3"
-aws-smithy-types = "1.2.9"
-chrono = "0.4.38"
+aws-smithy-types = "1.2.10"
+chrono = "0.4.39"
 cpu-time = "1.0.0"
 dafny_runtime = { path = "../../../smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
 dashmap = "6.1.0"
-tokio = {version = "1.41.1", features = ["full"] }
+tokio = {version = "1.42.0", features = ["full"] }
 uuid = { version = "1.11.0", features = ["v4"] }
diff --git a/StandardLibrary/runtimes/rust/Cargo.toml b/StandardLibrary/runtimes/rust/Cargo.toml
@@ -7,8 +7,7 @@ rust-version = "1.80.0"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-chrono = "0.4.38"
+chrono = "0.4.39"
 cpu-time = "1.0.0"
 dafny_runtime = { path = "../../../smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
-dashmap = "6.1.0"
 uuid = { version = "1.11.0", features = ["v4"] }
diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml b/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml
@@ -10,24 +10,24 @@ rust-version = "1.80.0"
 wrapped-client = []
 
 [dependencies]
-aws-config = "1.5.8"
-aws-lc-rs = "1.10.0"
+aws-config = "1.5.11"
+aws-lc-rs = "1.12.0"
 aws-lc-sys = "0.22.0"
-aws-sdk-dynamodb = "1.50.0"
-aws-sdk-kms = "1.47.0"
-aws-smithy-runtime-api = {version = "1.7.2", features = ["client"] }
-aws-smithy-types = "1.2.8"
-chrono = "0.4.38"
+aws-sdk-dynamodb = "1.55.0"
+aws-sdk-kms = "1.51.0"
+aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
+aws-smithy-types = "1.2.10"
+chrono = "0.4.39"
 cpu-time = "1.0.0"
 dafny_runtime = { path = "../../../smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
 dashmap = "6.1.0"
 pem = "3.0.4"
-tokio = {version = "1.41.0", features = ["full"] }
+tokio = {version = "1.42.0", features = ["full"] }
 uuid = { version = "1.11.0", features = ["v4"] }
 
 [dev-dependencies]
 aws-mpl-test-vectors = { path = ".", features = ["wrapped-client"] }
 
 [[bin]]
 name = "test-vectors"
-path = "src/main.rs"
+path = "src/main.rs"
diff --git a/smithy-dafny b/smithy-dafny
+1 −1		.github/workflows/test_models_rust_tests.yml
+57 −37		...hy-dafny-codegen/src/main/java/software/amazon/polymorph/smithyrust/generator/RustLibraryShimGenerator.java