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