m

Author: ajewellamz

DynamoDbEncryption/runtimes/rust/.gitignore

@@ -1,2 +1,18 @@
 target
 Cargo.lock
+src/client.rs
+src/client
+src/conversions.rs
+src/conversions
+src/deps.rs
+src/deps
+src/error.rs
+src/error
+src/implementation_from_dafny.rs
+src/operation.rs
+src/operation
+src/standard_library_conversions.rs
+src/standard_library_externs.rs
+src/types.rs
+src/types
+*.pem

DynamoDbEncryption/runtimes/rust/Cargo.toml

@@ -24,7 +24,7 @@ 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"
-dafny_runtime = { path = "dafny_runtime_rust"}
+dafny_runtime = { path = "../../../submodules/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
 dashmap = "6.1.0"
 pem = "3.0.4"
 tokio = {version = "1.41.0", features = ["full"] }

DynamoDbEncryption/runtimes/rust/copy_externs.sh

@@ -0,0 +1,24 @@
+#!/bin/bash -eu
+
+cd $( dirname ${BASH_SOURCE[0]} )
+
+SRC=../../../submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/rust/src/
+
+cp $SRC/aes_gcm.rs src
+cp $SRC/aes_kdf_ctr.rs src
+cp $SRC/concurrent_call.rs src
+cp $SRC/dafny_libraries.rs src
+cp $SRC/ddb.rs src
+cp $SRC/digest.rs src
+cp $SRC/ecdh.rs src
+cp $SRC/ecdsa.rs src
+cp $SRC/hmac.rs src
+cp $SRC/kms.rs src
+cp $SRC/local_cmc.rs src
+cp $SRC/random.rs src
+cp $SRC/rsa.rs src
+cp $SRC/sets.rs src
+cp $SRC/software_externs.rs src
+cp $SRC/storm_tracker.rs src
+cp $SRC/time.rs src
+cp $SRC/uuid.rs src