chore(release): 1.7.5 [skip ci]

## [1.7.5](v1.7.4...v1.7.5) (2024-11-15)

### Bug Fixes

* **Python-Release:** Run validate tests from release commit ([41c0c94](41c0c94))
* **Python:** CMCs release lock for unhandled runtime exceptions ([aws#979](https://github.com/lucasmcdonald3/aws-cryptographic-material-providers-library/issues/979)) ([1510b77](1510b77))
* return error on interrupted sleep ([aws#993](https://github.com/lucasmcdonald3/aws-cryptographic-material-providers-library/issues/993)) ([f49460a](f49460a))

AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts

@@ -18,7 +18,7 @@ var props = Properties().apply {
 var dafnyVersion = props.getProperty("dafnyVersion")
 
 group = "software.amazon.cryptography"
-version = "1.7.4-SNAPSHOT"
+version = "1.7.5"
 description = "AWS Cryptographic Material Providers Library"
 
 java {

AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs

@@ -3,4 +3,4 @@
 [assembly: AssemblyTitle("AWS.Cryptography.MaterialProviders")]
 
 // This should be kept in sync with the version number in MPL.csproj
-[assembly: AssemblyVersion("1.7.4")]
+[assembly: AssemblyVersion("1.7.5")]

AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj

@@ -5,7 +5,7 @@
       <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
       <IsPackable>true</IsPackable>
 
-      <Version>1.7.4</Version>
+      <Version>1.7.5</Version>
 
       <AssemblyName>AWS.Cryptography.MaterialProviders</AssemblyName>
       <PackageId>AWS.Cryptography.MaterialProviders</PackageId>

AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "aws-cryptographic-material-providers"
-version = "1.7.4"
+version = "1.7.5"
 description = "AWS Cryptographic Material Providers Library for Python"
 authors = ["AWS Crypto Tools <[email protected]>"]
 packages = [
@@ -13,10 +13,10 @@ readme = "README.rst"
 
 [tool.poetry.dependencies]
 python = "^3.11.0"
-aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
-aws-cryptography-internal-kms = {path = "../../../ComAmazonawsKms/runtimes/python"}
-aws-cryptography-internal-dynamodb = {path = "../../../ComAmazonawsDynamodb/runtimes/python"}
-aws-cryptography-internal-primitives = {path = "../../../AwsCryptographyPrimitives/runtimes/python"}
+aws-cryptography-internal-standard-library = "1.7.5"
+aws-cryptography-internal-kms = "1.7.5"
+aws-cryptography-internal-dynamodb = "1.7.5"
+aws-cryptography-internal-primitives = "1.7.5"
 
 # Package testing
 

AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr

@@ -0,0 +1,179 @@
+file_format_version = "1.0"
+dafny_version = "4.8.0.0"
+[options_by_module.AwsCryptographyKeyStoreTypes]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AbstractAwsCryptographyKeyStoreOperations]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AbstractAwsCryptographyKeyStoreService]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsCryptographyMaterialProvidersTypes]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsArnParsing]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsKmsMrkMatchForDecrypt]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsKmsUtils]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.KeyStoreErrorMessages]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.KmsArn]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.Structure]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.KMSKeystoreOperations]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.DDBKeystoreOperations]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.CreateKeys]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.CreateKeyStoreTable]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.GetKeys]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsCryptographyKeyStoreOperations]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.KeyStore]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AbstractAwsCryptographyMaterialProvidersOperations]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AbstractAwsCryptographyMaterialProvidersService]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AlgorithmSuites]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.Materials]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.Keyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.MultiKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsKmsMrkAreUnique]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.Constants]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.MaterialWrapping]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.CanonicalEncryptionContext]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.IntermediateKeyWrapping]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.EdkWrapping]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.ErrorMessages]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsKmsKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.StrictMultiKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsKmsDiscoveryKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.DiscoveryMultiKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsKmsMrkDiscoveryKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.MrkAwareDiscoveryMultiKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsKmsMrkKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.MrkAwareStrictMultiKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.LocalCMC]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.SynchronizedLocalCMC]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.StormTracker]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.StormTrackingCMC]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.CacheConstants]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsKmsHierarchicalKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsKmsRsaKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.EcdhEdkWrapping]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.RawECDHKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsKmsEcdhKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.RawAESKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.RawRSAKeyring]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.CMM]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.Defaults]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.Commitment]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.DefaultCMM]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.DefaultClientSupplier]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.Utils]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.RequiredEncryptionContextCMM]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.AwsCryptographyMaterialProvidersOperations]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
+[options_by_module.MaterialProviders]
+legacy-module-names = false
+python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"

AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs

@@ -3,4 +3,4 @@
 [assembly: AssemblyTitle("AWS.Cryptography.Internal.AwsCryptographyPrimitives")]
 
 // This should be kept in sync with the version number in Crypto.csproj
-[assembly: AssemblyVersion("1.7.4")]
+[assembly: AssemblyVersion("1.7.5")]

AwsCryptographyPrimitives/runtimes/net/Crypto.csproj

@@ -5,7 +5,7 @@
     <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
     <IsPackable>true</IsPackable>
 
-    <Version>1.7.4</Version>
+    <Version>1.7.5</Version>
 
     <AssemblyName>AWS.Cryptography.Internal.AwsCryptographyPrimitives</AssemblyName>
     <PackageId>AWS.Cryptography.Internal.AwsCryptographyPrimitives</PackageId>

AwsCryptographyPrimitives/runtimes/python/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "aws-cryptography-internal-primitives"
-version = "1.7.4"
+version = "1.7.5"
 description = ""
 authors = ["AWS Crypto Tools <[email protected]>"]
 packages = [
@@ -12,7 +12,7 @@ include = ["**/internaldafny/generated/*.py"]
 
 [tool.poetry.dependencies]
 python = "^3.11.0"
-aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
+aws-cryptography-internal-standard-library = "1.7.5"
 cryptography = "^43.0.1"
 
 # Package testing

AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr

@@ -0,0 +1,59 @@
+file_format_version = "1.0"
+dafny_version = "4.8.0.0"
+[options_by_module.AwsCryptographyPrimitivesTypes]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.AbstractAwsCryptographyPrimitivesOperations]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.AbstractAwsCryptographyPrimitivesService]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.ExternRandom]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.Random]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.AESEncryption]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.ExternDigest]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.Digest]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.HMAC]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.WrappedHMAC]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.HKDF]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.WrappedHKDF]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.Signature]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.KdfCtr]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.RSAEncryption]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.ECDH]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.AwsCryptographyPrimitivesOperations]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.AtomicPrimitives]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"
+[options_by_module.AesKdfCtr]
+legacy-module-names = false
+python-module-name = "aws_cryptography_primitives.internaldafny.generated"

CHANGELOG.md

@@ -1,5 +1,14 @@
 # Changelog
 
+## [1.7.5](https://github.com/lucasmcdonald3/aws-cryptographic-material-providers-library/compare/v1.7.4...v1.7.5) (2024-11-15)
+
+
+### Bug Fixes
+
+* **Python-Release:** Run validate tests from release commit ([41c0c94](https://github.com/lucasmcdonald3/aws-cryptographic-material-providers-library/commit/41c0c94aac165addcef6e75bc7bad5c1dffa16ac))
+* **Python:** CMCs release lock for unhandled runtime exceptions ([#979](https://github.com/lucasmcdonald3/aws-cryptographic-material-providers-library/issues/979)) ([1510b77](https://github.com/lucasmcdonald3/aws-cryptographic-material-providers-library/commit/1510b772550646b6e1f26df5b0e6e96b3e48a6e3))
+* return error on interrupted sleep ([#993](https://github.com/lucasmcdonald3/aws-cryptographic-material-providers-library/issues/993)) ([f49460a](https://github.com/lucasmcdonald3/aws-cryptographic-material-providers-library/commit/f49460a569ea03778db3d1856a54b7d9b53fb9e6))
+
 # [1.7.4](https://github.com/aws/aws-cryptographic-material-providers-library/compare/v1.7.3...v1.7.4) (2024-11-06)
 
 This release is available in the following languages:

ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs

@@ -3,4 +3,4 @@
 [assembly: AssemblyTitle("AWS.Cryptography.Internal.ComAmazonawsDynamodb")]
 
 // This should be kept in sync with the version number in ComAmazonawsDynamodb.csproj
-[assembly: AssemblyVersion("1.7.4")]
+[assembly: AssemblyVersion("1.7.5")]

ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj

@@ -5,7 +5,7 @@
     <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
     <IsPackable>true</IsPackable>
 
-    <Version>1.7.4</Version>
+    <Version>1.7.5</Version>
 
     <AssemblyName>AWS.Cryptography.Internal.ComAmazonawsDynamodb</AssemblyName>
     <PackageId>AWS.Cryptography.Internal.ComAmazonawsDynamodb</PackageId>

ComAmazonawsDynamodb/runtimes/python/pyproject.toml

@@ -1,6 +1,6 @@
 [tool.poetry]
 name = "aws-cryptography-internal-dynamodb"
-version = "1.7.4"
+version = "1.7.5"
 description = ""
 authors = ["AWS Crypto Tools <[email protected]>"]
 packages = [
@@ -13,7 +13,7 @@ include = ["**/internaldafny/generated/*.py"]
 [tool.poetry.dependencies]
 python = "^3.11.0"
 boto3 = "^1.35.42"
-aws-cryptography-internal-standard-library = {path = "../../../StandardLibrary/runtimes/python"}
+aws-cryptography-internal-standard-library = "1.7.5"
 
 # Package testing
 

ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr

@@ -0,0 +1,14 @@
+file_format_version = "1.0"
+dafny_version = "4.8.0.0"
+[options_by_module.ComAmazonawsDynamodbTypes]
+legacy-module-names = false
+python-module-name = "aws_cryptography_internal_dynamodb.internaldafny.generated"
+[options_by_module.AbstractComAmazonawsDynamodbService]
+legacy-module-names = false
+python-module-name = "aws_cryptography_internal_dynamodb.internaldafny.generated"
+[options_by_module.AbstractComAmazonawsDynamodbOperations]
+legacy-module-names = false
+python-module-name = "aws_cryptography_internal_dynamodb.internaldafny.generated"
+[options_by_module."Com.Amazonaws.Dynamodb"]
+legacy-module-names = false
+python-module-name = "aws_cryptography_internal_dynamodb.internaldafny.generated"

ComAmazonawsKms/runtimes/net/AWS-KMS.csproj

@@ -5,7 +5,7 @@
     <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
     <IsPackable>true</IsPackable>
 
-    <Version>1.7.4</Version>
+    <Version>1.7.5</Version>
 
     <AssemblyName>AWS.Cryptography.Internal.ComAmazonawsKms</AssemblyName>
     <PackageId>AWS.Cryptography.Internal.ComAmazonawsKms</PackageId>

ComAmazonawsKms/runtimes/net/AssemblyInfo.cs

@@ -3,4 +3,4 @@
 [assembly: AssemblyTitle("AWS.Cryptography.Internal.ComAmazonawsKms")]
 
 // This should be kept in sync with the version number in AWS-KMS.csproj
-[assembly: AssemblyVersion("1.7.4")]
+[assembly: AssemblyVersion("1.7.5")]