m

Author: lucasmcdonald3

AwsEncryptionSDK/Makefile

@@ -115,7 +115,7 @@ TRANSLATION_RECORD_PYTHON := \
     --translation-record ../mpl/ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr \
     --translation-record ../mpl/ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr \
     --translation-record ../mpl/AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr \
-                --translation-record ../mpl/AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr
+	--translation-record ../mpl/AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr
 
 PYTHON_DEPENDENCY_MODULE_NAMES := \
         --dependency-library-name=aws.cryptography.primitives=aws_cryptography_primitives \

AwsEncryptionSDK/runtimes/python/pyproject.toml

@@ -32,5 +32,5 @@ aws-cryptographic-material-providers = { path = "../../../mpl/AwsCryptographicMa
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"

AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/__init__.py

@@ -3,4 +3,3 @@
 
 # Initialize generated Dafny
 from .internaldafny.generated import module_
-

TestVectors/.gitignore

@@ -5,7 +5,6 @@ ImplementationFromDafny-cs.dtr
 TestsFromDafny-cs.dtr
 **/bin
 **/obj
-*.pyc
 runtimes/java/dafny
 runtimes/**/encrypt-manifest.json
 runtimes/**/decrypt-manifest.json

TestVectors/runtimes/python/pyproject.toml

@@ -25,5 +25,5 @@ aws-encryption-sdk = "4.0.0"
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"