From 003561f7f575be0c80789b01dddba45c753c9e91 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Mon, 9 Jun 2025 10:58:04 -0700 Subject: [PATCH 01/10] auto commit --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 73375e7e6..91d826ebb 100644 --- a/README.md +++ b/README.md @@ -48,7 +48,7 @@ This repository is a top level repository which houses all source code in order different runtimes. This library is written in Dafny, a formally verifiable programming language that can be compiled into -different runtimes. This library is currently **ONLY** supported in Java and .NET +different runtimes. This library is currently **ONLY** supported in Java, .NET and Rust. ### AWS Integration @@ -71,7 +71,7 @@ You need an Amazon Web Services (AWS) account to use the DB-ESDK for DynamoDB as # Contributing -See [CONTRIBUTING](CONTRIBUTING.md) for more information. +See [CONTRIBUTING](CONTRIBUTING.md) for more information. For detailed information about code organization and development see [DynamoDbEncryption README](./DynamoDbEncryption/README.md) # License From faf73300af4bc67ca4919359384d7ac1b41e21e5 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Mon, 9 Jun 2025 11:07:02 -0700 Subject: [PATCH 02/10] empty commit From 724f30e918e673db020d427f58b09f36c27cea6d Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Mon, 9 Jun 2025 11:17:15 -0700 Subject: [PATCH 03/10] auto commit --- TestVectors/README.md | 28 +++++++++++++++++++--------- 1 file changed, 19 insertions(+), 9 deletions(-) diff --git a/TestVectors/README.md b/TestVectors/README.md index aed9ae4cf..b32ca31af 100644 --- a/TestVectors/README.md +++ b/TestVectors/README.md @@ -16,15 +16,25 @@ This validates the Database Encryption SDK's cross-version compatibility. ### Building and Running -1. Start in the root `./TestVectors` directory -2. Run `make build_java` -3. Run `make test_java` -4. Run `make transpile_net` -5. Run `cd runtimes/net` -6. Run `dotnet run --framework net6.0` -7. Run `make transpile_rust` -8. Run `make polymorph_rust` -9. Run `make test_rust` +Start in the root `./TestVectors` directory and read the runtime specific building and running instruction below. + +#### Java +1. Run `make build_java` +2. Run `make test_java` + +#### .NET +1. Run `make transpile_net` +2. Run `cd runtimes/net` +3. Run `dotnet run --framework net6.0` + +#### Rust +1. Run `make transpile_rust` +2. Run `make polymorph_rust` +3. Run `make test_rust` + +#### Go +1. Run `make transpile_go` +2. Run `make test_go` ### Saving results for later From 7ca0451bd2e2d2090aa1f172252464f5d82d13ae Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Mon, 9 Jun 2025 11:19:15 -0700 Subject: [PATCH 04/10] auto commit --- TestVectors/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/TestVectors/README.md b/TestVectors/README.md index b32ca31af..0eb238421 100644 --- a/TestVectors/README.md +++ b/TestVectors/README.md @@ -16,7 +16,7 @@ This validates the Database Encryption SDK's cross-version compatibility. ### Building and Running -Start in the root `./TestVectors` directory and read the runtime specific building and running instruction below. +Start in the root `./TestVectors` directory and read the runtime specific building and running instructions below. #### Java 1. Run `make build_java` From 17aee276b069ea50e5cd69bbc91fed63ea85265a Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Mon, 9 Jun 2025 11:29:51 -0700 Subject: [PATCH 05/10] auto commit --- TestVectors/README.md | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/TestVectors/README.md b/TestVectors/README.md index 0eb238421..c7a0f64f1 100644 --- a/TestVectors/README.md +++ b/TestVectors/README.md @@ -19,20 +19,24 @@ This validates the Database Encryption SDK's cross-version compatibility. Start in the root `./TestVectors` directory and read the runtime specific building and running instructions below. #### Java + 1. Run `make build_java` 2. Run `make test_java` #### .NET + 1. Run `make transpile_net` 2. Run `cd runtimes/net` 3. Run `dotnet run --framework net6.0` #### Rust + 1. Run `make transpile_rust` 2. Run `make polymorph_rust` 3. Run `make test_rust` #### Go + 1. Run `make transpile_go` 2. Run `make test_go` From 0e287071c4394c342881a67f54a4ca0eb3e27a7b Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Mon, 9 Jun 2025 11:33:13 -0700 Subject: [PATCH 06/10] auto commit --- TestVectors/README.md | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/TestVectors/README.md b/TestVectors/README.md index c7a0f64f1..ce0f6874f 100644 --- a/TestVectors/README.md +++ b/TestVectors/README.md @@ -26,19 +26,22 @@ Start in the root `./TestVectors` directory and read the runtime specific buildi #### .NET 1. Run `make transpile_net` -2. Run `cd runtimes/net` +2. Run `cp ./java/*.json ./net/` +3. Run `cd runtimes/net` 3. Run `dotnet run --framework net6.0` #### Rust 1. Run `make transpile_rust` -2. Run `make polymorph_rust` -3. Run `make test_rust` +2. Run `cp ./java/*.json ./rust/` +3. Run `make polymorph_rust` +4. Run `make test_rust` #### Go 1. Run `make transpile_go` -2. Run `make test_go` +2. Run `cp ./java/*.json ./go/` +3. Run `make test_go` ### Saving results for later From 46805305995b0c834c1a32dee12135b9cb9432db Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Mon, 9 Jun 2025 11:35:36 -0700 Subject: [PATCH 07/10] auto commit --- TestVectors/README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/TestVectors/README.md b/TestVectors/README.md index ce0f6874f..2a1630550 100644 --- a/TestVectors/README.md +++ b/TestVectors/README.md @@ -26,21 +26,21 @@ Start in the root `./TestVectors` directory and read the runtime specific buildi #### .NET 1. Run `make transpile_net` -2. Run `cp ./java/*.json ./net/` +2. Run `cp ./runtimes/java/*.json ./runtimes/net/` 3. Run `cd runtimes/net` 3. Run `dotnet run --framework net6.0` #### Rust 1. Run `make transpile_rust` -2. Run `cp ./java/*.json ./rust/` +2. Run `cp ./runtimes/java/*.json ./runtimes/rust/` 3. Run `make polymorph_rust` 4. Run `make test_rust` #### Go 1. Run `make transpile_go` -2. Run `cp ./java/*.json ./go/` +2. Run `cp ./runtimes/java/*.json ./runtimes/go/` 3. Run `make test_go` ### Saving results for later From 29f3c03a711f9c38f02ae63abc92d3f746273e89 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 10 Jun 2025 09:35:56 -0700 Subject: [PATCH 08/10] auto commit --- TestVectors/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/TestVectors/README.md b/TestVectors/README.md index 2a1630550..b4a5d3ab4 100644 --- a/TestVectors/README.md +++ b/TestVectors/README.md @@ -28,7 +28,7 @@ Start in the root `./TestVectors` directory and read the runtime specific buildi 1. Run `make transpile_net` 2. Run `cp ./runtimes/java/*.json ./runtimes/net/` 3. Run `cd runtimes/net` -3. Run `dotnet run --framework net6.0` +4. Run `dotnet run --framework net6.0` #### Rust From 35606700d57de383c680458228cd4cd0b7f48af9 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 10 Jun 2025 11:21:29 -0700 Subject: [PATCH 09/10] auto commit --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 91d826ebb..4b4a321e1 100644 --- a/README.md +++ b/README.md @@ -49,7 +49,7 @@ different runtimes. This library is written in Dafny, a formally verifiable programming language that can be compiled into different runtimes. This library is currently **ONLY** supported in Java, .NET and Rust. - + ### AWS Integration You need an Amazon Web Services (AWS) account to use the DB-ESDK for DynamoDB as it's specifically designed to work with Amazon DynamoDB. Optionally, you can use AWS Key Management Service (AWS KMS) as your main keyring provider. @@ -68,7 +68,7 @@ You need an Amazon Web Services (AWS) account to use the DB-ESDK for DynamoDB as - .NET - Dafny - Rust - + # Contributing See [CONTRIBUTING](CONTRIBUTING.md) for more information. For detailed information about code organization and development see [DynamoDbEncryption README](./DynamoDbEncryption/README.md) From 9ac42dd9ab3190db5a2e2e594dcc5caeef25188f Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Tue, 10 Jun 2025 13:13:39 -0700 Subject: [PATCH 10/10] auto commit --- README.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/README.md b/README.md index 4b4a321e1..8c121a237 100644 --- a/README.md +++ b/README.md @@ -49,7 +49,9 @@ different runtimes. This library is written in Dafny, a formally verifiable programming language that can be compiled into different runtimes. This library is currently **ONLY** supported in Java, .NET and Rust. + + ### AWS Integration You need an Amazon Web Services (AWS) account to use the DB-ESDK for DynamoDB as it's specifically designed to work with Amazon DynamoDB. Optionally, you can use AWS Key Management Service (AWS KMS) as your main keyring provider. @@ -69,6 +71,7 @@ You need an Amazon Web Services (AWS) account to use the DB-ESDK for DynamoDB as - Dafny - Rust + # Contributing See [CONTRIBUTING](CONTRIBUTING.md) for more information. For detailed information about code organization and development see [DynamoDbEncryption README](./DynamoDbEncryption/README.md)