Path	Lines of Code
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/StormTrackingCMC/externs.go	77
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/SynchronizedLocalCMC/externs.go	57
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyKeyStoreService/shim.go	74
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersService/shim.go	252
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/api_client.go	131
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go	610
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go	505
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygeneratedtypes/errors.go	12
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygeneratedtypes/types.go	325
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygeneratedtypes/unmodelled_errors.go	19
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplier.go	18
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplierNativeWrapper.go	18
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplier.go	20
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go	18
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCache.go	45
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCacheNativeWrapper.go	43
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManager.go	28
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManagerNativeWrapper.go	26
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/Keyring.go	28
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/KeyringNativeWrapper.go	26
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/api_client.go	538
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go	2789
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go	2821
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/enums.go	104
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go	92
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go	1791
AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/unmodelled_errors.go	19
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyKeyStoreService/shim.go	74
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersService/shim.go	252
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/api_client.go	131
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go	610
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go	505
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygeneratedtypes/errors.go	12
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygeneratedtypes/types.go	325
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygeneratedtypes/unmodelled_errors.go	19
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplier.go	18
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplierNativeWrapper.go	18
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplier.go	20
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go	18
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCache.go	45
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCacheNativeWrapper.go	43
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManager.go	28
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManagerNativeWrapper.go	26
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/Keyring.go	28
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/KeyringNativeWrapper.go	26
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/api_client.go	538
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go	2789
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go	2821
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/enums.go	104
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/errors.go	92
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go	1791
AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/unmodelled_errors.go	19
AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts	251
AwsCryptographicMaterialProviders/runtimes/java/settings.gradle.kts	25
AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/StormTrackingCMC/StormTrackingCMC.java	130
AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/internaldafny/SynchronizedLocalCMC/SynchronizedLocalCMC.java	79
AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/keystore/__default.java	3
AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/keystore/types/__default.java	3
AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/materialproviders/__default.java	3
AwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/materialproviders/types/__default.java	3
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/KeyStore.java	154
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToDafny.java	497
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/ToNative.java	444
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/BeaconKeyMaterials.java	99
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/BranchKeyMaterials.java	109
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/CollectionOfErrors.java	86
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/CreateKeyInput.java	55
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/CreateKeyOutput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/CreateKeyStoreInput.java	20
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/CreateKeyStoreOutput.java	54
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/Discovery.java	20
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/GetActiveBranchKeyInput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/GetActiveBranchKeyOutput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/GetBeaconKeyInput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/GetBeaconKeyOutput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/GetBranchKeyVersionInput.java	65
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/GetBranchKeyVersionOutput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/GetKeyStoreInfoOutput.java	144
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/KMSConfiguration.java	137
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/KeyStoreConfig.java	168
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/KeyStoreException.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/MRDiscovery.java	54
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/OpaqueError.java	83
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/OpaqueWithTextError.java	99
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/VersionKeyInput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/keystore/model/VersionKeyOutput.java	20
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/BranchKeyIdSupplier.java	103
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ClientSupplier.java	95
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/CryptographicMaterialsCache.java	211
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/CryptographicMaterialsManager.java	156
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/IBranchKeyIdSupplier.java	6
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/IClientSupplier.java	6
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ICryptographicMaterialsCache.java	12
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ICryptographicMaterialsManager.java	11
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/IKeyring.java	9
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/Keyring.java	143
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/MaterialProviders.java	459
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java	2467
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToNative.java	1963
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/AesWrappingAlg.java	13
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/AlgorithmSuiteId.java	73
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/AlgorithmSuiteInfo.java	215
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/AwsCryptographicMaterialProvidersException.java	67
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CacheType.java	146
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CollectionOfErrors.java	86
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CommitmentPolicy.java	73
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsDiscoveryKeyringInput.java	78
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsDiscoveryMultiKeyringInput.java	95
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsEcdhKeyringInput.java	107
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsHierarchicalKeyringInput.java	142
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsKeyringInput.java	83
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsMrkDiscoveryKeyringInput.java	99
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsMrkDiscoveryMultiKeyringInput.java	95
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsMrkKeyringInput.java	83
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsMrkMultiKeyringInput.java	89
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsMultiKeyringInput.java	89
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsRsaKeyringInput.java	119
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateCryptographicMaterialsCacheInput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateDefaultClientSupplierInput.java	20
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateDefaultCryptographicMaterialsManagerInput.java	50
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateMultiKeyringInput.java	63
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateRawAesKeyringInput.java	108
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateRawEcdhKeyringInput.java	68
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateRawRsaKeyringInput.java	119
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateRequiredEncryptionContextCMMInput.java	87
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/DBEAlgorithmSuiteId.java	14
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/DBECommitmentPolicy.java	11
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/DIRECT_KEY_WRAPPING.java	20
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/DecryptMaterialsInput.java	129
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/DecryptMaterialsOutput.java	46
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/DecryptionMaterials.java	143
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/DefaultCache.java	51
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/DeleteCacheEntryInput.java	45
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/DerivationAlgorithm.java	89
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/DiscoveryFilter.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/ECDSA.java	45
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/ESDKAlgorithmSuiteId.java	21
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/ESDKCommitmentPolicy.java	13
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/EdkWrappingAlgorithm.java	82
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/Encrypt.java	58
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/EncryptedDataKey.java	87
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/EncryptionMaterials.java	164
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/EntryAlreadyExists.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/EntryDoesNotExist.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/EphemeralPrivateKeyToStaticPublicKeyInput.java	45
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/GetAlgorithmSuiteInfoInput.java	45
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/GetBranchKeyIdInput.java	45
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/GetBranchKeyIdOutput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/GetCacheEntryInput.java	61
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/GetCacheEntryOutput.java	160
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/GetClientInput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/GetEncryptionMaterialsInput.java	121
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/GetEncryptionMaterialsOutput.java	46
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/HKDF.java	142
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/IDENTITY.java	20
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InFlightTTLExceeded.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InitializeDecryptionMaterialsInput.java	94
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InitializeEncryptionMaterialsInput.java	127
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/IntermediateKeyWrapping.java	88
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InvalidAlgorithmSuiteInfo.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InvalidAlgorithmSuiteInfoOnDecrypt.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InvalidAlgorithmSuiteInfoOnEncrypt.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InvalidDecryptionMaterials.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InvalidDecryptionMaterialsTransition.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InvalidEncryptionMaterials.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/InvalidEncryptionMaterialsTransition.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/KeyAgreementScheme.java	59
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/KmsEcdhStaticConfigurations.java	86
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/KmsPrivateKeyToStaticPublicKeyInput.java	82
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/KmsPublicKeyDiscoveryInput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/MaterialProvidersConfig.java	20
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/Materials.java	112
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/MultiThreadedCache.java	75
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/NoCache.java	20
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/None.java	20
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/OnDecryptInput.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/OnDecryptOutput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/OnEncryptInput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/OnEncryptOutput.java	44
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/OpaqueError.java	83
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/OpaqueWithTextError.java	99
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/PaddingScheme.java	15
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/PublicKeyDiscoveryInput.java	47
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/PutCacheEntryInput.java	172
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/RawEcdhStaticConfigurations.java	108
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/RawPrivateKeyToStaticPublicKeyInput.java	66
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/SignatureAlgorithm.java	73
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/SingleThreadedCache.java	75
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/StaticConfigurations.java	73
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/StormTrackingCache.java	236
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/SymmetricSignatureAlgorithm.java	74
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/TimeUnits.java	12
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/UpdateUsageMetadataInput.java	74
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/ValidDecryptionMaterialsTransitionInput.java	65
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/ValidEncryptionMaterialsTransitionInput.java	65
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/ValidateCommitmentPolicyOnDecryptInput.java	65
AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/ValidateCommitmentPolicyOnEncryptInput.java	65
AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs	3
AwsCryptographicMaterialProviders/runtimes/net/Extern/StormTrackingCMC.cs	91
AwsCryptographicMaterialProviders/runtimes/net/Extern/SynchronizedLocalCMC.cs	52
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/AesWrappingAlg.cs	16
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/AlgorithmSuiteId.cs	35
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/AlgorithmSuiteInfo.cs	110
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersException.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/BranchKeyIdSupplier.cs	20
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/BranchKeyIdSupplierBase.cs	13
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CacheType.cs	79
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/ClientSupplier.cs	20
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/ClientSupplierBase.cs	13
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CollectionOfErrors.cs	12
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CommitmentPolicy.cs	35
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateAwsKmsDiscoveryKeyringInput.cs	42
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateAwsKmsDiscoveryMultiKeyringInput.cs	52
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateAwsKmsEcdhKeyringInput.cs	54
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateAwsKmsHierarchicalKeyringInput.cs	73
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateAwsKmsKeyringInput.cs	43
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateAwsKmsMrkDiscoveryKeyringInput.cs	53
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateAwsKmsMrkDiscoveryMultiKeyringInput.cs	52
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateAwsKmsMrkKeyringInput.cs	43
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateAwsKmsMrkMultiKeyringInput.cs	51
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateAwsKmsMultiKeyringInput.cs	51
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateAwsKmsRsaKeyringInput.cs	63
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateCryptographicMaterialsCacheInput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateDefaultClientSupplierInput.cs	11
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateDefaultCryptographicMaterialsManagerInput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateMultiKeyringInput.cs	32
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateRawAesKeyringInput.cs	55
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateRawEcdhKeyringInput.cs	33
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateRawRsaKeyringInput.cs	64
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateRequiredEncryptionContextCMMInput.cs	42
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CryptographicMaterialsCache.cs	38
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CryptographicMaterialsCacheBase.cs	28
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CryptographicMaterialsManager.cs	27
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CryptographicMaterialsManagerBase.cs	18
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/DBEAlgorithmSuiteId.cs	15
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/DBECommitmentPolicy.cs	14
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/DIRECT_KEY_WRAPPING.cs	11
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/DecryptMaterialsInput.cs	65
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/DecryptMaterialsOutput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/DecryptionMaterials.cs	74
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/DefaultCache.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/DeleteCacheEntryInput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/DerivationAlgorithm.cs	46
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/DiscoveryFilter.cs	33
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/ECDSA.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/ESDKAlgorithmSuiteId.cs	24
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/ESDKCommitmentPolicy.cs	16
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/EdkWrappingAlgorithm.cs	35
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/Encrypt.cs	24
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/EncryptedDataKey.cs	44
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/EncryptionMaterials.cs	85
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/EntryAlreadyExists.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/EntryDoesNotExist.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/EphemeralPrivateKeyToStaticPublicKeyInput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/GetBranchKeyIdInput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/GetBranchKeyIdOutput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/GetCacheEntryInput.cs	32
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/GetCacheEntryOutput.cs	66
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/GetClientInput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/GetEncryptionMaterialsInput.cs	63
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/GetEncryptionMaterialsOutput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/HKDF.cs	55
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/IBranchKeyIdSupplier.cs	9
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/IClientSupplier.cs	9
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/ICryptographicMaterialsCache.cs	12
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/ICryptographicMaterialsManager.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/IDENTITY.cs	11
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/IKeyring.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/InFlightTTLExceeded.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/InitializeDecryptionMaterialsInput.cs	44
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/InitializeEncryptionMaterialsInput.cs	64
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/IntermediateKeyWrapping.cs	44
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/InvalidAlgorithmSuiteInfo.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/InvalidAlgorithmSuiteInfoOnDecrypt.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/InvalidAlgorithmSuiteInfoOnEncrypt.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/InvalidDecryptionMaterials.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/InvalidDecryptionMaterialsTransition.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/InvalidEncryptionMaterials.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/InvalidEncryptionMaterialsTransition.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/KeyAgreementScheme.cs	24
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/Keyring.cs	27
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/KeyringBase.cs	18
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/KmsEcdhStaticConfigurations.cs	35
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/KmsPrivateKeyToStaticPublicKeyInput.cs	43
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/KmsPublicKeyDiscoveryInput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/MaterialProviders.cs	223
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/MaterialProvidersConfig.cs	11
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/Materials.cs	57
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/MultiThreadedCache.cs	40
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/NativeWrapper_BranchKeyIdSupplier.cs	42
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/NativeWrapper_ClientSupplier.cs	32
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/NativeWrapper_CryptographicMaterialsCache.cs	93
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/NativeWrapper_CryptographicMaterialsManager.cs	70
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/NativeWrapper_Keyring.cs	70
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/NoCache.cs	11
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/None.cs	11
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/OnDecryptInput.cs	33
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/OnDecryptOutput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/OnEncryptInput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/OnEncryptOutput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/OpaqueError.cs	12
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/OpaqueWithTextError.cs	13
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/PaddingScheme.cs	18
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/PublicKeyDiscoveryInput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/PutCacheEntryInput.cs	91
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/RawEcdhStaticConfigurations.cs	46
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/RawPrivateKeyToStaticPublicKeyInput.cs	33
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/SignatureAlgorithm.cs	35
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/SingleThreadedCache.cs	40
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/StaticConfigurations.cs	35
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/StormTrackingCache.cs	105
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/SymmetricSignatureAlgorithm.cs	35
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TimeUnits.cs	15
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/UpdateUsageMetadataInput.cs	33
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/ValidDecryptionMaterialsTransitionInput.cs	33
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/ValidEncryptionMaterialsTransitionInput.cs	33
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/ValidateCommitmentPolicyOnDecryptInput.cs	33
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/ValidateCommitmentPolicyOnEncryptInput.cs	33
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/BeaconKeyMaterials.cs	53
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/BranchKeyMaterials.cs	55
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/CollectionOfErrors.cs	12
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/CreateKeyInput.cs	31
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/CreateKeyOutput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/CreateKeyStoreInput.cs	11
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/CreateKeyStoreOutput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/Discovery.cs	11
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/GetActiveBranchKeyInput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/GetActiveBranchKeyOutput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/GetBeaconKeyInput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/GetBeaconKeyOutput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/GetBranchKeyVersionInput.cs	33
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/GetBranchKeyVersionOutput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/GetKeyStoreInfoOutput.cs	66
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/KMSConfiguration.cs	57
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/KeyStore.cs	75
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/KeyStoreConfig.cs	84
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/KeyStoreException.cs	10
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/MRDiscovery.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/OpaqueError.cs	12
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/OpaqueWithTextError.cs	13
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/TypeConversion.cs	770
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/VersionKeyInput.cs	22
AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographyKeyStore/VersionKeyOutput.cs	11
AwsCryptographicMaterialProviders/runtimes/python/doc/conf.py	48
AwsCryptographicMaterialProviders/runtimes/python/pyproject.toml	41
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/__init__.py	8
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/keystore/__init__.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/keystore/client.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/keystore/config.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/keystore/errors.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/keystore/models.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/mpl/__init__.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/mpl/client.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/mpl/config.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/mpl/errors.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/mpl/models.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/mpl/references.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/__init__.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/client.py	315
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/config.py	134
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/dafnyImplInterface.py	22
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/dafny_protocol.py	28
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/dafny_to_smithy.py	256
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/deserialize.py	93
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/errors.py	198
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/models.py	683
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/plugin.py	21
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/serialize.py	47
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_keystore/smithy_to_dafny.py	513
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/__init__.py	1
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/aws_sdk_to_dafny.py	15
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/client.py	623
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/config.py	51
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/dafnyImplInterface.py	44
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/dafny_protocol.py	71
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/dafny_to_aws_sdk.py	15
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/dafny_to_smithy.py	1536
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/deserialize.py	286
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/errors.py	686
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/models.py	3976
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/plugin.py	26
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/references.py	533
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/serialize.py	232
AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/smithygenerated/aws_cryptography_materialproviders/smithy_to_dafny.py	2117
AwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml	30
AwsCryptographicMaterialProviders/runtimes/rust/src/aes_gcm.rs	33
AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs	64
AwsCryptographicMaterialProviders/runtimes/rust/src/concurrent_call.rs	51
AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs	191
AwsCryptographicMaterialProviders/runtimes/rust/src/ddb.rs	68
AwsCryptographicMaterialProviders/runtimes/rust/src/digest.rs	31
AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs	482
AwsCryptographicMaterialProviders/runtimes/rust/src/ecdsa.rs	250
AwsCryptographicMaterialProviders/runtimes/rust/src/hmac.rs	112
AwsCryptographicMaterialProviders/runtimes/rust/src/kms.rs	77
AwsCryptographicMaterialProviders/runtimes/rust/src/lib.rs	56
AwsCryptographicMaterialProviders/runtimes/rust/src/local_cmc.rs	41
AwsCryptographicMaterialProviders/runtimes/rust/src/oslang.rs	33
AwsCryptographicMaterialProviders/runtimes/rust/src/random.rs	35
AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs	65
AwsCryptographicMaterialProviders/runtimes/rust/src/sets.rs	54
AwsCryptographicMaterialProviders/runtimes/rust/src/software_externs.rs	18
AwsCryptographicMaterialProviders/runtimes/rust/src/storm_tracker.rs	84
AwsCryptographicMaterialProviders/runtimes/rust/src/time.rs	44
AwsCryptographicMaterialProviders/runtimes/rust/src/timer.rs	72
AwsCryptographicMaterialProviders/runtimes/rust/src/uuid.rs	69
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
ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/externs.go	43
ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/DynamoDBwrapped/shim.go	469
ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/DynamoDBwrapped/shim.go	469
ComAmazonawsDynamodb/runtimes/java/build.gradle.kts	84
ComAmazonawsDynamodb/runtimes/java/settings.gradle.kts	7
ComAmazonawsDynamodb/runtimes/java/src/main/java/software/amazon/cryptography/services/dynamodb/internaldafny/__default.java	51
ComAmazonawsDynamodb/runtimes/java/src/main/java/software/amazon/cryptography/services/dynamodb/internaldafny/types/__default.java	3
ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/Shim.java	3151
ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java	8440
ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs	3
ComAmazonawsDynamodb/runtimes/net/Extern/DDBClient.cs	43
ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs	981
ComAmazonawsDynamodb/runtimes/python/pyproject.toml	30
ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/__init__.py	2
ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/__init__.py	1
ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py	5437
ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/shim.py	1109
ComAmazonawsDynamodb/runtimes/rust/Cargo.toml	17
ComAmazonawsDynamodb/runtimes/rust/src/ddb.rs	68
ComAmazonawsDynamodb/runtimes/rust/src/lib.rs	22
ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Kms/externs.go	43
ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/KMSwrapped/shim.go	429
ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go	6689
ComAmazonawsKms/runtimes/go/TestsFromDafny-go/KMSwrapped/shim.go	429
ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go	6689
ComAmazonawsKms/runtimes/java/build.gradle.kts	118
ComAmazonawsKms/runtimes/java/settings.gradle.kts	7
ComAmazonawsKms/runtimes/java/src/main/java/software/amazon/cryptography/services/kms/internaldafny/__default.java	102
ComAmazonawsKms/runtimes/java/src/main/java/software/amazon/cryptography/services/kms/internaldafny/types/__default.java	3
ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/Shim.java	3925
ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java	5518
ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToNative.java	4583
ComAmazonawsKms/runtimes/net/AssemblyInfo.cs	3
ComAmazonawsKms/runtimes/net/Extern/KMSClient.cs	97
ComAmazonawsKms/runtimes/net/Generated/KeyManagementServiceShim.cs	883
ComAmazonawsKms/runtimes/python/pyproject.toml	30
ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/__init__.py	2
ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/__init__.py	1
ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/aws_sdk_to_dafny.py	5985
ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/dafny_to_aws_sdk.py	2683
ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/shim.py	993
ComAmazonawsKms/runtimes/rust/Cargo.toml	17
ComAmazonawsKms/runtimes/rust/src/kms.rs	77
ComAmazonawsKms/runtimes/rust/src/lib.rs	22
StandardLibrary/runtimes/go/ImplementationFromDafny-go/ConcurrentCall/externs.go	16
StandardLibrary/runtimes/go/ImplementationFromDafny-go/DafnyLibraries/externs.go	115
StandardLibrary/runtimes/go/ImplementationFromDafny-go/FileIO/externs.go	79
StandardLibrary/runtimes/go/ImplementationFromDafny-go/OsLang/externs.go	46
StandardLibrary/runtimes/go/ImplementationFromDafny-go/SortedSets/externs.go	52
StandardLibrary/runtimes/go/ImplementationFromDafny-go/Time_/externs.go	37
StandardLibrary/runtimes/go/ImplementationFromDafny-go/UTF8/externs.go	74
StandardLibrary/runtimes/go/ImplementationFromDafny-go/UUID/externs.go	30
StandardLibrary/runtimes/java/build.gradle.kts	77
StandardLibrary/runtimes/java/settings.gradle.kts	1
StandardLibrary/runtimes/java/src/main/java/ConcurrentCall/__default.java	38
StandardLibrary/runtimes/java/src/main/java/DafnyLibraries/FileIO.java	104
StandardLibrary/runtimes/java/src/main/java/DafnyLibraries/MutableMap.java	57
StandardLibrary/runtimes/java/src/main/java/OsLang/__default.java	34
StandardLibrary/runtimes/java/src/main/java/SortedSets/__default.java	60
StandardLibrary/runtimes/java/src/main/java/StandardLibraryInternal/InternalResult.java	39
StandardLibrary/runtimes/java/src/main/java/String_Compile/__default.java	33
StandardLibrary/runtimes/java/src/main/java/Time/__default.java	43
StandardLibrary/runtimes/java/src/main/java/UTF8/__default.java	65
StandardLibrary/runtimes/java/src/main/java/UUID/__default.java	71
StandardLibrary/runtimes/net/AssemblyInfo.cs	3
StandardLibrary/runtimes/net/Dafny47-Patch.cs	70
StandardLibrary/runtimes/net/Extern/ConcurrentCall.cs	33
StandardLibrary/runtimes/net/Extern/DafnyLibraries.cs	68
StandardLibrary/runtimes/net/Extern/FileIO.cs	66
StandardLibrary/runtimes/net/Extern/OsLang.cs	44
StandardLibrary/runtimes/net/Extern/SortedSets.cs	53
StandardLibrary/runtimes/net/Extern/Time.cs	43
StandardLibrary/runtimes/net/Extern/UTF8.cs	46
StandardLibrary/runtimes/net/Extern/UUID.cs	66
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/MANIFEST.in	1
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/pyproject.toml	44
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/__init__.py	1
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/__init__.py	187
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/abnf.py	41
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/api_key_auth.py	91
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/auth.py	16
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/http/__init__.py	53
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/http/aiohttp_client.py	74
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/http/crt.py	217
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/identity.py	17
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/_private/retries/__init__.py	93
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/async_utils.py	8
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/exceptions.py	5
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/httputils.py	66
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/__init__.py	61
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/auth.py	52
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/blobs.py	164
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/http.py	37
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/identity.py	22
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/interceptor.py	152
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/interfaces/retries.py	32
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/mediatypes.py	24
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/protocolutils.py	36
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/types.py	4
StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/utils.py	104
StandardLibrary/runtimes/python/pyproject.toml	35
StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/__init__.py	2
StandardLibrary/runtimes/rust/Cargo.toml	11
StandardLibrary/runtimes/rust/src/dafny_libraries.rs	114
StandardLibrary/runtimes/rust/src/lib.rs	15
StandardLibrary/runtimes/rust/src/standard_library_externs.rs	77
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go	60
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedMaterialProviders/extern.go	9
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go	114
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go	861
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go	874
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/enums.go	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/errors.go	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go	673
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/unmodelled_errors.go	19
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/TestWrappedMaterialProvidersMain/extern.go	13
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go	60
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go	114
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go	861
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go	874
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/enums.go	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/errors.go	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go	673
TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/unmodelled_errors.go	19
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts	99
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/materialproviders/internaldafny/wrapped/__default.java	29
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/materialproviderstestvectorkeys/internaldafny/__default.java	2
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/java/software/amazon/cryptography/materialproviderstestvectorkeys/internaldafny/types/__default.java	2
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/wrapped/TestMaterialProviders.java	723
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/KeyVectors.java	131
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/ToDafny.java	487
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/ToNative.java	474
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/CmmOperation.java	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/CollectionOfErrors.java	86
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/GetKeyDescriptionInput.java	45
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/GetKeyDescriptionOutput.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/HierarchyKeyring.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KMSInfo.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KeyDescription.java	250
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KeyVectorException.java	66
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KeyVectorsConfig.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KmsEcdhKeyring.java	149
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KmsMrkAware.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KmsMrkAwareDiscovery.java	84
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/KmsRsaKeyring.java	68
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/MultiKeyring.java	61
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/OpaqueError.java	83
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/OpaqueWithTextError.java	99
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/RawAES.java	65
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/RawEcdh.java	170
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/RawRSA.java	87
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/RequiredEncryptionContextCMM.java	72
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/SerializeKeyDescriptionInput.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/SerializeKeyDescriptionOutput.java	45
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/StaticKeyring.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/TestVectorCmmInput.java	65
TestVectorsAwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviderstestvectorkeys/model/TestVectorKeyringInput.java	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Extern/WrappedMaterialProviders.cs	26
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/CmmOperation.cs	15
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/CollectionOfErrors.cs	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/GetKeyDescriptionInput.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/GetKeyDescriptionOutput.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/HierarchyKeyring.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KMSInfo.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KeyDescription.cs	145
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KeyVectorException.cs	10
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KeyVectors.cs	62
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KeyVectorsConfig.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KmsEcdhKeyring.cs	77
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KmsMrkAware.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KmsMrkAwareDiscovery.cs	43
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/KmsRsaKeyring.cs	33
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/MultiKeyring.cs	32
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/OpaqueError.cs	12
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/OpaqueWithTextError.cs	13
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/RawAES.cs	33
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/RawEcdh.cs	88
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/RawRSA.cs	44
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/RequiredEncryptionContextCMM.cs	33
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/SerializeKeyDescriptionInput.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/SerializeKeyDescriptionOutput.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/StaticKeyring.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/TestVectorCmmInput.cs	33
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/TestVectorKeyringInput.cs	22
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/KeyVectors/TypeConversion.cs	994
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/AwsCryptographicMaterialProvidersShim.cs	453
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/WrappedNativeWrapper_BranchKeyIdSupplier.cs	42
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/WrappedNativeWrapper_ClientSupplier.cs	32
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/WrappedNativeWrapper_CryptographicMaterialsCache.cs	93
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/WrappedNativeWrapper_CryptographicMaterialsManager.cs	70
TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/WrappedNativeWrapper_Keyring.cs	70
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/pyproject.toml	19
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/__init__.py	4
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviders/__init__.py	1
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviders/shim.py	523
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/__init__.py	1
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/aws_sdk_to_dafny.py	15
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/client.py	292
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/config.py	67
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/dafnyImplInterface.py	20
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/dafny_protocol.py	23
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/dafny_to_aws_sdk.py	15
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/dafny_to_smithy.py	309
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/deserialize.py	60
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/errors.py	180
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/models.py	971
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/plugin.py	21
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/serialize.py	40
TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/smithygenerated/aws_cryptography_materialproviderstestvectorkeys/smithy_to_dafny.py	557
TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/Cargo.toml	29
TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/src/main.rs	69
cfn/CI.yaml	62
cfn/ESDK-Hierarchy-CI.yaml	505
codebuild/net/retrieve_api_access_key.py	4
codebuild/net/retrieve_signed_assembly.py	4
codebuild/net/signing_lib.py	141
codebuild/net/upload_assembly.py	4
releases/go/dynamodb/Com_Amazonaws_Dynamodb/Com_Amazonaws_Dynamodb.go	272
releases/go/dynamodb/Com_Amazonaws_Dynamodb/externs.go	43
releases/go/dynamodb/DynamoDBwrapped/shim.go	469
releases/go/kms/Com_Amazonaws_Kms/Com_Amazonaws_Kms.go	277
releases/go/kms/Com_Amazonaws_Kms/externs.go	43
releases/go/kms/KMSwrapped/shim.go	429
releases/go/kms/comamazonawskmssmithygenerated/to_native.go	6797
releases/go/mpl/AwsArnParsing/AwsArnParsing.go	946
releases/go/mpl/AwsCryptographyKeyStoreOperations/AwsCryptographyKeyStoreOperations.go	538
releases/go/mpl/AwsCryptographyKeyStoreTypes/AwsCryptographyKeyStoreTypes.go	2124
releases/go/mpl/AwsCryptographyMaterialProvidersOperations/AwsCryptographyMaterialProvidersOperations.go	1744
releases/go/mpl/AwsKmsDiscoveryKeyring/AwsKmsDiscoveryKeyring.go	720
releases/go/mpl/AwsKmsEcdhKeyring/AwsKmsEcdhKeyring.go	1114
releases/go/mpl/AwsKmsHierarchicalKeyring/AwsKmsHierarchicalKeyring.go	2064
releases/go/mpl/AwsKmsKeyring/AwsKmsKeyring.go	1226
releases/go/mpl/AwsKmsMrkAreUnique/AwsKmsMrkAreUnique.go	254
releases/go/mpl/AwsKmsMrkDiscoveryKeyring/AwsKmsMrkDiscoveryKeyring.go	640
releases/go/mpl/AwsKmsMrkKeyring/AwsKmsMrkKeyring.go	574
releases/go/mpl/AwsKmsMrkMatchForDecrypt/AwsKmsMrkMatchForDecrypt.go	164
releases/go/mpl/AwsKmsRsaKeyring/AwsKmsRsaKeyring.go	1248
releases/go/mpl/AwsKmsUtils/AwsKmsUtils.go	497
releases/go/mpl/CMM/CMM.go	272
releases/go/mpl/CacheConstants/CacheConstants.go	226
releases/go/mpl/CanonicalEncryptionContext/CanonicalEncryptionContext.go	229
releases/go/mpl/Commitment/Commitment.go	248
releases/go/mpl/Constants/Constants.go	385
releases/go/mpl/CreateKeyStoreTable/CreateKeyStoreTable.go	237
releases/go/mpl/CreateKeys/CreateKeys.go	338
releases/go/mpl/DDBKeystoreOperations/DDBKeystoreOperations.go	488
releases/go/mpl/DefaultCMM/DefaultCMM.go	460
releases/go/mpl/DefaultClientSupplier/DefaultClientSupplier.go	275
releases/go/mpl/Defaults/Defaults.go	249
releases/go/mpl/DiscoveryMultiKeyring/DiscoveryMultiKeyring.go	247
releases/go/mpl/EcdhEdkWrapping/EcdhEdkWrapping.go	985
releases/go/mpl/EdkWrapping/EdkWrapping.go	544
releases/go/mpl/ErrorMessages/ErrorMessages.go	317
releases/go/mpl/GetKeys/GetKeys.go	332
releases/go/mpl/IntermediateKeyWrapping/IntermediateKeyWrapping.go	1035
releases/go/mpl/KMSKeystoreOperations/KMSKeystoreOperations.go	406
releases/go/mpl/KeyStore/KeyStore.go	465
releases/go/mpl/KeyStoreErrorMessages/KeyStoreErrorMessages.go	171
releases/go/mpl/Keyring/Keyring.go	160
releases/go/mpl/KmsArn/KmsArn.go	174
releases/go/mpl/LocalCMC/LocalCMC.go	797
releases/go/mpl/MaterialProviders/MaterialProviders.go	593
releases/go/mpl/MaterialWrapping/MaterialWrapping.go	690
releases/go/mpl/MrkAwareDiscoveryMultiKeyring/MrkAwareDiscoveryMultiKeyring.go	251
releases/go/mpl/MrkAwareStrictMultiKeyring/MrkAwareStrictMultiKeyring.go	380
releases/go/mpl/MultiKeyring/MultiKeyring.go	409
releases/go/mpl/RawECDHKeyring/RawECDHKeyring.go	1235
releases/go/mpl/RawRSAKeyring/RawRSAKeyring.go	974
releases/go/mpl/RequiredEncryptionContextCMM/RequiredEncryptionContextCMM.go	446
releases/go/mpl/StormTracker/StormTracker.go	662
releases/go/mpl/StormTrackingCMC/StormTrackingCMC.go	212
releases/go/mpl/StormTrackingCMC/externs.go	77
releases/go/mpl/StrictMultiKeyring/StrictMultiKeyring.go	361
releases/go/mpl/SynchronizedLocalCMC/SynchronizedLocalCMC.go	178
releases/go/mpl/SynchronizedLocalCMC/externs.go	57
releases/go/mpl/Utils/Utils.go	262
releases/go/mpl/awscryptographykeystoresmithygenerated/api_client.go	131
releases/go/mpl/awscryptographykeystoresmithygenerated/to_dafny.go	610
releases/go/mpl/awscryptographykeystoresmithygenerated/to_native.go	514
releases/go/mpl/awscryptographykeystoresmithygeneratedtypes/errors.go	12
releases/go/mpl/awscryptographykeystoresmithygeneratedtypes/types.go	325
releases/go/mpl/awscryptographykeystoresmithygeneratedtypes/unmodelled_errors.go	19
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplier.go	18
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplierNativeWrapper.go	18
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/ClientSupplier.go	20
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go	18
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCache.go	45
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCacheNativeWrapper.go	43
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManager.go	28
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManagerNativeWrapper.go	26
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/Keyring.go	28
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/KeyringNativeWrapper.go	26
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/api_client.go	538
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/to_dafny.go	2753
releases/go/mpl/awscryptographymaterialproviderssmithygenerated/to_native.go	2899
releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes/enums.go	104
releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes/errors.go	92
releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes/types.go	1791
releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes/unmodelled_errors.go	19
releases/go/primitives/AESEncryption/AESEncryption.go	230
releases/go/primitives/AESEncryption/externs.go	79
releases/go/primitives/AesKdfCtr/AesKdfCtr.go	130
releases/go/primitives/AesKdfCtr/externs.go	17
releases/go/primitives/AtomicPrimitives/AtomicPrimitives.go	443
releases/go/primitives/AwsCryptographyPrimitivesOperations/AwsCryptographyPrimitivesOperations.go	421
releases/go/primitives/AwsCryptographyPrimitivesTypes/AwsCryptographyPrimitivesTypes.go	4610
releases/go/primitives/Digest/Digest.go	161
releases/go/primitives/ECDH/ECDH.go	393
releases/go/primitives/ECDH/externs.go	322
releases/go/primitives/ExternDigest/ExternDigest.go	116
releases/go/primitives/ExternDigest/externs.go	26
releases/go/primitives/ExternRandom/ExternRandom.go	114
releases/go/primitives/ExternRandom/externs.go	18
releases/go/primitives/HKDF/HKDF.go	217
releases/go/primitives/HMAC/HMAC.go	124
releases/go/primitives/HMAC/externs.go	54
releases/go/primitives/RSAEncryption/RSAEncryption.go	201
releases/go/primitives/RSAEncryption/externs.go	123
releases/go/primitives/Random/Random.go	136
releases/go/primitives/Signature/Signature.go	266
releases/go/primitives/Signature/externs.go	102
releases/go/primitives/WrappedHKDF/WrappedHKDF.go	233
releases/go/primitives/WrappedHMAC/WrappedHMAC.go	136
releases/go/primitives/awscryptographyprimitivessmithygenerated/api_client.go	455
releases/go/primitives/awscryptographyprimitivessmithygenerated/to_dafny.go	1504
releases/go/primitives/awscryptographyprimitivessmithygenerated/to_native.go	1675
releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes/enums.go	57
releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes/errors.go	12
releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes/types.go	490
releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes/unmodelled_errors.go	19
releases/go/smithy-dafny-standard-library/Actions/Actions.go	439
releases/go/smithy-dafny-standard-library/Base64/Base64.go	396
releases/go/smithy-dafny-standard-library/Base64Lemmas/Base64Lemmas.go	78
releases/go/smithy-dafny-standard-library/BoundedInts/BoundedInts.go	670
releases/go/smithy-dafny-standard-library/ConcurrentCall/ConcurrentCall.go	91
releases/go/smithy-dafny-standard-library/ConcurrentCall/externs.go	16
releases/go/smithy-dafny-standard-library/DafnyLibraries/DafnyLibraries.go	105
releases/go/smithy-dafny-standard-library/DafnyLibraries/externs.go	115
releases/go/smithy-dafny-standard-library/DivInternals/DivInternals.go	106
releases/go/smithy-dafny-standard-library/DivInternalsNonlinear/DivInternalsNonlinear.go	44
releases/go/smithy-dafny-standard-library/DivMod/DivMod.go	50
releases/go/smithy-dafny-standard-library/FileIO/FileIO.go	127
releases/go/smithy-dafny-standard-library/FileIO/externs.go	79
releases/go/smithy-dafny-standard-library/FloatCompare/FloatCompare.go	368
releases/go/smithy-dafny-standard-library/Functions/Functions.go	24
releases/go/smithy-dafny-standard-library/GeneralInternals/GeneralInternals.go	34
releases/go/smithy-dafny-standard-library/HexStrings/HexStrings.go	236
releases/go/smithy-dafny-standard-library/JSON_API/JSON_API.go	236
releases/go/smithy-dafny-standard-library/JSON_ConcreteSyntax_Spec/JSON_ConcreteSyntax_Spec.go	300
releases/go/smithy-dafny-standard-library/JSON_ConcreteSyntax_SpecProperties/JSON_ConcreteSyntax_SpecProperties.go	124
releases/go/smithy-dafny-standard-library/JSON_Deserializer_ByteStrConversion/JSON_Deserializer_ByteStrConversion.go	212
releases/go/smithy-dafny-standard-library/JSON_Deserializer_Uint16StrConversion/JSON_Deserializer_Uint16StrConversion.go	210
releases/go/smithy-dafny-standard-library/JSON_Errors/JSON_Errors.go	620
releases/go/smithy-dafny-standard-library/JSON_Grammar/JSON_Grammar.go	1661
releases/go/smithy-dafny-standard-library/JSON_Serializer/JSON_Serializer.go	477
releases/go/smithy-dafny-standard-library/JSON_Serializer_ByteStrConversion/JSON_Serializer_ByteStrConversion.go	206
releases/go/smithy-dafny-standard-library/JSON_Spec/JSON_Spec.go	386
releases/go/smithy-dafny-standard-library/JSON_Utils_Cursors/JSON_Utils_Cursors.go	769
releases/go/smithy-dafny-standard-library/JSON_Utils_Lexers_Core/JSON_Utils_Lexers_Core.go	203
releases/go/smithy-dafny-standard-library/JSON_Utils_Lexers_Strings/JSON_Utils_Lexers_Strings.go	269
releases/go/smithy-dafny-standard-library/JSON_Utils_Parsers/JSON_Utils_Parsers.go	353
releases/go/smithy-dafny-standard-library/JSON_Utils_Seq/JSON_Utils_Seq.go	100
releases/go/smithy-dafny-standard-library/JSON_Utils_Str_CharStrConversion/JSON_Utils_Str_CharStrConversion.go	184
releases/go/smithy-dafny-standard-library/JSON_Utils_Str_CharStrEscaping/JSON_Utils_Str_CharStrEscaping.go	265
releases/go/smithy-dafny-standard-library/JSON_Utils_Vectors/JSON_Utils_Vectors.go	459
releases/go/smithy-dafny-standard-library/JSON_Utils_Views_Core/JSON_Utils_Views_Core.go	296
releases/go/smithy-dafny-standard-library/JSON_Utils_Views_Writers/JSON_Utils_Views_Writers.go	420
releases/go/smithy-dafny-standard-library/JSON_Values/JSON_Values.go	398
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_API/JSON_ZeroCopy_API.go	198
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer/JSON_ZeroCopy_Deserializer.go	148
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_API/JSON_ZeroCopy_Deserializer_API.go	243
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_ArrayParams/JSON_ZeroCopy_Deserializer_ArrayParams.go	178
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Arrays/JSON_ZeroCopy_Deserializer_Arrays.go	362
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Constants/JSON_ZeroCopy_Deserializer_Constants.go	177
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Core/JSON_ZeroCopy_Deserializer_Core.go	285
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Numbers/JSON_ZeroCopy_Deserializer_Numbers.go	288
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_ObjectParams/JSON_ZeroCopy_Deserializer_ObjectParams.go	222
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Objects/JSON_ZeroCopy_Deserializer_Objects.go	358
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Strings/JSON_ZeroCopy_Deserializer_Strings.go	231
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Deserializer_Values/JSON_ZeroCopy_Deserializer_Values.go	302
releases/go/smithy-dafny-standard-library/JSON_ZeroCopy_Serializer/JSON_ZeroCopy_Serializer.go	379
releases/go/smithy-dafny-standard-library/Logarithm/Logarithm.go	96
releases/go/smithy-dafny-standard-library/Math_/Math_.go	61
releases/go/smithy-dafny-standard-library/ModInternals/ModInternals.go	93
releases/go/smithy-dafny-standard-library/ModInternalsNonlinear/ModInternalsNonlinear.go	42
releases/go/smithy-dafny-standard-library/Mul/Mul.go	40
releases/go/smithy-dafny-standard-library/MulInternals/MulInternals.go	87
releases/go/smithy-dafny-standard-library/MulInternalsNonlinear/MulInternalsNonlinear.go	36
releases/go/smithy-dafny-standard-library/OsLang/OsLang.go	96
releases/go/smithy-dafny-standard-library/OsLang/externs.go	46
releases/go/smithy-dafny-standard-library/Power/Power.go	94
releases/go/smithy-dafny-standard-library/Relations/Relations.go	12
releases/go/smithy-dafny-standard-library/Seq/Seq.go	386
releases/go/smithy-dafny-standard-library/Seq_MergeSort/Seq_MergeSort.go	94
releases/go/smithy-dafny-standard-library/SortedSets/SortedSets.go	70
releases/go/smithy-dafny-standard-library/SortedSets/externs.go	52
releases/go/smithy-dafny-standard-library/Sorting/Sorting.go	136
releases/go/smithy-dafny-standard-library/StandardLibrary/StandardLibrary.go	313
releases/go/smithy-dafny-standard-library/StandardLibraryInterop/StandardLibraryInterop.go	103
releases/go/smithy-dafny-standard-library/StandardLibrary_Sequence/StandardLibrary_Sequence.go	110
releases/go/smithy-dafny-standard-library/StandardLibrary_String/StandardLibrary_String.go	167
releases/go/smithy-dafny-standard-library/StandardLibrary_UInt/StandardLibrary_UInt.go	291
releases/go/smithy-dafny-standard-library/Streams/Streams.go	494
releases/go/smithy-dafny-standard-library/Time_/Time_.go	369
releases/go/smithy-dafny-standard-library/Time_/externs.go	37
releases/go/smithy-dafny-standard-library/UTF8/externs.go	74
releases/go/smithy-dafny-standard-library/UUID/UUID.go	102
releases/go/smithy-dafny-standard-library/UUID/externs.go	30
releases/go/smithy-dafny-standard-library/UnicodeStrings/UnicodeStrings.go	173
releases/go/smithy-dafny-standard-library/Unicode_/Unicode_.go	211
releases/go/smithy-dafny-standard-library/Utf16EncodingForm/Utf16EncodingForm.go	288
releases/go/smithy-dafny-standard-library/Utf8EncodingForm/Utf8EncodingForm.go	392
releases/go/smithy-dafny-standard-library/Wrappers/Wrappers.go	472