create release directory

Author: ajewellamz

releases/rust/db_esdk/Cargo.toml

@@ -0,0 +1,26 @@
+[package]
+name = "db_esdk"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+aws-config = "1.5.6"
+aws-lc-rs = "1.9.0"
+aws-lc-sys = "0.21.1"
+aws-sdk-dynamodb = "1.46.0"
+aws-sdk-kms = "1.44.0"
+aws-smithy-runtime = {version = "1.7.1", features = ["client"] }
+aws-smithy-runtime-api = {version = "1.7.2", features = ["client"] }
+aws-smithy-types = "1.2.6"
+aws-types = "1.3.3"
+chrono = "0.4.38"
+dafny_runtime = { path = "dafny_runtime_rust"}
+dashmap = "6.1.0"
+pem = "3.0.4"
+tokio = {version = "1.40.0", features = ["full"] }
+uuid = { version = "1.10.0", features = ["v4"] }
+
+[lib]
+path = "src/implementation_from_dafny.rs"

releases/rust/db_esdk/dafny_runtime_rust/.gitignore

@@ -0,0 +1 @@
+target/

releases/rust/db_esdk/dafny_runtime_rust/Cargo.lock

@@ -0,0 +1,11 @@
+[package]
+name = "dafny_runtime"
+version = "0.1.0"
+edition = "2021"
+
+[dependencies]
+once_cell = "1.18.0"
+paste = "1.0"
+num = "0.4"
+itertools = "0.11.0"
+as-any = "0.3.1"

releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml

@@ -0,0 +1,22 @@
+
+# Invoking the CLI this way just to stay platform-independent
+DAFNY = dotnet run --project ../../Dafny --no-build --
+
+GENERATED_SYSTEM_MODULE_SOURCE=../obj/systemModulePopulator-rust/src/systemModulePopulator.rs
+GENERATED_SYSTEM_MODULE_TARGET=src/system/mod.rs
+
+all: check-system-module test
+
+build-system-module:
+	$(DAFNY) translate rs --no-verify --use-basename-for-filename --optimize-erasable-datatype-wrapper:false --system-module:OmitAllOtherModules ../systemModulePopulator.dfy --output:../obj/systemModulePopulator
+	python -c "import sys; data = sys.stdin.read(); sys.stdout.write(data.replace('::dafny_runtime', 'crate'))" < $(GENERATED_SYSTEM_MODULE_SOURCE) > $(GENERATED_SYSTEM_MODULE_SOURCE).tmp && mv $(GENERATED_SYSTEM_MODULE_SOURCE).tmp $(GENERATED_SYSTEM_MODULE_SOURCE)
+
+check-system-module: build-system-module
+	diff $(GENERATED_SYSTEM_MODULE_SOURCE) $(GENERATED_SYSTEM_MODULE_TARGET)
+
+update-system-module: build-system-module
+	cp $(GENERATED_SYSTEM_MODULE_SOURCE) $(GENERATED_SYSTEM_MODULE_TARGET)
+
+test:
+	cargo test
+	(cd ../../DafnyRuntime.Tests/DafnyRuntimeRustTest; cargo test)