File tree
318 files changed
+0
-276920
lines changed- GoCustomerPreview
- ddb-esdk
- AttributeResolver
- AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations
- AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypes
- AwsCryptographyDbEncryptionSdkDynamoDbOperations
- AwsCryptographyDbEncryptionSdkDynamoDbTransformsOperations
- AwsCryptographyDbEncryptionSdkDynamoDbTransformsTypes
- AwsCryptographyDbEncryptionSdkDynamoDbTypes
- AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations
- AwsCryptographyDbEncryptionSdkStructuredEncryptionTypes
- BaseBeacon
- BatchExecuteStatementTransform
- BatchGetItemTransform
- BatchWriteItemTransform
- Canonize
- CompoundBeacon
- DdbMiddlewareConfig
- DdbStatement
- DdbVirtualFields
- DeleteItemTransform
- DynamoDBFilterExpr
- DynamoDBSupport
- DynamoDbEncryption
- DynamoDbEncryptionBranchKeyIdSupplier
- DynamoDbEncryptionTransforms
- DynamoDbEncryptionUtil
- DynamoDbItemEncryptor
- DynamoDbItemEncryptorUtil
- DynamoDbMiddlewareSupport
- DynamoDbNormalizeNumber
- DynamoDbUpdateExpr
- DynamoToStruct
- ExecuteStatementTransform
- ExecuteTransactionTransform
- GetItemTransform
- InternalLegacyOverride
- Maps_
- OptimizedMergeSort
- PutItemTransform
- QueryTransform
- ScanTransform
- SearchConfigToInfo
- SearchableEncryptionInfo
- Sets
- SortCanon
- StructuredEncryption
- StructuredEncryptionCrypt
- StructuredEncryptionHeader
- StructuredEncryptionPaths
- StructuredEncryptionUtil
- TermLoc
- TransactGetItemsTransform
- TransactWriteItemsTransform
- UpdateItemTransform
- awscryptographydbencryptionsdkdynamodbitemencryptorsmithygenerated
- awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes
- awscryptographydbencryptionsdkdynamodbsmithygenerated
- awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes
- awscryptographydbencryptionsdkdynamodbtransformssmithygenerated
- awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes
- awscryptographydbencryptionsdkstructuredencryptionsmithygenerated
- awscryptographydbencryptionsdkstructuredencryptionsmithygeneratedtypes
- dbesdkmiddleware
- dynamodb
- ComAmazonawsDynamodbTypes
- Com_Amazonaws_Dynamodb
- DynamoDBwrapped
- comamazonawsdynamodbsmithygenerated
- examples
- keyring
- utils
- kms
- ComAmazonawsKmsTypes
- Com_Amazonaws_Kms
- KMSwrapped
- comamazonawskmssmithygenerated
- mpl
- AlgorithmSuites
- AwsArnParsing
- AwsCryptographyKeyStoreOperations
- AwsCryptographyKeyStoreTypes
- AwsCryptographyMaterialProvidersOperations
- AwsCryptographyMaterialProvidersTypes
- AwsKmsDiscoveryKeyring
- AwsKmsEcdhKeyring
- AwsKmsHierarchicalKeyring
- AwsKmsKeyring
- AwsKmsMrkAreUnique
- AwsKmsMrkDiscoveryKeyring
- AwsKmsMrkKeyring
- AwsKmsMrkMatchForDecrypt
- AwsKmsRsaKeyring
- AwsKmsUtils
- CMM
- CacheConstants
- CanonicalEncryptionContext
- Commitment
- Constants
- CreateKeyStoreTable
- CreateKeys
- DDBKeystoreOperations
- DefaultCMM
- DefaultClientSupplier
- Defaults
- DiscoveryMultiKeyring
- EcdhEdkWrapping
- EdkWrapping
- ErrorMessages
- GetKeys
- IntermediateKeyWrapping
- KMSKeystoreOperations
- KeyStore
- KeyStoreErrorMessages
- Keyring
- KmsArn
- LocalCMC
- MaterialProviders
- MaterialWrapping
- Materials
- MrkAwareDiscoveryMultiKeyring
- MrkAwareStrictMultiKeyring
- MultiKeyring
- RawAESKeyring
- RawECDHKeyring
- RawRSAKeyring
- RequiredEncryptionContextCMM
- StormTracker
- StormTrackingCMC
- StrictMultiKeyring
- Structure
- SynchronizedLocalCMC
- Utils
- awscryptographykeystoresmithygenerated
- awscryptographykeystoresmithygeneratedtypes
- awscryptographymaterialproviderssmithygenerated
- awscryptographymaterialproviderssmithygeneratedtypes
- primitives
- AESEncryption
- AesKdfCtr
- AtomicPrimitives
- AwsCryptographyPrimitivesOperations
- AwsCryptographyPrimitivesTypes
- Digest
- ECDH
- ExternDigest
- ExternRandom
- HKDF
- HMAC
- KdfCtr
- RSAEncryption
- Random
- Signature
- WrappedHKDF
- WrappedHMAC
- awscryptographyprimitivessmithygenerated
- awscryptographyprimitivessmithygeneratedtypes
- smithy-dafny-standard-library
- Actions
- Base64
- Base64Lemmas
- BoundedInts
- ConcurrentCall
- DafnyLibraries
- DivInternals
- DivInternalsNonlinear
- DivMod
- FileIO
- FloatCompare
- Functions
- GeneralInternals
- GetOpt
- HexStrings
- JSON_API
- JSON_ConcreteSyntax_Spec
- JSON_ConcreteSyntax_SpecProperties
- JSON_Deserializer
- JSON_Deserializer_ByteStrConversion
- JSON_Deserializer_Uint16StrConversion
- JSON_Errors
- JSON_Grammar
- JSON_Serializer
- JSON_Serializer_ByteStrConversion
- JSON_Spec
- JSON_Utils_Cursors
- JSON_Utils_Lexers_Core
- JSON_Utils_Lexers_Strings
- JSON_Utils_Parsers
- JSON_Utils_Seq
- JSON_Utils_Str
- JSON_Utils_Str_CharStrConversion
- JSON_Utils_Str_CharStrEscaping
- JSON_Utils_Vectors
- JSON_Utils_Views_Core
- JSON_Utils_Views_Writers
- JSON_Values
- JSON_ZeroCopy_API
- JSON_ZeroCopy_Deserializer
- JSON_ZeroCopy_Deserializer_API
- JSON_ZeroCopy_Deserializer_ArrayParams
- JSON_ZeroCopy_Deserializer_Arrays
- JSON_ZeroCopy_Deserializer_Constants
- JSON_ZeroCopy_Deserializer_Core
- JSON_ZeroCopy_Deserializer_Numbers
- JSON_ZeroCopy_Deserializer_ObjectParams
- JSON_ZeroCopy_Deserializer_Objects
- JSON_ZeroCopy_Deserializer_Strings
- JSON_ZeroCopy_Deserializer_Values
- JSON_ZeroCopy_Serializer
- Logarithm
- Math_
- MemoryMath
- ModInternals
- ModInternalsNonlinear
- Mul
- MulInternals
- MulInternalsNonlinear
- OsLang
- Power
- Relations
- Seq
- Seq_MergeSort
- SortedSets
- Sorting
- StandardLibrary
- StandardLibraryInterop
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
318 files changed
+0
-276920
lines changed1.32 MBBinary file not shown.
Lines changed: 0 additions & 407 deletions
This file was deleted.
Lines changed: 0 additions & 1323 deletions
This file was deleted.
Lines changed: 0 additions & 1561 deletions
This file was deleted.
Lines changed: 0 additions & 618 deletions
This file was deleted.
Lines changed: 0 additions & 611 deletions
This file was deleted.
Lines changed: 0 additions & 6313 deletions
This file was deleted.
Lines changed: 0 additions & 6432 deletions
This file was deleted.
Lines changed: 0 additions & 1685 deletions
This file was deleted.
Lines changed: 0 additions & 2956 deletions
This file was deleted.
Lines changed: 0 additions & 1172 deletions
This file was deleted.
Lines changed: 0 additions & 397 deletions
This file was deleted.
Lines changed: 0 additions & 445 deletions
This file was deleted.
Lines changed: 0 additions & 636 deletions
This file was deleted.
Lines changed: 0 additions & 642 deletions
This file was deleted.
Lines changed: 0 additions & 1841 deletions
This file was deleted.
Lines changed: 0 additions & 649 deletions
This file was deleted.
Lines changed: 0 additions & 578 deletions
This file was deleted.
Lines changed: 0 additions & 951 deletions
This file was deleted.
Lines changed: 0 additions & 447 deletions
This file was deleted.
Lines changed: 0 additions & 4255 deletions
This file was deleted.
Lines changed: 0 additions & 1036 deletions
This file was deleted.
Lines changed: 0 additions & 423 deletions
This file was deleted.
Lines changed: 0 additions & 433 deletions
This file was deleted.
Lines changed: 0 additions & 909 deletions
This file was deleted.
Lines changed: 0 additions & 692 deletions
This file was deleted.
Lines changed: 0 additions & 595 deletions
This file was deleted.
Lines changed: 0 additions & 667 deletions
This file was deleted.
Lines changed: 0 additions & 609 deletions
This file was deleted.
Lines changed: 0 additions & 619 deletions
This file was deleted.
Lines changed: 0 additions & 465 deletions
This file was deleted.
Lines changed: 0 additions & 1872 deletions
This file was deleted.
Lines changed: 0 additions & 389 deletions
This file was deleted.
Lines changed: 0 additions & 396 deletions
This file was deleted.
Lines changed: 0 additions & 402 deletions
This file was deleted.
Lines changed: 0 additions & 349 deletions
This file was deleted.
Lines changed: 0 additions & 51 deletions
This file was deleted.
Lines changed: 0 additions & 353 deletions
This file was deleted.
Lines changed: 0 additions & 661 deletions
This file was deleted.
Lines changed: 0 additions & 508 deletions
This file was deleted.
Lines changed: 0 additions & 520 deletions
This file was deleted.
Lines changed: 0 additions & 511 deletions
This file was deleted.
Lines changed: 0 additions & 1942 deletions
This file was deleted.
Lines changed: 0 additions & 2161 deletions
This file was deleted.
Lines changed: 0 additions & 351 deletions
This file was deleted.
Lines changed: 0 additions & 347 deletions
This file was deleted.
Lines changed: 0 additions & 473 deletions
This file was deleted.
Lines changed: 0 additions & 602 deletions
This file was deleted.
Lines changed: 0 additions & 897 deletions
This file was deleted.
Lines changed: 0 additions & 1622 deletions
This file was deleted.
Lines changed: 0 additions & 519 deletions
This file was deleted.
Lines changed: 0 additions & 1056 deletions
This file was deleted.
Lines changed: 0 additions & 883 deletions
This file was deleted.
Lines changed: 0 additions & 439 deletions
This file was deleted.
Lines changed: 0 additions & 566 deletions
This file was deleted.
Lines changed: 0 additions & 458 deletions
This file was deleted.
Lines changed: 0 additions & 68 deletions
This file was deleted.
0 commit comments