Skip to content

Commit 7574c61

Browse files
lucasmcdonald3josecorella
lucasmcdonald3
authored and
josecorella
committed
wip
1 parent d2baee1 commit 7574c61

File tree

92 files changed

+146
-237
lines changed

Some content is hidden

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

92 files changed

+146
-237
lines changed

‎AwsEncryptionSDK/dafny/AwsEncryptionSdk/Model/AwsCryptographyEncryptionSdkTypes.dfy

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
include "../../../../mpl/StandardLibrary/src/Index.dfy"
55
include "../../../../mpl/AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Index.dfy"
66
include "../../../../mpl/AwsCryptographyPrimitives/src/Index.dfy"
7-
module {:extern "software.amazon.cryptography.encryptionsdk.internaldafny.types" } AwsCryptographyEncryptionSdkTypes
7+
module AwsCryptographyEncryptionSdkTypes
88
{
99
import opened Wrappers
1010
import opened StandardLibrary.UInt

‎AwsEncryptionSDK/runtimes/python/poetry.lock

Lines changed: 64 additions & 54 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎AwsEncryptionSDK/runtimes/python/pyproject.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -12,7 +12,7 @@ include = ["**/internaldafny/generated/*.py"]
1212

1313
[tool.poetry.dependencies]
1414
python = "^3.11.0"
15-
aws-cryptographic-material-providers = "1.7.4"
15+
aws-cryptographic-material-providers = { path = "../../../mpl/AwsCryptographicMaterialProviders/runtimes/python", develop = false}
1616

1717
[tool.poetry.group.test.dependencies]
1818
pytest = "^7.4.0"

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

-9 Bytes
Binary file not shown.

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

-9 Bytes
Binary file not shown.

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
import smithy_dafny_standard_library.internaldafny.generated.Wrappers as Wrappers
1010
import smithy_dafny_standard_library.internaldafny.generated.BoundedInts as BoundedInts
1111
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_UInt as StandardLibrary_UInt
12+
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_Sequence as StandardLibrary_Sequence
1213
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_String as StandardLibrary_String
1314
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary as StandardLibrary
1415
import smithy_dafny_standard_library.internaldafny.generated.UTF8 as UTF8

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
import smithy_dafny_standard_library.internaldafny.generated.Wrappers as Wrappers
1010
import smithy_dafny_standard_library.internaldafny.generated.BoundedInts as BoundedInts
1111
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_UInt as StandardLibrary_UInt
12+
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_Sequence as StandardLibrary_Sequence
1213
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_String as StandardLibrary_String
1314
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary as StandardLibrary
1415
import smithy_dafny_standard_library.internaldafny.generated.UTF8 as UTF8

‎AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/internaldafny/generated/EncryptDecryptHelpers.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
import smithy_dafny_standard_library.internaldafny.generated.Wrappers as Wrappers
1010
import smithy_dafny_standard_library.internaldafny.generated.BoundedInts as BoundedInts
1111
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_UInt as StandardLibrary_UInt
12+
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_Sequence as StandardLibrary_Sequence
1213
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_String as StandardLibrary_String
1314
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary as StandardLibrary
1415
import smithy_dafny_standard_library.internaldafny.generated.UTF8 as UTF8

‎AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/internaldafny/generated/EncryptedDataKeys.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
import smithy_dafny_standard_library.internaldafny.generated.Wrappers as Wrappers
1010
import smithy_dafny_standard_library.internaldafny.generated.BoundedInts as BoundedInts
1111
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_UInt as StandardLibrary_UInt
12+
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_Sequence as StandardLibrary_Sequence
1213
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_String as StandardLibrary_String
1314
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary as StandardLibrary
1415
import smithy_dafny_standard_library.internaldafny.generated.UTF8 as UTF8

‎AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk/internaldafny/generated/EncryptionContext.py

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,7 @@
99
import smithy_dafny_standard_library.internaldafny.generated.Wrappers as Wrappers
1010
import smithy_dafny_standard_library.internaldafny.generated.BoundedInts as BoundedInts
1111
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_UInt as StandardLibrary_UInt
12+
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_Sequence as StandardLibrary_Sequence
1213
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary_String as StandardLibrary_String
1314
import smithy_dafny_standard_library.internaldafny.generated.StandardLibrary as StandardLibrary
1415
import smithy_dafny_standard_library.internaldafny.generated.UTF8 as UTF8

0 commit comments

Comments
 (0)