Path	Lines of Code
AwsEncryptionSDK/codebuild/release/retrieve_api_access_key.py	4
AwsEncryptionSDK/codebuild/release/retrieve_signed_assembly.py	4
AwsEncryptionSDK/codebuild/release/signing_lib.py	140
AwsEncryptionSDK/codebuild/release/upload_assembly.py	4
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go	35
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go	54
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go	346
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go	353
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/enums.go	12
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/errors.go	12
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go	138
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go	19
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyEncryptionSdkService/shim.go	35
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/api_client.go	54
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go	346
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go	353
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/enums.go	12
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/errors.go	12
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go	138
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/unmodelled_errors.go	19
AwsEncryptionSDK/runtimes/java/build.gradle.kts	56
AwsEncryptionSDK/runtimes/java/settings.gradle.kts	2
AwsEncryptionSDK/runtimes/java/src/main/java/software/amazon/cryptography/encryptionsdk/internaldafny/__default.java	3
AwsEncryptionSDK/runtimes/java/src/main/java/software/amazon/cryptography/encryptionsdk/internaldafny/types/__default.java	3
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ESDK.java	87
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToDafny.java	320
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/ToNative.java	250
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkConfig.java	81
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/AwsEncryptionSdkException.java	66
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/CollectionOfErrors.java	77
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/DecryptInput.java	101
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/DecryptOutput.java	89
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/EncryptInput.java	147
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/EncryptOutput.java	89
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/NetV4_0_0_RetryPolicy.java	12
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueError.java	98
AwsEncryptionSDK/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/model/OpaqueWithTextError.java	99
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/AwsEncryptionSdkConfig.cs	49
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/AwsEncryptionSdkException.cs	10
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/CollectionOfErrors.cs	20
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/DecryptInput.cs	52
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/DecryptOutput.cs	44
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/ESDK.cs	41
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/EncryptInput.cs	85
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/EncryptOutput.cs	44
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/NetV4_0_0_RetryPolicy.cs	15
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/OpaqueError.cs	12
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/OpaqueWithTextError.cs	13
AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/TypeConversion.cs	451
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorGenerator/Generator.cs	182
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/MaterialProviderFactory.cs	267
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/TestVectorTypes.cs	179
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib/Utils.cs	92
AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/TestVectors.cs	239
AwsEncryptionSDK/runtimes/net/runsettings.xml	15
AwsEncryptionSDK/runtimes/python/pyproject.toml	33
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/__init__.py	1
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/internaldafny/__init__.py	1
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/__init__.py	1
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/client.py	235
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/config.py	92
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/dafnyImplInterface.py	15
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/dafny_protocol.py	19
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/dafny_to_smithy.py	156
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/deserialize.py	64
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/errors.py	200
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/models.py	278
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/plugin.py	24
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/serialize.py	17
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/smithy_to_dafny.py	212
AwsEncryptionSDK/runtimes/rust/Cargo.toml	33
AwsEncryptionSDK/runtimes/rust/src/lib.rs	54