chore(rust): update dafny runtime release (#1884)

* chore(rust): update dafny runtime release

Author: ajewellamz

DynamoDbEncryption/runtimes/rust/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "aws-db-esdk"
-version = "1.0.0"
+version = "1.1.0"
 edition = "2021"
 rust-version = "1.81.0"
 keywords = ["cryptography", "security", "dynamodb", "encryption", "client-side"]
@@ -17,8 +17,8 @@ readme = "README.md"
 
 [dependencies]
 aws-config = "1.6.2"
-aws-lc-rs = "1.13.0"
-aws-lc-sys = "0.28.2"
+aws-lc-rs = "1.13.1"
+aws-lc-sys = "0.29.0"
 aws-sdk-dynamodb = "1.73.0"
 aws-sdk-kms = "1.67.0"
 aws-smithy-runtime-api = {version = "1.8.0", features = ["client"] }

DynamoDbEncryption/runtimes/rust/start_release.sh

@@ -68,7 +68,7 @@ cargo clippy --example main
 
 # replace local path with latest dafny-runtime from crates.io
 cargo rm dafny_runtime
-cargo add dafny-runtime -F sync
+cargo add dafny-runtime -F sync -F small-int
 
 # Run cargo test and example tests
 cargo test --release

TestVectors/runtimes/rust/Cargo.toml

@@ -12,8 +12,8 @@ wrapped-client = []
 
 [dependencies]
 aws-config = "1.6.2"
-aws-lc-rs = "1.13.0"
-aws-lc-sys = "0.28.2"
+aws-lc-rs = "1.13.1"
+aws-lc-sys = "0.29.0"
 aws-sdk-dynamodb = "1.73.0"
 aws-sdk-kms = "1.67.0"
 aws-smithy-runtime-api = {version = "1.8.0", features = ["client"] }

releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml

@@ -1,18 +1,18 @@
 [package]
-name = "dafny-runtime"
-version = "0.2.0"
+name = "dafny_runtime"
+version = "0.3.0"
 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"
-num = "0.4"
-itertools = "0.11.0"
+once_cell = "1.21.3"
+num = "0.4.3"
+itertools = "0.14.0"
 
 [features]
+# Use `dafny translate rs --rust-sync --include-runtime file.dfy`
+# to compile to code where values can be sent safely through threads
+# This will include the runtime with the sync feature
+
+# Use --features small-int to make DafnyInt use i128 instead of num::BigInt
 sync = []
+small-int = []