Path	Lines of Code
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AESEncryption/externs.go	79
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AesKdfCtr/externs.go	17
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ECDH/externs.go	322
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternDigest/externs.go	26
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternRandom/externs.go	18
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/HMAC/externs.go	54
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/RSAEncryption/externs.go	123
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/Signature/externs.go	102
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go	211
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go	455
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go	1564
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go	1495
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/enums.go	57
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/errors.go	12
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/types.go	490
AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/unmodelled_errors.go	19
AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go	211
AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go	455
AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go	1564
AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go	1495
AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/enums.go	57
AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/errors.go	12
AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/types.go	490
AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygeneratedtypes/unmodelled_errors.go	19
AwsCryptographyPrimitives/runtimes/java/build.gradle.kts	80
AwsCryptographyPrimitives/runtimes/java/settings.gradle.kts	7
AwsCryptographyPrimitives/runtimes/java/src/main/java/AESEncryption/AES_GCM.java	116
AwsCryptographyPrimitives/runtimes/java/src/main/java/AESEncryption/__default.java	2
AwsCryptographyPrimitives/runtimes/java/src/main/java/AesKdfCtr/__default.java	37
AwsCryptographyPrimitives/runtimes/java/src/main/java/Dafny/Aws/Cryptography/Primitives/Types/__default.java	3
AwsCryptographyPrimitives/runtimes/java/src/main/java/Dafny/Aws/Cryptography/Primitives/__default.java	3
AwsCryptographyPrimitives/runtimes/java/src/main/java/Digest_Compile/ExternDigest.java	64
AwsCryptographyPrimitives/runtimes/java/src/main/java/ECDH/DeriveSharedSecret.java	74
AwsCryptographyPrimitives/runtimes/java/src/main/java/ECDH/ECCAlgorithm.java	55
AwsCryptographyPrimitives/runtimes/java/src/main/java/ECDH/ECCUtils.java	470
AwsCryptographyPrimitives/runtimes/java/src/main/java/ECDH/KeyGeneration.java	104
AwsCryptographyPrimitives/runtimes/java/src/main/java/ECDH/__default.java	2
AwsCryptographyPrimitives/runtimes/java/src/main/java/HMAC/HMac.java	62
AwsCryptographyPrimitives/runtimes/java/src/main/java/HMAC/__default.java	22
AwsCryptographyPrimitives/runtimes/java/src/main/java/RSAEncryption/RSA.java	219
AwsCryptographyPrimitives/runtimes/java/src/main/java/RSAEncryption/__default.java	2
AwsCryptographyPrimitives/runtimes/java/src/main/java/Random_Compile/ExternRandom.java	42
AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/ECDSA.java	255
AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/PrivateKeyUtils.java	53
AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/PublicKeyUtils.java	169
AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/SignUtils.java	39
AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/SignatureAlgorithm.java	81
AwsCryptographyPrimitives/runtimes/java/src/main/java/Signature/__default.java	2
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/AtomicPrimitives.java	399
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToDafny.java	955
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/ToNative.java	887
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/AESDecryptInput.java	150
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/AESDecryptOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/AESEncryptInput.java	129
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/AESEncryptOutput.java	66
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/AES_CTR.java	90
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/AES_GCM.java	124
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/AesKdfCtrInput.java	90
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/AesKdfCtrOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/AwsCryptographicPrimitivesError.java	66
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/CollectionOfErrors.java	86
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/CompressPublicKeyInput.java	65
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/CompressPublicKeyOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/CryptoConfig.java	20
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/DecompressPublicKeyInput.java	66
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/DecompressPublicKeyOutput.java	44
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/DeriveSharedSecretInput.java	86
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/DeriveSharedSecretOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/DigestAlgorithm.java	13
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/DigestInput.java	66
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/DigestOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/ECCPrivateKey.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/ECCPublicKey.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/ECDHCurveSpec.java	14
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/ECDSASignInput.java	89
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/ECDSASignOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/ECDSASignatureAlgorithm.java	12
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/ECDSAVerifyInput.java	110
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/ECDSAVerifyOutput.java	44
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/GenerateECCKeyPairInput.java	44
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/GenerateECCKeyPairOutput.java	86
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/GenerateECDSASignatureKeyInput.java	46
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/GenerateECDSASignatureKeyOutput.java	89
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/GenerateRSAKeyPairInput.java	56
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/GenerateRSAKeyPairOutput.java	65
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/GenerateRandomBytesInput.java	51
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/GenerateRandomBytesOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/GetPublicKeyFromPrivateKeyInput.java	65
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/GetPublicKeyFromPrivateKeyOutput.java	87
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/GetRSAKeyModulusLengthInput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/GetRSAKeyModulusLengthOutput.java	51
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/HMacInput.java	87
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/HMacOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/HkdfExpandInput.java	116
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/HkdfExpandOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/HkdfExtractInput.java	82
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/HkdfExtractOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/HkdfInput.java	132
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/HkdfOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/KdfCtrInput.java	127
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/KdfCtrOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/OpaqueError.java	83
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/OpaqueWithTextError.java	99
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/ParsePublicKeyInput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/ParsePublicKeyOutput.java	44
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/RSADecryptInput.java	87
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/RSADecryptOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/RSAEncryptInput.java	87
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/RSAEncryptOutput.java	45
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/RSAPaddingMode.java	15
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/RSAPrivateKey.java	74
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/RSAPublicKey.java	74
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/ValidatePublicKeyInput.java	66
AwsCryptographyPrimitives/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/primitives/model/ValidatePublicKeyOutput.java	44
AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs	3
AwsCryptographyPrimitives/runtimes/net/Extern/AESEncryption.cs	100
AwsCryptographyPrimitives/runtimes/net/Extern/AesKdfCtr.cs	39
AwsCryptographyPrimitives/runtimes/net/Extern/Digest.cs	49
AwsCryptographyPrimitives/runtimes/net/Extern/ECDH.cs	368
AwsCryptographyPrimitives/runtimes/net/Extern/HMAC.cs	85
AwsCryptographyPrimitives/runtimes/net/Extern/RSAEncryption.cs	194
AwsCryptographyPrimitives/runtimes/net/Extern/Random.cs	31
AwsCryptographyPrimitives/runtimes/net/Extern/Signature.cs	191
AwsCryptographyPrimitives/runtimes/net/Generated/AESDecryptInput.cs	77
AwsCryptographyPrimitives/runtimes/net/Generated/AESEncryptInput.cs	66
AwsCryptographyPrimitives/runtimes/net/Generated/AESEncryptOutput.cs	33
AwsCryptographyPrimitives/runtimes/net/Generated/AES_CTR.cs	33
AwsCryptographyPrimitives/runtimes/net/Generated/AES_GCM.cs	44
AwsCryptographyPrimitives/runtimes/net/Generated/AesKdfCtrInput.cs	43
AwsCryptographyPrimitives/runtimes/net/Generated/AtomicPrimitives.cs	195
AwsCryptographyPrimitives/runtimes/net/Generated/AwsCryptographicPrimitivesError.cs	10
AwsCryptographyPrimitives/runtimes/net/Generated/CollectionOfErrors.cs	12
AwsCryptographyPrimitives/runtimes/net/Generated/CompressPublicKeyInput.cs	33
AwsCryptographyPrimitives/runtimes/net/Generated/CompressPublicKeyOutput.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/CryptoConfig.cs	11
AwsCryptographyPrimitives/runtimes/net/Generated/DecompressPublicKeyInput.cs	33
AwsCryptographyPrimitives/runtimes/net/Generated/DecompressPublicKeyOutput.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/DeriveSharedSecretInput.cs	44
AwsCryptographyPrimitives/runtimes/net/Generated/DeriveSharedSecretOutput.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/DigestAlgorithm.cs	16
AwsCryptographyPrimitives/runtimes/net/Generated/DigestInput.cs	33
AwsCryptographyPrimitives/runtimes/net/Generated/ECCPrivateKey.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/ECCPublicKey.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/ECDHCurveSpec.cs	17
AwsCryptographyPrimitives/runtimes/net/Generated/ECDSASignInput.cs	44
AwsCryptographyPrimitives/runtimes/net/Generated/ECDSASignatureAlgorithm.cs	15
AwsCryptographyPrimitives/runtimes/net/Generated/ECDSAVerifyInput.cs	55
AwsCryptographyPrimitives/runtimes/net/Generated/GenerateECCKeyPairInput.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/GenerateECCKeyPairOutput.cs	44
AwsCryptographyPrimitives/runtimes/net/Generated/GenerateECDSASignatureKeyInput.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/GenerateECDSASignatureKeyOutput.cs	44
AwsCryptographyPrimitives/runtimes/net/Generated/GenerateRSAKeyPairInput.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/GenerateRSAKeyPairOutput.cs	33
AwsCryptographyPrimitives/runtimes/net/Generated/GenerateRandomBytesInput.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/GetPublicKeyFromPrivateKeyInput.cs	33
AwsCryptographyPrimitives/runtimes/net/Generated/GetPublicKeyFromPrivateKeyOutput.cs	44
AwsCryptographyPrimitives/runtimes/net/Generated/GetRSAKeyModulusLengthInput.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/GetRSAKeyModulusLengthOutput.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/HMacInput.cs	44
AwsCryptographyPrimitives/runtimes/net/Generated/HkdfExpandInput.cs	55
AwsCryptographyPrimitives/runtimes/net/Generated/HkdfExtractInput.cs	43
AwsCryptographyPrimitives/runtimes/net/Generated/HkdfInput.cs	65
AwsCryptographyPrimitives/runtimes/net/Generated/KdfCtrInput.cs	64
AwsCryptographyPrimitives/runtimes/net/Generated/OpaqueError.cs	12
AwsCryptographyPrimitives/runtimes/net/Generated/OpaqueWithTextError.cs	13
AwsCryptographyPrimitives/runtimes/net/Generated/ParsePublicKeyInput.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/ParsePublicKeyOutput.cs	22
AwsCryptographyPrimitives/runtimes/net/Generated/RSADecryptInput.cs	44
AwsCryptographyPrimitives/runtimes/net/Generated/RSAEncryptInput.cs	44
AwsCryptographyPrimitives/runtimes/net/Generated/RSAPaddingMode.cs	18
AwsCryptographyPrimitives/runtimes/net/Generated/RSAPrivateKey.cs	33
AwsCryptographyPrimitives/runtimes/net/Generated/RSAPublicKey.cs	33
AwsCryptographyPrimitives/runtimes/net/Generated/TypeConversion.cs	1596
AwsCryptographyPrimitives/runtimes/net/Generated/ValidatePublicKeyInput.cs	33
AwsCryptographyPrimitives/runtimes/net/Generated/ValidatePublicKeyOutput.cs	22
AwsCryptographyPrimitives/runtimes/python/pyproject.toml	31
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/__init__.py	2
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/__init__.py	1
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/client.py	539
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/config.py	51
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/dafnyImplInterface.py	39
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/dafny_protocol.py	63
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/dafny_to_smithy.py	379
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/deserialize.py	185
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/errors.py	184
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/models.py	1777
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/plugin.py	21
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/serialize.py	171
AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/smithygenerated/aws_cryptography_primitives/smithy_to_dafny.py	438
AwsCryptographyPrimitives/runtimes/rust/Cargo.toml	19
AwsCryptographyPrimitives/runtimes/rust/src/lib.rs	44