From c1d5ccb6d4a4b4c6d92819ea46edc55abc8925a2 Mon Sep 17 00:00:00 2001
From: Andy Jewell <ajewell@amazon.com>
Date: Wed, 18 Dec 2024 13:51:22 -0500
Subject: [PATCH] chore: update smithy-dafny

---
 .../runtimes/rust/Cargo.toml                   | 18 +++++++++---------
 .../runtimes/rust/Cargo.toml                   | 10 +++++-----
 ComAmazonawsDynamodb/runtimes/rust/.gitignore  |  1 +
 ComAmazonawsDynamodb/runtimes/rust/Cargo.toml  | 10 +++++-----
 ComAmazonawsKms/runtimes/rust/.gitignore       |  6 ++++++
 ComAmazonawsKms/runtimes/rust/Cargo.toml       | 10 +++++-----
 StandardLibrary/runtimes/rust/Cargo.toml       |  3 +--
 .../runtimes/rust/Cargo.toml                   | 18 +++++++++---------
 smithy-dafny                                   |  2 +-
 9 files changed, 42 insertions(+), 36 deletions(-)

diff --git a/AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml b/AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml
index d3d3ed39e..17347384c 100644
--- 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
index 669018fa9..11757942d 100644
--- 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
index f51a898e7..457c1969d 100644
--- 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
index 927d50f43..0fd167199 100644
--- 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
index 89f58a752..457c1969d 100644
--- 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
index 37cb028d0..0a7670a3d 100644
--- 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
index 776c79775..afa8e60a5 100644
--- 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
index d71a3bbe3..b9e2a2dff 100644
--- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml
+++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml
@@ -10,19 +10,19 @@ 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]
@@ -30,4 +30,4 @@ aws-mpl-test-vectors = { path = ".", features = ["wrapped-client"] }
 
 [[bin]]
 name = "test-vectors"
-path = "src/main.rs"
\ No newline at end of file
+path = "src/main.rs"
diff --git a/smithy-dafny b/smithy-dafny
index fc8abc130..f67c21075 160000
--- a/smithy-dafny
+++ b/smithy-dafny
@@ -1 +1 @@
-Subproject commit fc8abc130463201789568e6ee45546fb0635146e
+Subproject commit f67c21075ebac40e052204b6827a4db641e65862