chore: slight updates to properly publish as a crate (#1480)

* chore: make dafny runtime publishable

.github/workflows/library_rust_tests.yml

@@ -57,7 +57,7 @@ jobs:
       - name: Setup Dafny
         uses: dafny-lang/[email protected]
         with:
-          dafny-version: nightly-latest
+          dafny-version: nightly-2024-12-03-4954170
 
       # Remove this after the formatting in Rust starts working
       - name: smithy-dafny Rust hacks

DynamoDbEncryption/runtimes/rust/Cargo.toml

@@ -3,7 +3,7 @@ name = "aws-db-esdk"
 version = "0.1.0"
 edition = "2021"
 rust-version = "1.80.0"
-keywords = ["crypto", "cryptography", "security", "dynamodb", "ddb", "encryption", "client-side", "clientside"]
+keywords = ["cryptography", "security", "dynamodb", "encryption", "client-side"]
 license = "ISC AND (Apache-2.0 OR ISC)"
 description = "aws-db-esdk is a library for implementing client side encryption with DynamoDB."
 homepage = "https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk"
@@ -24,7 +24,7 @@ aws-sdk-kms = "1.50.0"
 aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
 aws-smithy-types = "1.2.9"
 chrono = "0.4.38"
-dafny_runtime = { path = "../../../submodules/MaterialProviders/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
+dafny-runtime = "0.1.1"
 dashmap = "6.1.0"
 pem = "3.0.4"
 tokio = {version = "1.41.1", features = ["full"] }

DynamoDbEncryption/runtimes/rust/src/intercept.rs

@@ -16,7 +16,6 @@ use aws_sdk_dynamodb::{
 use aws_smithy_runtime_api::client::interceptors::context::Input;
 use aws_smithy_types::config_bag::{Storable, StoreReplace};
 
-#[macro_export]
 macro_rules! modify_request {
     ($cfg:ident,$request:ident,$self:ident,$transform:ident) => {{
         // store the original request
@@ -44,7 +43,6 @@ macro_rules! modify_request {
     }};
 }
 
-#[macro_export]
 macro_rules! modify_response {
     ($cfg:ident,$type:ty,$response:ident,$self:ident,$transform:ident) => {{
         // retrieve the original request

releases/rust/db_esdk/Cargo.toml

@@ -3,7 +3,7 @@ name = "aws-db-esdk"
 version = "0.1.0"
 edition = "2021"
 rust-version = "1.80.0"
-keywords = ["crypto", "cryptography", "security", "dynamodb", "ddb", "encryption", "client-side", "clientside"]
+keywords = ["cryptography", "security", "dynamodb", "encryption", "client-side"]
 license = "ISC AND (Apache-2.0 OR ISC)"
 description = "aws-db-esdk is a library for implementing client side encryption with DynamoDB."
 homepage = "https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk"
@@ -24,7 +24,7 @@ aws-sdk-kms = "1.50.0"
 aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
 aws-smithy-types = "1.2.9"
 chrono = "0.4.38"
-dafny_runtime = { path = "./dafny_runtime_rust"}
+dafny-runtime = "0.1.1"
 dashmap = "6.1.0"
 pem = "3.0.4"
 tokio = {version = "1.41.1", features = ["full"] }

releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml

@@ -1,7 +1,13 @@
 [package]
-name = "dafny_runtime"
-version = "0.1.0"
+name = "dafny-runtime"
+version = "0.1.1"
 edition = "2021"
+keywords = ["dafny"]
+license = "ISC AND (Apache-2.0 OR ISC)"
+description = "dafny-runtime is the runtime support library for Rust code gerated from Dafny."
+repository = "https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk/dafny_runtime_rust"
+authors = ["AWS-CryptoTools"]
+readme = "README.md"
 
 [dependencies]
 once_cell = "1.18.0"

releases/rust/db_esdk/dafny_runtime_rust/README.md

@@ -0,0 +1 @@
+This is the runtime support library for Rust code generated from Dafny.

releases/rust/db_esdk/src/intercept.rs

@@ -16,7 +16,6 @@ use aws_sdk_dynamodb::{
 use aws_smithy_runtime_api::client::interceptors::context::Input;
 use aws_smithy_types::config_bag::{Storable, StoreReplace};
 
-#[macro_export]
 macro_rules! modify_request {
     ($cfg:ident,$request:ident,$self:ident,$transform:ident) => {{
         // store the original request
@@ -44,7 +43,6 @@ macro_rules! modify_request {
     }};
 }
 
-#[macro_export]
 macro_rules! modify_response {
     ($cfg:ident,$type:ty,$response:ident,$self:ident,$transform:ident) => {{
         // retrieve the original request