From db1424dcd5e1cdadebb40ebd37ca714e46f85831 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 13 Feb 2026 12:14:09 -0800 Subject: [PATCH 01/10] chore(.net): reference submoduled mpl --- DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj | 3 ++- TestVectors/runtimes/net/DbEsdkTestVectors.csproj | 6 ++++-- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj b/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj index 97639652e0..bddba56f62 100644 --- a/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj +++ b/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj @@ -61,7 +61,8 @@ - + + From 15a17f8ba056558adecabeb5060c0065b6847046 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 13 Feb 2026 12:28:43 -0800 Subject: [PATCH 02/10] commented out too much --- TestVectors/runtimes/net/DbEsdkTestVectors.csproj | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/TestVectors/runtimes/net/DbEsdkTestVectors.csproj b/TestVectors/runtimes/net/DbEsdkTestVectors.csproj index 510242dfb2..67d9a2799f 100644 --- a/TestVectors/runtimes/net/DbEsdkTestVectors.csproj +++ b/TestVectors/runtimes/net/DbEsdkTestVectors.csproj @@ -13,9 +13,8 @@ - - + + From 31ae5ab088d0928cc4f74a41ab9663f122990afe Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 13 Feb 2026 12:58:17 -0800 Subject: [PATCH 03/10] update --- TestVectors/runtimes/net/DbEsdkTestVectors.csproj | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/TestVectors/runtimes/net/DbEsdkTestVectors.csproj b/TestVectors/runtimes/net/DbEsdkTestVectors.csproj index 67d9a2799f..7feae00872 100644 --- a/TestVectors/runtimes/net/DbEsdkTestVectors.csproj +++ b/TestVectors/runtimes/net/DbEsdkTestVectors.csproj @@ -12,8 +12,7 @@ - - + From 424cccd658e6deda82ee808aea499da9629d857f Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 13 Feb 2026 13:10:17 -0800 Subject: [PATCH 04/10] m --- submodules/MaterialProviders | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/submodules/MaterialProviders b/submodules/MaterialProviders index 7d126df3c5..734c1a31fc 160000 --- a/submodules/MaterialProviders +++ b/submodules/MaterialProviders @@ -1 +1 @@ -Subproject commit 7d126df3c577ba2f8bebcf6ffe4d0474b3e32089 +Subproject commit 734c1a31fc4521dc0653433565d5d6171e61d1ac From 6d2408e734677cfad7d08c0757442d6a7e4521ff Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 13 Feb 2026 14:00:45 -0800 Subject: [PATCH 05/10] m --- .releaserc.cjs | 33 +++++++++++++++++++++++++++++++++ project.properties | 1 + 2 files changed, 34 insertions(+) diff --git a/.releaserc.cjs b/.releaserc.cjs index e2be963bf9..028b0ece34 100644 --- a/.releaserc.cjs +++ b/.releaserc.cjs @@ -15,6 +15,32 @@ `npx semantic-release --branches main` */ +const fs = require('fs'); +const path = require('path'); + +/** + * Function to parse a simple properties file + * @param {string} filePath - Path to the properties file + * @returns {Object} Parsed properties as key-value pairs + */ +function parsePropertiesFile(filePath) { + const content = fs.readFileSync(filePath, 'utf8'); + const properties = {}; + + content.split('').forEach(line => { + line = line.trim(); + if (line && !line.startsWith('#') && line.includes('=')) { + const [key, ...valueParts] = line.split('='); + properties[key.trim()] = valueParts.join('=').trim(); + } + }); + + return properties; +} + +// Read your project.properties file +const props = parsePropertiesFile('./project.properties'); + // This project has several runtimes // each one has files that need to be updated. // We model all the files and the runtimes here in this structure @@ -122,6 +148,13 @@ module.exports = { results: Object.keys(Runtimes.net).map(CheckResults), countMatches: true, }, + { + files: Object.keys(Runtimes.net), + from: "", + to: "", + results: Object.keys(Runtimes.net).map(CheckResults), + countMatches: true, + }, // Update the AssmeblyInfo.cs file of the DotNet projects ...Object.entries(Runtimes.net).flatMap( ([file, { assemblyInfo }]) => ({ diff --git a/project.properties b/project.properties index 9b0227e65c..84418bd77b 100644 --- a/project.properties +++ b/project.properties @@ -1,5 +1,6 @@ projectJavaVersion=3.9.1 mplDependencyJavaVersion=1.11.2-SNAPSHOT +mplDependencyNetVersion=1.11.2 dafnyVersion=4.9.0 dafnyVerifyVersion=4.9.1 dafnyRuntimeJavaVersion=4.9.0 From 84d4332e3f6f6964a80b95324e3afda672a6c7db Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 13 Feb 2026 14:18:28 -0800 Subject: [PATCH 06/10] m --- .releaserc.cjs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.releaserc.cjs b/.releaserc.cjs index 028b0ece34..018fb950ff 100644 --- a/.releaserc.cjs +++ b/.releaserc.cjs @@ -62,7 +62,7 @@ const Runtimes = { * @type {import('semantic-release').GlobalConfig} */ module.exports = { - branches: ["main"], + branches: ["test-semantic-release"], repositoryUrl: "git@github.com:aws/aws-database-encryption-sdk-dynamodb.git", plugins: [ // Check the commits since the last release From b8fc66973ec7800c312deeb3a91bfa9e6f7eeb41 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 13 Feb 2026 14:28:35 -0800 Subject: [PATCH 07/10] m --- .releaserc.cjs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.releaserc.cjs b/.releaserc.cjs index 018fb950ff..8468caf230 100644 --- a/.releaserc.cjs +++ b/.releaserc.cjs @@ -16,7 +16,6 @@ */ const fs = require('fs'); -const path = require('path'); /** * Function to parse a simple properties file @@ -151,7 +150,7 @@ module.exports = { { files: Object.keys(Runtimes.net), from: "", - to: "", + to: ``, results: Object.keys(Runtimes.net).map(CheckResults), countMatches: true, }, From c87026c25f53157cf9ecc22adbdbaaccde5948b2 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 13 Feb 2026 14:37:14 -0800 Subject: [PATCH 08/10] fix js --- .releaserc.cjs | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/.releaserc.cjs b/.releaserc.cjs index 8468caf230..1759aea4e3 100644 --- a/.releaserc.cjs +++ b/.releaserc.cjs @@ -26,8 +26,7 @@ function parsePropertiesFile(filePath) { const content = fs.readFileSync(filePath, 'utf8'); const properties = {}; - content.split('').forEach(line => { - line = line.trim(); + content.split('\n').forEach(line => { if (line && !line.startsWith('#') && line.includes('=')) { const [key, ...valueParts] = line.split('='); properties[key.trim()] = valueParts.join('=').trim(); From 9b1d96cbaadff579d4153eebf54490b98e733122 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 13 Feb 2026 14:40:35 -0800 Subject: [PATCH 09/10] switch back to main --- .releaserc.cjs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.releaserc.cjs b/.releaserc.cjs index 1759aea4e3..9695067f5d 100644 --- a/.releaserc.cjs +++ b/.releaserc.cjs @@ -60,7 +60,7 @@ const Runtimes = { * @type {import('semantic-release').GlobalConfig} */ module.exports = { - branches: ["test-semantic-release"], + branches: ["main"], repositoryUrl: "git@github.com:aws/aws-database-encryption-sdk-dynamodb.git", plugins: [ // Check the commits since the last release From 36cc9f6d9e0df5289ce3b17051a4026c78ad105f Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Fri, 13 Feb 2026 14:51:08 -0800 Subject: [PATCH 10/10] format --- .releaserc.cjs | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/.releaserc.cjs b/.releaserc.cjs index 9695067f5d..21f6d9af3e 100644 --- a/.releaserc.cjs +++ b/.releaserc.cjs @@ -15,7 +15,7 @@ `npx semantic-release --branches main` */ -const fs = require('fs'); +const fs = require("fs"); /** * Function to parse a simple properties file @@ -23,13 +23,13 @@ const fs = require('fs'); * @returns {Object} Parsed properties as key-value pairs */ function parsePropertiesFile(filePath) { - const content = fs.readFileSync(filePath, 'utf8'); + const content = fs.readFileSync(filePath, "utf8"); const properties = {}; - content.split('\n').forEach(line => { - if (line && !line.startsWith('#') && line.includes('=')) { - const [key, ...valueParts] = line.split('='); - properties[key.trim()] = valueParts.join('=').trim(); + content.split("\n").forEach((line) => { + if (line && !line.startsWith("#") && line.includes("=")) { + const [key, ...valueParts] = line.split("="); + properties[key.trim()] = valueParts.join("=").trim(); } }); @@ -37,7 +37,7 @@ function parsePropertiesFile(filePath) { } // Read your project.properties file -const props = parsePropertiesFile('./project.properties'); +const props = parsePropertiesFile("./project.properties"); // This project has several runtimes // each one has files that need to be updated. @@ -148,7 +148,7 @@ module.exports = { }, { files: Object.keys(Runtimes.net), - from: "", + from: '', to: ``, results: Object.keys(Runtimes.net).map(CheckResults), countMatches: true,