From b0d0b8f5568920d2bc0aeb67b9a22bf42aeed4d8 Mon Sep 17 00:00:00 2001 From: semantic-release-bot Date: Fri, 15 Nov 2024 11:42:47 -0800 Subject: [PATCH] chore(release): 1.7.5 [skip ci] ## [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)) --- .../runtimes/java/build.gradle.kts | 2 +- .../runtimes/net/AssemblyInfo.cs | 2 +- .../runtimes/net/MPL.csproj | 2 +- .../runtimes/python/pyproject.toml | 10 +- .../internaldafny/generated/dafny_src-py.dtr | 179 ++++++++++++++++++ .../runtimes/net/AssemblyInfo.cs | 2 +- .../runtimes/net/Crypto.csproj | 2 +- .../runtimes/python/pyproject.toml | 4 +- .../internaldafny/generated/dafny_src-py.dtr | 59 ++++++ CHANGELOG.md | 9 + .../runtimes/net/AssemblyInfo.cs | 2 +- .../runtimes/net/ComAmazonawsDynamodb.csproj | 2 +- .../runtimes/python/pyproject.toml | 4 +- .../internaldafny/generated/dafny_src-py.dtr | 14 ++ ComAmazonawsKms/runtimes/net/AWS-KMS.csproj | 2 +- ComAmazonawsKms/runtimes/net/AssemblyInfo.cs | 2 +- .../runtimes/python/pyproject.toml | 4 +- .../internaldafny/generated/dafny_src-py.dtr | 14 ++ StandardLibrary/runtimes/net/AssemblyInfo.cs | 2 +- StandardLibrary/runtimes/net/STD.csproj | 2 +- .../runtimes/python/pyproject.toml | 2 +- .../runtimes/java/build.gradle.kts | 2 +- .../internaldafny/generated/dafny_src-py.dtr | 104 ++++++++++ .../internaldafny/generated/dafny_test-py.dtr | 4 + 24 files changed, 407 insertions(+), 24 deletions(-) create mode 100644 AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr create mode 100644 AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr create mode 100644 ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr create mode 100644 ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr create mode 100644 TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr create mode 100644 TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr diff --git a/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts b/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts index 4391add8e..0f93f169f 100644 --- a/AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts +++ b/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 { diff --git a/AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs b/AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs index ccf03cd03..b56f0906a 100644 --- a/AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs +++ b/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")] diff --git a/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj b/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj index e7bf80d1f..3325c55a3 100644 --- a/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj +++ b/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj @@ -5,7 +5,7 @@ false true - 1.7.4 + 1.7.5 AWS.Cryptography.MaterialProviders AWS.Cryptography.MaterialProviders diff --git a/AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml b/AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml index 127b5f268..9e3bc2a98 100644 --- a/AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml +++ b/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 "] 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 diff --git a/AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr b/AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr new file mode 100644 index 000000000..48d701b7a --- /dev/null +++ b/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" diff --git a/AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs b/AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs index 2a1309d59..10d0b0fd3 100644 --- a/AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs +++ b/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")] diff --git a/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj b/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj index 68d189395..969cfe008 100644 --- a/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj +++ b/AwsCryptographyPrimitives/runtimes/net/Crypto.csproj @@ -5,7 +5,7 @@ false true - 1.7.4 + 1.7.5 AWS.Cryptography.Internal.AwsCryptographyPrimitives AWS.Cryptography.Internal.AwsCryptographyPrimitives diff --git a/AwsCryptographyPrimitives/runtimes/python/pyproject.toml b/AwsCryptographyPrimitives/runtimes/python/pyproject.toml index 581e26a8c..480c6e256 100644 --- a/AwsCryptographyPrimitives/runtimes/python/pyproject.toml +++ b/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 "] 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 diff --git a/AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr b/AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr new file mode 100644 index 000000000..603c44587 --- /dev/null +++ b/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" diff --git a/CHANGELOG.md b/CHANGELOG.md index 599ce2c79..d639c5073 100644 --- a/CHANGELOG.md +++ b/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: diff --git a/ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs b/ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs index c2720d914..c38fa6821 100644 --- a/ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs +++ b/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")] diff --git a/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj b/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj index 232a51c4d..31a5c4eb3 100644 --- a/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj +++ b/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj @@ -5,7 +5,7 @@ false true - 1.7.4 + 1.7.5 AWS.Cryptography.Internal.ComAmazonawsDynamodb AWS.Cryptography.Internal.ComAmazonawsDynamodb diff --git a/ComAmazonawsDynamodb/runtimes/python/pyproject.toml b/ComAmazonawsDynamodb/runtimes/python/pyproject.toml index 398f2deba..7f2767043 100644 --- a/ComAmazonawsDynamodb/runtimes/python/pyproject.toml +++ b/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 "] 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 diff --git a/ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr b/ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr new file mode 100644 index 000000000..c512ff4c0 --- /dev/null +++ b/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" diff --git a/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj b/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj index 04229ca62..bd6c953f1 100644 --- a/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj +++ b/ComAmazonawsKms/runtimes/net/AWS-KMS.csproj @@ -5,7 +5,7 @@ false true - 1.7.4 + 1.7.5 AWS.Cryptography.Internal.ComAmazonawsKms AWS.Cryptography.Internal.ComAmazonawsKms diff --git a/ComAmazonawsKms/runtimes/net/AssemblyInfo.cs b/ComAmazonawsKms/runtimes/net/AssemblyInfo.cs index f4bdb1974..1389175cd 100644 --- a/ComAmazonawsKms/runtimes/net/AssemblyInfo.cs +++ b/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")] diff --git a/ComAmazonawsKms/runtimes/python/pyproject.toml b/ComAmazonawsKms/runtimes/python/pyproject.toml index 9a64fe940..7af552c30 100644 --- a/ComAmazonawsKms/runtimes/python/pyproject.toml +++ b/ComAmazonawsKms/runtimes/python/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "aws-cryptography-internal-kms" -version = "1.7.4" +version = "1.7.5" description = "" authors = ["AWS Crypto Tools "] 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 diff --git a/ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr b/ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr new file mode 100644 index 000000000..17f4d6fd5 --- /dev/null +++ b/ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr @@ -0,0 +1,14 @@ +file_format_version = "1.0" +dafny_version = "4.8.0.0" +[options_by_module.ComAmazonawsKmsTypes] +legacy-module-names = false +python-module-name = "aws_cryptography_internal_kms.internaldafny.generated" +[options_by_module.AbstractComAmazonawsKmsService] +legacy-module-names = false +python-module-name = "aws_cryptography_internal_kms.internaldafny.generated" +[options_by_module.AbstractComAmazonawsKmsOperations] +legacy-module-names = false +python-module-name = "aws_cryptography_internal_kms.internaldafny.generated" +[options_by_module."Com.Amazonaws.Kms"] +legacy-module-names = false +python-module-name = "aws_cryptography_internal_kms.internaldafny.generated" diff --git a/StandardLibrary/runtimes/net/AssemblyInfo.cs b/StandardLibrary/runtimes/net/AssemblyInfo.cs index 1e9e39450..d8eb96ee8 100644 --- a/StandardLibrary/runtimes/net/AssemblyInfo.cs +++ b/StandardLibrary/runtimes/net/AssemblyInfo.cs @@ -3,4 +3,4 @@ [assembly: AssemblyTitle("AWS.Cryptography.Internal.StandardLibrary")] // This should be kept in sync with the version number in STD.csproj -[assembly: AssemblyVersion("1.7.4")] +[assembly: AssemblyVersion("1.7.5")] diff --git a/StandardLibrary/runtimes/net/STD.csproj b/StandardLibrary/runtimes/net/STD.csproj index 13a3d9180..59a33b0e6 100644 --- a/StandardLibrary/runtimes/net/STD.csproj +++ b/StandardLibrary/runtimes/net/STD.csproj @@ -5,7 +5,7 @@ false true - 1.7.4 + 1.7.5 AWS.Cryptography.Internal.StandardLibrary AWS.Cryptography.Internal.StandardLibrary diff --git a/StandardLibrary/runtimes/python/pyproject.toml b/StandardLibrary/runtimes/python/pyproject.toml index 68efe8759..91985258e 100644 --- a/StandardLibrary/runtimes/python/pyproject.toml +++ b/StandardLibrary/runtimes/python/pyproject.toml @@ -1,6 +1,6 @@ [tool.poetry] name = "aws-cryptography-internal-standard-library" -version = "1.7.4" +version = "1.7.5" description = "" authors = ["AWS Crypto Tools "] packages = [ diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts b/TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts index e161e17f5..82db9aae6 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts @@ -20,7 +20,7 @@ var props = Properties().apply { var dafnyVersion = props.getProperty("dafnyVersion") group = "software.amazon.cryptography" -version = "1.7.4-SNAPSHOT" +version = "1.7.5" description = "TestAwsCryptographicMaterialProviders" java { diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr b/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr new file mode 100644 index 000000000..b59cf4040 --- /dev/null +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr @@ -0,0 +1,104 @@ +file_format_version = "1.0" +dafny_version = "4.8.0.0" +[options_by_module.MplManifestOptions] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllAlgorithmSuites] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.WrappedAbstractAwsCryptographyMaterialProvidersService] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.WrappedMaterialProviders] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AwsCryptographyMaterialProvidersTestVectorKeysTypes] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AbstractAwsCryptographyMaterialProvidersTestVectorKeysOperations] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AbstractAwsCryptographyMaterialProvidersTestVectorKeysService] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.JSONHelpers] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.KeyDescription] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.KeyMaterial] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.CreateStaticKeyrings] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.CreateStaticKeyStores] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.KeyringFromKeyDescription] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.CmmFromKeyDescription] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.KeysVectorOperations] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.KeyVectors] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.TestVectors] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllHierarchy] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllKms] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllKmsMrkAware] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllKmsMrkAwareDiscovery] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllKmsRsa] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllKmsEcdh] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllRawAES] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllRawRSA] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllRawECDH] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllDefaultCmm] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllRequiredEncryptionContextCmm] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.AllMulti] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.WriteJsonManifests] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.CompleteVectors] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.ParseJsonManifests] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.TestManifests] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" +[options_by_module.WrappedMaterialProvidersMain] +legacy-module-names = false +python-module-name = "aws_cryptography_materialproviders_test_vectors.internaldafny.generated" diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr b/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr new file mode 100644 index 000000000..daf2aeba5 --- /dev/null +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr @@ -0,0 +1,4 @@ +file_format_version = "1.0" +dafny_version = "4.8.0.0" +[options_by_module.TestWrappedMaterialProvidersMain] +legacy-module-names = false