From 134591815650c69e57bb5e56bd1c26aba1299fb7 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 8 May 2024 16:53:04 -0700 Subject: [PATCH 1/6] Add Changelog for 4.1.0 --- AwsEncryptionSDK/runtimes/net/CHANGELOG.md | 26 ++++++++++++++++++++++ 1 file changed, 26 insertions(+) diff --git a/AwsEncryptionSDK/runtimes/net/CHANGELOG.md b/AwsEncryptionSDK/runtimes/net/CHANGELOG.md index 8b9494f94..edc0018bc 100644 --- a/AwsEncryptionSDK/runtimes/net/CHANGELOG.md +++ b/AwsEncryptionSDK/runtimes/net/CHANGELOG.md @@ -1,5 +1,31 @@ # Changelog +## 4.1.0 + +### Fixes + +* fix(CI): Daily CI uses correct workflow [(#641)](https://github.com/aws/aws-encryption-sdk-dafny/commit/771835e22f6ef3c3b34d0891fb61cb1a49bcf855) +* fix: throw an exception when MemoryStream instance has an empty backing array [(#633)](https://github.com/aws/aws-encryption-sdk-dafny/commit/550c714743e84f93d09900b3338f59d0a54bb3ce) +* chore(ci): fix role to assume [(#622)](https://github.com/aws/aws-encryption-sdk-dafny/commit/c1f04fc41093593748f16da80d893c2ec5325545) + +### Features + +* feat: enforce input constraints [(#646)](https://github.com/aws/aws-encryption-sdk-dafny/commit/10daadfa19db0e43fc0cc6d7b989f1fb477a22b0) + +### Maintenance + +* chore(CI/CD): add semantic release automation [(#647)](https://github.com/aws/aws-encryption-sdk-dafny/commit/e7b5392ccc18f502a5517580a27bce5980e1913d) +* chore: Adopt SmithyDafnyMakefile.mk, fix nightly build [(#638)](https://github.com/aws/aws-encryption-sdk-dafny/commit/cd199795003d91984e24f1c04d9a84ae9c445372) +* chore(CI): add interop tests to daily ci [(#640)](https://github.com/aws/aws-encryption-sdk-dafny/commit/c9ad0181b544b258d66bf7b7e8d0b2be4cec7af9) +* chore: only run net48 on windows and use node 17 to run integration-node [(#639)](https://github.com/aws/aws-encryption-sdk-dafny/commit/d6c62fb68d974b47eb9d6cf9d8fbf249d6889b54) +* chore(.NET): Add ESDK-Net v4.0.1 generated vectors[(#636)](https://github.com/aws/aws-encryption-sdk-dafny/commit/efef49720c55a28cb422133385f8ece5ebc1da9c) +* chore(NET-SupportPolicy): Mark 3.x as Support [(#631)](https://github.com/aws/aws-encryption-sdk-dafny/commit/3c36f7a4a19646a8dfa6073be04676394502ef23) +* chore: Add manual trigger for nightly_dafny.yml [(#629)](https://github.com/aws/aws-encryption-sdk-dafny/commit/419b1cbfb4a5d85c03d0ad8c555a89108f199b98) +* chore: split vc gen on some methods to migrate to Dafny 4.4 [(#627)](https://github.com/aws/aws-encryption-sdk-dafny/commit/fdc65ca7495402b5b51017655015413eba846e7f) +* test: restore CODEOWNERS and daily CI [(#624)](https://github.com/aws/aws-encryption-sdk-dafny/commit/ff823ac918b822db548e703307d2ce462e79eef7) +* chore: update template to point to public repo [(#626)](https://github.com/aws/aws-encryption-sdk-dafny/commit/2b07a391208cb2a0508d1d915ae800e5de212d0e) +* chore: remove unused release step in test-prod [(#623)](https://github.com/aws/aws-encryption-sdk-dafny/commit/98839331a2e1154913d6ba4c88b0f4cba7322233) + ## 4.0.1 ### Fixes From adc35c829d17d11d848ecb8a23259df9f771fe9c Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 8 May 2024 17:08:30 -0700 Subject: [PATCH 2/6] Dummy commit to run checks again --- dummy | 0 1 file changed, 0 insertions(+), 0 deletions(-) create mode 100644 dummy diff --git a/dummy b/dummy new file mode 100644 index 000000000..e69de29bb From 46b9578054e31747474af9aed8adb1bededd81bd Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Wed, 8 May 2024 17:08:49 -0700 Subject: [PATCH 3/6] revert back dummy commit --- dummy | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 dummy diff --git a/dummy b/dummy deleted file mode 100644 index e69de29bb..000000000 From 76a84cd8133965053093d58ef2366364d1e7ed6c Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Thu, 9 May 2024 11:40:53 -0700 Subject: [PATCH 4/6] Update changelog --- AwsEncryptionSDK/runtimes/net/CHANGELOG.md | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) diff --git a/AwsEncryptionSDK/runtimes/net/CHANGELOG.md b/AwsEncryptionSDK/runtimes/net/CHANGELOG.md index edc0018bc..1dc83cc85 100644 --- a/AwsEncryptionSDK/runtimes/net/CHANGELOG.md +++ b/AwsEncryptionSDK/runtimes/net/CHANGELOG.md @@ -2,11 +2,17 @@ ## 4.1.0 +### Notes +#### .NET +- [(#646)](https://github.com/aws/aws-encryption-sdk-dafny/commit/10daadfa19db0e43fc0cc6d7b989f1fb477a22b0) Enforces input constraints. + +Prior to this fix, the AWS Encryption SDK in .NET (ESDK-NET) failed to enforce user input constraints. Input shapes without required members set would always result in a `NullReferenceException`. +Now, the ESDK-NET will throw it's own Exceptions when illegal user input +is submitted. + ### Fixes -* fix(CI): Daily CI uses correct workflow [(#641)](https://github.com/aws/aws-encryption-sdk-dafny/commit/771835e22f6ef3c3b34d0891fb61cb1a49bcf855) * fix: throw an exception when MemoryStream instance has an empty backing array [(#633)](https://github.com/aws/aws-encryption-sdk-dafny/commit/550c714743e84f93d09900b3338f59d0a54bb3ce) -* chore(ci): fix role to assume [(#622)](https://github.com/aws/aws-encryption-sdk-dafny/commit/c1f04fc41093593748f16da80d893c2ec5325545) ### Features @@ -14,6 +20,8 @@ ### Maintenance +* fix(CI): Daily CI uses correct workflow [(#641)](https://github.com/aws/aws-encryption-sdk-dafny/commit/771835e22f6ef3c3b34d0891fb61cb1a49bcf855) +* chore(ci): fix role to assume [(#622)](https://github.com/aws/aws-encryption-sdk-dafny/commit/c1f04fc41093593748f16da80d893c2ec5325545) * chore(CI/CD): add semantic release automation [(#647)](https://github.com/aws/aws-encryption-sdk-dafny/commit/e7b5392ccc18f502a5517580a27bce5980e1913d) * chore: Adopt SmithyDafnyMakefile.mk, fix nightly build [(#638)](https://github.com/aws/aws-encryption-sdk-dafny/commit/cd199795003d91984e24f1c04d9a84ae9c445372) * chore(CI): add interop tests to daily ci [(#640)](https://github.com/aws/aws-encryption-sdk-dafny/commit/c9ad0181b544b258d66bf7b7e8d0b2be4cec7af9) From db60fcac633927ccc890c31222a2b9a3e7b8d86c Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Thu, 9 May 2024 11:43:18 -0700 Subject: [PATCH 5/6] Remove sub header .NET inside Notes because this package is only about .NET --- AwsEncryptionSDK/runtimes/net/CHANGELOG.md | 1 - 1 file changed, 1 deletion(-) diff --git a/AwsEncryptionSDK/runtimes/net/CHANGELOG.md b/AwsEncryptionSDK/runtimes/net/CHANGELOG.md index 1dc83cc85..acc0a9cca 100644 --- a/AwsEncryptionSDK/runtimes/net/CHANGELOG.md +++ b/AwsEncryptionSDK/runtimes/net/CHANGELOG.md @@ -3,7 +3,6 @@ ## 4.1.0 ### Notes -#### .NET - [(#646)](https://github.com/aws/aws-encryption-sdk-dafny/commit/10daadfa19db0e43fc0cc6d7b989f1fb477a22b0) Enforces input constraints. Prior to this fix, the AWS Encryption SDK in .NET (ESDK-NET) failed to enforce user input constraints. Input shapes without required members set would always result in a `NullReferenceException`. From e25a9830e3dae4cd0a77875876fa3b1042068fb2 Mon Sep 17 00:00:00 2001 From: rishav-karanjit Date: Thu, 9 May 2024 12:45:41 -0700 Subject: [PATCH 6/6] Fix nit --- AwsEncryptionSDK/runtimes/net/CHANGELOG.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/AwsEncryptionSDK/runtimes/net/CHANGELOG.md b/AwsEncryptionSDK/runtimes/net/CHANGELOG.md index acc0a9cca..bf9b9eb6a 100644 --- a/AwsEncryptionSDK/runtimes/net/CHANGELOG.md +++ b/AwsEncryptionSDK/runtimes/net/CHANGELOG.md @@ -6,7 +6,7 @@ - [(#646)](https://github.com/aws/aws-encryption-sdk-dafny/commit/10daadfa19db0e43fc0cc6d7b989f1fb477a22b0) Enforces input constraints. Prior to this fix, the AWS Encryption SDK in .NET (ESDK-NET) failed to enforce user input constraints. Input shapes without required members set would always result in a `NullReferenceException`. -Now, the ESDK-NET will throw it's own Exceptions when illegal user input +Now, the ESDK-NET will throw its own Exceptions when illegal user input is submitted. ### Fixes