Path	Lines of Code
AwsCryptographicMaterialProviders/codegen-patches/AwsCryptographicMaterialProviders/dotnet/dafny-4.1.0.patch	15
AwsCryptographicMaterialProviders/codegen-patches/AwsCryptographicMaterialProviders/dotnet/dafny-4.2.0.patch	15
AwsCryptographicMaterialProviders/codegen-patches/AwsCryptographicMaterialProviders/java/dafny-4.9.0.patch	23
AwsCryptographicMaterialProviders/codegen-patches/AwsCryptographyKeyStore/dotnet/dafny-4.1.0.patch	26
AwsCryptographicMaterialProviders/codegen-patches/AwsCryptographyKeyStore/dotnet/dafny-4.2.0.patch	26
AwsCryptographicMaterialProviders/codegen-patches/AwsCryptographyKeyStore/java/dafny-4.9.0.patch	23
AwsCryptographicMaterialProviders/compliance_exceptions/aws-kms-mrk-aware-master-key-provider.txt	93
AwsCryptographicMaterialProviders/compliance_exceptions/aws-kms-mrk-aware-master-key.txt	83
AwsCryptographicMaterialProviders/compliance_exceptions/default-cmm.txt	41
AwsCryptographicMaterialProviders/compliance_exceptions/master-key-interface.txt	67
AwsCryptographicMaterialProviders/compliance_exceptions/master-key-provider-interface.txt	69
AwsCryptographicMaterialProviders/compliance_exceptions/structures.txt	52
AwsCryptographicMaterialProviders/project.properties	4
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod	35
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod	37
AwsCryptographicMaterialProviders/runtimes/java/README.md	91
AwsCryptographicMaterialProviders/runtimes/net/README.md	62
AwsCryptographicMaterialProviders/runtimes/python/README.rst	56
AwsCryptographicMaterialProviders/runtimes/python/doc/index.rst	19
AwsCryptographicMaterialProviders/runtimes/python/tox.ini	80
AwsCryptographyPrimitives/README.md	9
AwsCryptographyPrimitives/codegen-patches/java/dafny-4.9.0.patch	23
AwsCryptographyPrimitives/project.properties	4
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/go.mod	5
AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod	9
AwsCryptographyPrimitives/runtimes/python/tox.ini	80
CHANGELOG.md	231
CODE_OF_CONDUCT.md	4
CONTRIBUTING.md	37
ComAmazonawsDynamodb/README.md	50
ComAmazonawsDynamodb/codegen-patches/dotnet/dafny-4.1.0.patch	19
ComAmazonawsDynamodb/codegen-patches/dotnet/dafny-4.2.0.patch	19
ComAmazonawsDynamodb/codegen-patches/dotnet/dafny-4.8.0.patch	143
ComAmazonawsDynamodb/codegen-patches/java/dafny-4.8.0.patch	14
ComAmazonawsDynamodb/project.properties	4
ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.mod	25
ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/go.mod	27
ComAmazonawsDynamodb/runtimes/python/tox.ini	79
ComAmazonawsKms/Model/README.md	2
ComAmazonawsKms/Model/kms/README.md	9
ComAmazonawsKms/README.md	9
ComAmazonawsKms/codegen-patches/dotnet/dafny-4.8.0.patch	12
ComAmazonawsKms/codegen-patches/java/dafny-4.8.0.patch	4429
ComAmazonawsKms/dafny-4.2.0.patch	250
ComAmazonawsKms/project.properties	4
ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/go.mod	23
ComAmazonawsKms/runtimes/go/TestsFromDafny-go/go.mod	25
ComAmazonawsKms/runtimes/python/tox.ini	79
README.md	47
SUPPORT_POLICY.rst	22
StandardLibrary/README.md	9
StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.mod	4
StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod	8
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/README.md	3
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/requirements-dev.txt	6
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/requirements.txt	2
StandardLibrary/runtimes/python/tox.ini	79
TestVectorsAwsCryptographicMaterialProviders/README.md	11
TestVectorsAwsCryptographicMaterialProviders/codegen-patches/KeyVectors/java/dafny-4.9.0.patch	23
TestVectorsAwsCryptographicMaterialProviders/codegen-patches/TestVectorsAwsCryptographicMaterialProviders/dotnet/dafny-4.1.0.patch	15
TestVectorsAwsCryptographicMaterialProviders/codegen-patches/TestVectorsAwsCryptographicMaterialProviders/dotnet/dafny-4.2.0.patch	15
TestVectorsAwsCryptographicMaterialProviders/project.properties	4
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod	37
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod	39
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/manifest.json	35
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/tox.ini	26
VERSIONING.rst	19
cfn/code_build_parameter_map.json	6
cfn/lyingBranchKeyCreation.md	96
project.properties	10
releases/go/dynamodb/CHANGELOG.md	12
releases/go/dynamodb/README.md	10
releases/go/dynamodb/go.mod	24
releases/go/kms/CHANGELOG.md	12
releases/go/kms/README.md	10
releases/go/kms/go.mod	22
releases/go/mpl/CHANGELOG.md	12
releases/go/mpl/README.md	33
releases/go/mpl/go.mod	29
releases/go/primitives/CHANGELOG.md	12
releases/go/primitives/README.md	10
releases/go/primitives/go.mod	4
releases/go/smithy-dafny-standard-library/CHANGELOG.md	12
releases/go/smithy-dafny-standard-library/README.md	10
releases/go/smithy-dafny-standard-library/go.mod	4