File tree
181 files changed
+1
-134582
lines changed- DynamoDbEncryption
- runtimes/go
- ImplementationFromDafny-go
- AttributeResolver
- AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations
- AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypes
- AwsCryptographyDbEncryptionSdkDynamoDbOperations
- AwsCryptographyDbEncryptionSdkDynamoDbTransformsOperations
- AwsCryptographyDbEncryptionSdkDynamoDbTransformsTypes
- AwsCryptographyDbEncryptionSdkDynamoDbTypes
- AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations
- AwsCryptographyDbEncryptionSdkStructuredEncryptionTypes
- BaseBeacon
- BatchExecuteStatementTransform
- BatchGetItemTransform
- BatchWriteItemTransform
- Canonize
- CompoundBeacon
- DdbMiddlewareConfig
- DdbStatement
- DdbVirtualFields
- DeleteItemTransform
- DynamoDBFilterExpr
- DynamoDBSupport
- DynamoDbEncryptionBranchKeyIdSupplier
- DynamoDbEncryptionTransforms
- DynamoDbEncryptionUtil
- DynamoDbEncryption
- DynamoDbItemEncryptorUtil
- DynamoDbItemEncryptor
- DynamoDbMiddlewareSupport
- DynamoDbNormalizeNumber
- DynamoDbUpdateExpr
- DynamoToStruct
- ExecuteStatementTransform
- ExecuteTransactionTransform
- GetItemTransform
- InternalLegacyOverride
- Maps_
- MemoryMath
- OptimizedMergeSort
- PutItemTransform
- QueryTransform
- ScanTransform
- SearchConfigToInfo
- SearchableEncryptionInfo
- Sets
- SortCanon
- StructuredEncryptionCrypt
- StructuredEncryptionHeader
- StructuredEncryptionPaths
- StructuredEncryptionUtil
- StructuredEncryption
- TermLoc
- TransactGetItemsTransform
- TransactWriteItemsTransform
- UpdateItemTransform
- WrappedAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorService
- WrappedAwsCryptographyDbEncryptionSdkDynamoDbService
- WrappedAwsCryptographyDbEncryptionSdkDynamoDbTransformsService
- WrappedAwsCryptographyDbEncryptionSdkStructuredEncryptionService
- awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes
- awscryptographydbencryptionsdkdynamodbitemencryptorsmithygenerated
- awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes
- awscryptographydbencryptionsdkdynamodbsmithygenerated
- awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes
- awscryptographydbencryptionsdkdynamodbtransformssmithygenerated
- awscryptographydbencryptionsdkstructuredencryptionsmithygeneratedtypes
- awscryptographydbencryptionsdkstructuredencryptionsmithygenerated
- TestsFromDafny-go
- BatchExecuteStatementTransformTest
- BatchGetItemTransformTest
- BatchWriteItemTransformTest
- BeaconTestFixtures
- DdbStatementTest
- DeleteItemTransformTest
- DynamoDbEncryptionBranchKeyIdSupplierTest
- DynamoDbGetEncryptedDataKeyDescriptionTest
- DynamoDbItemEncryptorTest
- DynamoToStructTest
- ExecuteStatementTransformTest
- ExecuteTransactionTransformTest
- GetItemTransformTest
- HappyCaseTests
- PathsTests
- PutItemTransformTest
- QueryTransformTest
- ScanTransformTest
- StructuredDataTestFixtures
- TestBaseBeacon
- TestDDBSupport
- TestDdbVirtualFields
- TestDynamoDBConfigToInfo
- TestDynamoDBFilterExpr
- TestFixtures
- TestHeader
- TestNormalizeNumber
- TestStructuredEncryptionCrypt
- TestUpdateExpr
- TransactGetItemsTransformTest
- TransactWriteItemsTransformTest
- UpdateItemTransformTest
- WrappedAwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorService
- WrappedAwsCryptographyDbEncryptionSdkDynamoDbService
- WrappedAwsCryptographyDbEncryptionSdkDynamoDbTransformsService
- WrappedAwsCryptographyDbEncryptionSdkStructuredEncryptionService
- awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes
- awscryptographydbencryptionsdkdynamodbitemencryptorsmithygenerated
- awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes
- awscryptographydbencryptionsdkdynamodbsmithygenerated
- awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes
- awscryptographydbencryptionsdkdynamodbtransformssmithygenerated
- awscryptographydbencryptionsdkstructuredencryptionsmithygeneratedtypes
- awscryptographydbencryptionsdkstructuredencryptionsmithygenerated
- TestVectors/runtimes/go
- ImplementationFromDafny-go
- CreateInterceptedDDBClient
- CreateWrappedItemEncryptor
- DdbEncryptionTestVectors
- DdbItemJson
- DecryptManifest
- EncryptManifest
- JsonConfig
- Permutations
- WrappedDDBEncryptionMain
- WrappedDynamoDbEncryption
- WrappedItemEncryptor
- WriteManifest
- WriteSetPermutations
- TestsFromDafny-go
- TestWrappedDDBEncryptionMain
- submodules
Some content is hidden
Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.
181 files changed
+1
-134582
lines changedLines changed: 0 additions & 17 deletions
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
189 | 189 |
| |
190 | 190 |
| |
191 | 191 |
| |
192 |
| - | |
193 |
| - | |
194 |
| - | |
195 |
| - | |
196 |
| - | |
197 |
| - | |
198 |
| - | |
199 |
| - | |
200 |
| - | |
201 |
| - | |
202 |
| - | |
203 |
| - | |
204 |
| - | |
205 |
| - | |
206 |
| - | |
207 |
| - | |
208 |
| - |
Lines changed: 0 additions & 407 deletions
This file was deleted.
This file was deleted.
This file was deleted.
Lines changed: 0 additions & 618 deletions
This file was deleted.
This file was deleted.
Lines changed: 0 additions & 6313 deletions
This file was deleted.
Lines changed: 0 additions & 6430 deletions
This file was deleted.
This file was deleted.
This file was deleted.
0 commit comments