File tree
317 files changed
+276920
-0
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
- StandardLibrary_MemoryMath
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
317 files changed
+276920
-0
lines changedLines changed: 407 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 1323 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 1561 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 618 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 611 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 6313 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 6432 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 1685 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 2956 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 1172 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 397 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 445 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 636 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 642 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 1841 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 649 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 578 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 951 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 447 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 4255 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 1036 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 423 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 433 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 909 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 692 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 595 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 667 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 609 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 619 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 465 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 1872 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 389 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 396 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 402 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 349 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 51 additions & 0 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
| 1 | + | |
| 2 | + | |
| 3 | + | |
| 4 | + | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
| 16 | + | |
| 17 | + | |
| 18 | + | |
| 19 | + | |
| 20 | + | |
| 21 | + | |
| 22 | + | |
| 23 | + | |
| 24 | + | |
| 25 | + | |
| 26 | + | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + |
Lines changed: 353 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 661 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 508 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 520 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 511 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 1942 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 2161 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 351 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 347 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 473 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 602 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 897 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 1622 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 519 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 1056 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 883 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 439 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 566 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 458 additions & 0 deletions
Large diffs are not rendered by default.
Lines changed: 68 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.
0 commit comments