python

Author: lucasmcdonald3

AwsEncryptionSDK/Makefile

@@ -5,8 +5,6 @@ ENABLE_EXTERN_PROCESSING=1
 
 TRANSPILE_TESTS_IN_RUST := 1
 
-ENABLE_EXTERN_PROCESSING=1
-
 include ../SharedMakefileV2.mk
 
 DIR_STRUCTURE_V2=V2

AwsEncryptionSDK/dafny/AwsEncryptionSdk/Model/AwsCryptographyEncryptionSdkTypes.dfy

@@ -4,7 +4,7 @@
 include "../../../../mpl/StandardLibrary/src/Index.dfy"
 include "../../../../mpl/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Index.dfy"
 include "../../../../mpl/AwsCryptographyPrimitives/src/Index.dfy"
-module AwsCryptographyEncryptionSdkTypes
+module {:extern "software.amazon.cryptography.encryptionsdk.internaldafny.types" } AwsCryptographyEncryptionSdkTypes
 {
   import opened Wrappers
   import opened StandardLibrary.UInt

AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/smithygenerated/aws_cryptography_encryptionsdk/config.py

@@ -59,8 +59,8 @@ class AwsEncryptionSdkConfig(Config):
 
     def __init__(
         self,
-        commitment_policy: Optional[str] = None,
         max_encrypted_data_keys: int,
+        commitment_policy: Optional[str] = None,
         net_v4_0_0_retry_policy: Optional[str] = None,
     ):
         """Constructor for AwsEncryptionSdkConfig.

AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/smithygenerated/aws_cryptography_encryptionsdk/dafnyImplInterface.py

@@ -2,7 +2,7 @@
 # SPDX-License-Identifier: Apache-2.0
 # Do not modify this file. This file is machine generated, and any changes to it will be overwritten.
 
-from aws_encryption_sdk.internaldafny.generated.ESDK import ESDKClient
+from aws_encryption_sdk.internaldafny.generated.EncryptionSdk import ESDKClient
 from .dafny_protocol import DafnyRequest
 
 

AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/smithygenerated/aws_cryptography_encryptionsdk/plugin.py

@@ -20,7 +20,7 @@ def set_config_impl(config: Config):
     """
     config.dafnyImplInterface = DafnyImplInterface()
     if isinstance(config, AwsEncryptionSdkConfig):
-        from aws_encryption_sdk.internaldafny.generated.ESDK import default__
+        from aws_encryption_sdk.internaldafny.generated.EncryptionSdk import default__
 
         config.dafnyImplInterface.impl = default__.ESDK(
             smithy_config_to_dafny_config(config)