- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.dfy files (102): DynamoDbEncryption/dafny/DynamoDbEncryption/Model/AwsCryptographyDbEncryptionSdkDynamoDbTypes.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/SearchInfo.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/Beacon.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/Util.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/NormalizeNumber.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/UpdateExpr.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/AwsCryptographyDbEncryptionSdkDynamoDbOperations.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/DynamoToStruct.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/DynamoDbEncryptionBranchKeyIdSupplier.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/ConfigToInfo.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/DDBSupport.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/Index.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/FilterExpr.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/Virtual.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/MemoryMath.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/TermLoc.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/src/CompoundBeacon.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/test/Beacon.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/test/NormalizeNumber.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/test/UpdateExpr.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/test/DynamoDbGetEncryptedDataKeyDescriptionTest.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/test/DynamoToStruct.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/test/ConfigToInfo.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/test/DDBSupport.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/test/BeaconTestFixtures.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/test/FilterExpr.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/test/Virtual.dfy DynamoDbEncryption/dafny/DynamoDbEncryption/test/DynamoDbEncryptionBranchKeyIdSupplierTest.dfy DynamoDbEncryption/dafny/DynamoDbItemEncryptor/Model/AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypes.dfy DynamoDbEncryption/dafny/DynamoDbItemEncryptor/src/Util.dfy DynamoDbEncryption/dafny/DynamoDbItemEncryptor/src/InternalLegacyOverride.dfy DynamoDbEncryption/dafny/DynamoDbItemEncryptor/src/Index.dfy DynamoDbEncryption/dafny/DynamoDbItemEncryptor/src/AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorOperations.dfy DynamoDbEncryption/dafny/DynamoDbItemEncryptor/test/DynamoDBItemEncryptorTest.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/Model/AwsCryptographyDbEncryptionSdkDynamoDbTransformsTypes.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/DdbStatement.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/ExecuteTransactionTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/AwsCryptographyDbEncryptionSdkDynamoDbTransformsOperations.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/BatchWriteItemTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/TransactGetItemsTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/ExecuteStatementTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/BatchExecuteStatementTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/DdbMiddlewareConfig.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/GetItemTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/BatchGetItemTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/PutItemTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/Index.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/DeleteItemTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/UpdateItemTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/DynamoDbMiddlewareSupport.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/QueryTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/TransactWriteItemsTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/ScanTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/src/AttributeResolver.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/DdbStatement.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/ExecuteTransactionTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/BatchWriteItemTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/TransactGetItemsTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/ExecuteStatementTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/BatchExecuteStatementTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/GetItemTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/BatchGetItemTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/PutItemTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/DeleteItemTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/UpdateItemTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/QueryTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/TransactWriteItemsTransform.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/TestFixtures.dfy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/test/ScanTransform.dfy DynamoDbEncryption/dafny/StructuredEncryption/Model/AwsCryptographyDbEncryptionSdkStructuredEncryptionTypes.dfy DynamoDbEncryption/dafny/StructuredEncryption/src/Crypt.dfy DynamoDbEncryption/dafny/StructuredEncryption/src/Util.dfy DynamoDbEncryption/dafny/StructuredEncryption/src/Canonize.dfy DynamoDbEncryption/dafny/StructuredEncryption/src/Footer.dfy DynamoDbEncryption/dafny/StructuredEncryption/src/Paths.dfy DynamoDbEncryption/dafny/StructuredEncryption/src/Header.dfy DynamoDbEncryption/dafny/StructuredEncryption/src/OptimizedMergeSort.dfy DynamoDbEncryption/dafny/StructuredEncryption/src/Index.dfy DynamoDbEncryption/dafny/StructuredEncryption/src/SortCanon.dfy DynamoDbEncryption/dafny/StructuredEncryption/src/AwsCryptographyDbEncryptionSdkStructuredEncryptionOperations.dfy DynamoDbEncryption/dafny/StructuredEncryption/test/Crypt.dfy DynamoDbEncryption/dafny/StructuredEncryption/test/StructuredDataTestFixtures.dfy DynamoDbEncryption/dafny/StructuredEncryption/test/Paths.dfy DynamoDbEncryption/dafny/StructuredEncryption/test/Header.dfy DynamoDbEncryption/dafny/StructuredEncryption/test/HappyCaseTests.dfy TestVectors/dafny/WrappedDynamoDbItemEncryptor/Model/AwsCryptographyDbEncryptionSdkDynamoDbItemEncryptorTypesWrapped.dfy TestVectors/dafny/WrappedDynamoDbItemEncryptor/src/Index.dfy TestVectors/dafny/DDBEncryption/Model/AwsCryptographyDbEncryptionSdkDynamoDbTypesWrapped.dfy TestVectors/dafny/DDBEncryption/Model/AwsCryptographyDynamoDbEncryptionTypesWrapped.dfy TestVectors/dafny/DDBEncryption/src/EncryptManifest.dfy TestVectors/dafny/DDBEncryption/src/CreateWrappedItemEncryptor.dfy TestVectors/dafny/DDBEncryption/src/WriteSetPermutations.dfy TestVectors/dafny/DDBEncryption/src/CreateInterceptedDDBClient.dfy TestVectors/dafny/DDBEncryption/src/DecryptManifest.dfy TestVectors/dafny/DDBEncryption/src/TestVectors.dfy TestVectors/dafny/DDBEncryption/src/WriteManifest.dfy TestVectors/dafny/DDBEncryption/src/Permute.dfy TestVectors/dafny/DDBEncryption/src/LibraryIndex.dfy TestVectors/dafny/DDBEncryption/src/JsonItem.dfy TestVectors/dafny/DDBEncryption/src/Index.dfy TestVectors/dafny/DDBEncryption/src/JsonConfig.dfy TestVectors/dafny/DDBEncryption/test/RunMain.dfy - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.yaml files (56): DynamoDbEncryption/codebuild/verify.yml DynamoDbEncryption/codebuild/release-prod.yml DynamoDbEncryption/codebuild/sign.yml DynamoDbEncryption/codebuild/release.yml DynamoDbEncryption/codebuild/release-staging.yml DynamoDbEncryption/codebuild/test-prod.yml .github/workflows/mpl_dependency_java_version.yml .github/workflows/mpl-head.yml .github/workflows/sem_ver.yml .github/workflows/ci_duvet.yml .github/workflows/library_rust_tests.yml .github/workflows/dafny_interop_examples_net.yml .github/workflows/ci_examples_java.yml .github/workflows/daily_ci.yml .github/workflows/dafny_interop_test_net.yml .github/workflows/manual.yml .github/workflows/smithy-diff.yml .github/workflows/library_format.yml .github/workflows/ci_todos.yml .github/workflows/dafny_interop_test_vector_net.yml .github/workflows/test_vector_verification.yml .github/workflows/ci_test_vector_net.yml .github/workflows/ci_test_vector_java.yml .github/workflows/check_only_key_word.yml .github/workflows/ci_test_latest_released_mpl_java.yml .github/workflows/nightly.yml .github/workflows/library_dafny_verification.yml .github/workflows/ci_test_net.yml .github/workflows/semantic_release.yml .github/workflows/pull.yml .github/workflows/mpl_head_version.yml .github/workflows/ci_static_analysis.yml .github/workflows/ci_codegen.yml .github/workflows/dafny_interop_java.yml .github/workflows/dafny_verify_version.yml .github/workflows/check-files.yml .github/workflows/dafny-interop.yml .github/workflows/dafny_interop_examples_java.yml .github/workflows/ci_examples_net.yml .github/workflows/dafny_interop_test_vector_java.yml .github/workflows/push.yml .github/workflows/ci_test_java.yml .github/workflows/dafny_version.yml .github/actions/install_smithy_dafny_codegen_dependencies/action.yml .github/actions/polymorph_codegen/action.yml .github/dependabot.yml codebuild/release/validate-release.yml codebuild/release/release-prod.yml codebuild/release/release.yml codebuild/staging/release-staging.yml codebuild/staging/validate-staging.yml cfn/CB-Staging.yml cfn/CA-Staging.yml cfn/CA-CI.yml cfn/net/CA-Staging.yml cfn/net/CB-Release.yml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *. files (10): DynamoDbEncryption/Makefile DynamoDbEncryption/runtimes/java/gradlew Examples/Makefile Examples/runtimes/java/DynamoDbEncryption/gradlew Examples/runtimes/java/Migration/PlaintextToAWSDBE/gradlew Examples/runtimes/java/Migration/DDBECToAWSDBE/gradlew Makefile TestVectors/Makefile .github/CODEOWNERS NOTICE - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.smithy files (5): DynamoDbEncryption/dafny/DynamoDbEncryption/Model/DynamoDbEncryption.smithy DynamoDbEncryption/dafny/DynamoDbItemEncryptor/Model/DynamoDbItemEncryptor.smithy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/Model/transforms.smithy DynamoDbEncryption/dafny/DynamoDbEncryptionTransforms/Model/DynamoDbEncryptionTransforms.smithy DynamoDbEncryption/dafny/StructuredEncryption/Model/StructuredEncryption.smithy - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.sln files (1): DynamoDbEncryption/runtimes/net/DynamoDbEncryption.sln - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -