Skip to content

Commit 25c95ee

Browse files
lucasmcdonald3lucasmcdonald3
authored
chore(TestVectors): Replace Dafny ESDK-Python with native ESDK-Python (#758)
1 parent cfa2aa7 commit 25c95ee

File tree

65 files changed

+1510
-915
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

65 files changed

+1510
-915
lines changed

‎AwsEncryptionSDK/Makefile

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -108,7 +108,7 @@ restore_directories:
108108
fi \
109109
done
110110

111-
PYTHON_MODULE_NAME=aws_encryption_sdk
111+
PYTHON_MODULE_NAME=aws_encryption_sdk_dafny
112112

113113
TRANSLATION_RECORD_PYTHON := \
114114
--translation-record ../mpl/StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr \

‎AwsEncryptionSDK/project.properties

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,4 @@
11
# This file stores the top level dafny version information.
22
# All elements of the project need to agree on this version.
33
dafnyVersion=4.9.0
4-
dafnyVerifyVersion=4.9.0
5-
dafnyFormatVersion=4.9.0
6-
projectJavaVersion=4.1.0
7-
mplDependencyJavaVersion=1.9.0-SNAPSHOT
84
dafnyRuntimeJavaVersion=4.9.0
9-
smithyDafnyJavaConversionVersion=0.1.1

‎AwsEncryptionSDK/runtimes/python/pyproject.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,10 +1,10 @@
11
[tool.poetry]
2-
name = "aws-encryption-sdk"
2+
name = "aws-encryption-sdk-dafny"
33
version = "0.1.0"
44
description = ""
55
authors = ["AWS Crypto Tools <[email protected]>"]
66
packages = [
7-
{ include = "aws_encryption_sdk", from = "src" }
7+
{ include = "aws_encryption_sdk_dafny", from = "src" }
88
]
99
# Include generated internaldafny files in package distributions,
1010
# even though they are not included in version control

‎AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/__pycache__/__init__.cpython-311.pyc

-298 Bytes
Binary file not shown.

‎AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/__pycache__/__init__.cpython-312.pyc

-275 Bytes
Binary file not shown.

‎AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/internaldafny/generated/dafny_src-py.dtr

Lines changed: 0 additions & 59 deletions
This file was deleted.

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

Lines changed: 0 additions & 89 deletions
This file was deleted.

‎AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/__init__.py renamed to ‎AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/__init__.py

File renamed without changes.

‎AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/internaldafny/generated/AwsCryptographyEncryptionSdkTypes.py renamed to ‎AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/internaldafny/generated/AwsCryptographyEncryptionSdkTypes.py

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
from math import floor
44
from itertools import count
55

6-
import aws_encryption_sdk.internaldafny.generated.module_ as module_
6+
import aws_encryption_sdk_dafny.internaldafny.generated.module_ as module_
77
import _dafny as _dafny
88
import System_ as System_
99
import smithy_dafny_standard_library.internaldafny.generated.Wrappers as Wrappers
@@ -66,6 +66,7 @@
6666
import aws_cryptographic_material_providers.internaldafny.generated.AwsKmsMrkKeyring as AwsKmsMrkKeyring
6767
import aws_cryptographic_material_providers.internaldafny.generated.MrkAwareStrictMultiKeyring as MrkAwareStrictMultiKeyring
6868
import smithy_dafny_standard_library.internaldafny.generated.DafnyLibraries as DafnyLibraries
69+
import smithy_dafny_standard_library.internaldafny.generated.OsLang as OsLang
6970
import smithy_dafny_standard_library.internaldafny.generated.Time as Time
7071
import aws_cryptographic_material_providers.internaldafny.generated.LocalCMC as LocalCMC
7172
import aws_cryptographic_material_providers.internaldafny.generated.SynchronizedLocalCMC as SynchronizedLocalCMC

‎AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/internaldafny/generated/AwsEncryptionSdkOperations.py renamed to ‎AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/internaldafny/generated/AwsEncryptionSdkOperations.py

Lines changed: 17 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
from math import floor
44
from itertools import count
55

6-
import aws_encryption_sdk.internaldafny.generated.module_ as module_
6+
import aws_encryption_sdk_dafny.internaldafny.generated.module_ as module_
77
import _dafny as _dafny
88
import System_ as System_
99
import smithy_dafny_standard_library.internaldafny.generated.Wrappers as Wrappers
@@ -66,6 +66,7 @@
6666
import aws_cryptographic_material_providers.internaldafny.generated.AwsKmsMrkKeyring as AwsKmsMrkKeyring
6767
import aws_cryptographic_material_providers.internaldafny.generated.MrkAwareStrictMultiKeyring as MrkAwareStrictMultiKeyring
6868
import smithy_dafny_standard_library.internaldafny.generated.DafnyLibraries as DafnyLibraries
69+
import smithy_dafny_standard_library.internaldafny.generated.OsLang as OsLang
6970
import smithy_dafny_standard_library.internaldafny.generated.Time as Time
7071
import aws_cryptographic_material_providers.internaldafny.generated.LocalCMC as LocalCMC
7172
import aws_cryptographic_material_providers.internaldafny.generated.SynchronizedLocalCMC as SynchronizedLocalCMC
@@ -124,21 +125,21 @@
124125
import smithy_dafny_standard_library.internaldafny.generated.FloatCompare as FloatCompare
125126
import smithy_dafny_standard_library.internaldafny.generated.ConcurrentCall as ConcurrentCall
126127
import smithy_dafny_standard_library.internaldafny.generated.Base64Lemmas as Base64Lemmas
127-
import aws_encryption_sdk.internaldafny.generated.AwsCryptographyEncryptionSdkTypes as AwsCryptographyEncryptionSdkTypes
128-
import aws_encryption_sdk.internaldafny.generated.SerializableTypes as SerializableTypes
129-
import aws_encryption_sdk.internaldafny.generated.SerializeFunctions as SerializeFunctions
130-
import aws_encryption_sdk.internaldafny.generated.EncryptionContext as EncryptionContext
131-
import aws_encryption_sdk.internaldafny.generated.HeaderTypes as HeaderTypes
132-
import aws_encryption_sdk.internaldafny.generated.SharedHeaderFunctions as SharedHeaderFunctions
133-
import aws_encryption_sdk.internaldafny.generated.EncryptedDataKeys as EncryptedDataKeys
134-
import aws_encryption_sdk.internaldafny.generated.V1HeaderBody as V1HeaderBody
135-
import aws_encryption_sdk.internaldafny.generated.V2HeaderBody as V2HeaderBody
136-
import aws_encryption_sdk.internaldafny.generated.HeaderAuth as HeaderAuth
137-
import aws_encryption_sdk.internaldafny.generated.Header as Header
138-
import aws_encryption_sdk.internaldafny.generated.Frames as Frames
139-
import aws_encryption_sdk.internaldafny.generated.MessageBody as MessageBody
140-
import aws_encryption_sdk.internaldafny.generated.KeyDerivation as KeyDerivation
141-
import aws_encryption_sdk.internaldafny.generated.EncryptDecryptHelpers as EncryptDecryptHelpers
128+
import aws_encryption_sdk_dafny.internaldafny.generated.AwsCryptographyEncryptionSdkTypes as AwsCryptographyEncryptionSdkTypes
129+
import aws_encryption_sdk_dafny.internaldafny.generated.SerializableTypes as SerializableTypes
130+
import aws_encryption_sdk_dafny.internaldafny.generated.SerializeFunctions as SerializeFunctions
131+
import aws_encryption_sdk_dafny.internaldafny.generated.EncryptionContext as EncryptionContext
132+
import aws_encryption_sdk_dafny.internaldafny.generated.HeaderTypes as HeaderTypes
133+
import aws_encryption_sdk_dafny.internaldafny.generated.SharedHeaderFunctions as SharedHeaderFunctions
134+
import aws_encryption_sdk_dafny.internaldafny.generated.EncryptedDataKeys as EncryptedDataKeys
135+
import aws_encryption_sdk_dafny.internaldafny.generated.V1HeaderBody as V1HeaderBody
136+
import aws_encryption_sdk_dafny.internaldafny.generated.V2HeaderBody as V2HeaderBody
137+
import aws_encryption_sdk_dafny.internaldafny.generated.HeaderAuth as HeaderAuth
138+
import aws_encryption_sdk_dafny.internaldafny.generated.Header as Header
139+
import aws_encryption_sdk_dafny.internaldafny.generated.Frames as Frames
140+
import aws_encryption_sdk_dafny.internaldafny.generated.MessageBody as MessageBody
141+
import aws_encryption_sdk_dafny.internaldafny.generated.KeyDerivation as KeyDerivation
142+
import aws_encryption_sdk_dafny.internaldafny.generated.EncryptDecryptHelpers as EncryptDecryptHelpers
142143

143144
# Module: AwsEncryptionSdkOperations
144145

0 commit comments

Comments
 (0)