-
Notifications
You must be signed in to change notification settings - Fork 12
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
# [1.8.0](v1.7.3...v1.8.0) (2024-11-06) ### Bug Fixes * CI ([831aeea](831aeea)) * Dafny verification ([1f4d8d7](1f4d8d7)) * DDBv2 Model backwards compatbility with DBESDK 3.7 ([8a318a4](8a318a4)) * empty commit ([ffa34a5](ffa34a5)) * formatting ([38aa3c3](38aa3c3)) * Net Dafny Patch 2 file ([0d4f0f5](0d4f0f5)) * Net Dafny Patch file ([e77879b](e77879b)) * Net Patch ([bf0a495](bf0a495)) * Polymorph Python ([18f0d48](18f0d48)) * PR comments ([381e743](381e743)) * python formating ([bb29950](bb29950)) * **Python:** Support Python 3.13 ([#953](#953)) ([000baed](000baed)) ### Features * ddbv2 net patch ([a36f799](a36f799)) * ddbv2 re-polymorph ([1357f42](1357f42)) * ddbv2 upgrade ([1584fbc](1584fbc))
- Loading branch information
1 parent
000baed
commit b38d6c3
Showing
24 changed files
with
55 additions
and
30 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
[tool.poetry] | ||
name = "aws-cryptographic-material-providers" | ||
version = "1.7.3" | ||
version = "1.8.0" | ||
description = "AWS Cryptographic Material Providers Library for Python" | ||
authors = ["AWS Crypto Tools <[email protected]>"] | ||
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.8.0" | ||
aws-cryptography-internal-kms = "1.8.0" | ||
aws-cryptography-internal-dynamodb = "1.8.0" | ||
aws-cryptography-internal-primitives = "1.8.0" | ||
|
||
# Package testing | ||
|
||
|
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
[tool.poetry] | ||
name = "aws-cryptography-internal-primitives" | ||
version = "1.7.3" | ||
version = "1.8.0" | ||
description = "" | ||
authors = ["AWS Crypto Tools <[email protected]>"] | ||
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.8.0" | ||
cryptography = "^43.0.1" | ||
|
||
# Package testing | ||
|
2 changes: 1 addition & 1 deletion
2
.../runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
[tool.poetry] | ||
name = "aws-cryptography-internal-dynamodb" | ||
version = "1.7.3" | ||
version = "1.8.0" | ||
description = "" | ||
authors = ["AWS Crypto Tools <[email protected]>"] | ||
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.8.0" | ||
|
||
# Package testing | ||
|
||
|
2 changes: 1 addition & 1 deletion
2
...es/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
[tool.poetry] | ||
name = "aws-cryptography-internal-kms" | ||
version = "1.7.3" | ||
version = "1.8.0" | ||
description = "" | ||
authors = ["AWS Crypto Tools <[email protected]>"] | ||
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.8.0" | ||
|
||
# Package testing | ||
|
||
|
2 changes: 1 addition & 1 deletion
2
...untimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,6 +1,6 @@ | ||
[tool.poetry] | ||
name = "aws-cryptography-internal-standard-library" | ||
version = "1.7.3" | ||
version = "1.8.0" | ||
description = "" | ||
authors = ["AWS Crypto Tools <[email protected]>"] | ||
packages = [ | ||
|
2 changes: 1 addition & 1 deletion
2
...untimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
2 changes: 1 addition & 1 deletion
2
.../aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
2 changes: 1 addition & 1 deletion
2
...tographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,4 +1,4 @@ | ||
file_format_version = "1.0" | ||
dafny_version = "4.8.1.0" | ||
dafny_version = "4.8.0.0" | ||
[options_by_module.TestWrappedMaterialProvidersMain] | ||
legacy-module-names = false |