- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.dfy files (46): TestVectors/dafny/TestVectors/Model/AwsCryptographyEncryptionSdkTypesWrapped.dfy TestVectors/dafny/TestVectors/src/EsdkTestManifests.dfy TestVectors/dafny/TestVectors/src/VectorsComposition/AllEsdkV4NoReqEc.dfy TestVectors/dafny/TestVectors/src/VectorsComposition/AllEsdkV5NoReqEc.dfy TestVectors/dafny/TestVectors/src/VectorsComposition/AllEsdkV5WithReqEc.dfy TestVectors/dafny/TestVectors/src/EsdkTestVectors.dfy TestVectors/dafny/TestVectors/src/LibraryIndex.dfy TestVectors/dafny/TestVectors/src/Index.dfy TestVectors/dafny/TestVectors/src/WriteVectors.dfy TestVectors/dafny/TestVectors/src/WriteEsdkJsonManifests.dfy TestVectors/dafny/TestVectors/src/EsdkManifestOptions.dfy TestVectors/dafny/TestVectors/src/ParseEsdkJsonManifest.dfy TestVectors/dafny/TestVectors/test/RunMain.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/Model/AwsCryptographyEncryptionSdkTypes.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/KeyDerivation.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/AwsEncryptionSdkOperations.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Serialize/Frames.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Serialize/EncryptionContext.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Serialize/SerializableTypes.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Serialize/EncryptedDataKeys.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Serialize/SharedHeaderFunctions.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Serialize/Header.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Serialize/V2HeaderBody.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Serialize/HeaderTypes.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Serialize/HeaderAuth.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Serialize/SerializeFunctions.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Serialize/V1HeaderBody.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/Index.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/MessageBody.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/src/EncryptDecrypt.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/test/TestRequiredEncryptionContext.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/test/TestCreateEsdkClient.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/test/TestEncryptDecrypt.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/test/Fixtures.dfy AwsEncryptionSDK/dafny/AwsEncryptionSdk/test/TestReproducedEncContext.dfy test/hkdf/HKDF.dfy test/StandardLibrary/UInt.dfy test/StandardLibrary/StandardLibrary.dfy test/StandardLibrary/Base64.dfy test/SDK/POCEncryptDecrypt.dfy test/SDK/Serialize/EncryptionContext.dfy test/SDK/Client/TestCommitmentPolicies.dfy test/Crypto/Digest.dfy test/Util/Streams.dfy test/Util/Sets.dfy test/Util/TestUtils.dfy - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.yaml files (40): .github/workflows/library_legacy_interop_test_vectors.yml .github/workflows/sem_ver.yml .github/workflows/library_rust_tests.yml .github/workflows/daily_ci.yml .github/workflows/dafny_interop_test_net.yml .github/workflows/manual.yml .github/workflows/library_interop_tests.yml .github/workflows/smithy-diff.yml .github/workflows/library_format.yml .github/workflows/library_interop_keyring_test_vectors.yml .github/workflows/dafny_interop_test_vector_net.yml .github/workflows/library_net_tests.yml .github/workflows/library_interop_mkp_test_vectors.yml .github/workflows/library_dafny_verification.yml .github/workflows/semantic_release.yml .github/workflows/library_codegen.yml .github/workflows/pull.yml .github/workflows/library_go_tests.yml .github/workflows/push.yml .github/workflows/dafny_interop.yml .github/workflows/library_java_tests.yml .github/workflows/check_only_keyword.yml .github/workflows/nighly_dafny.yml .github/actions/install_smithy_dafny_codegen_dependencies/action.yml .github/actions/polymorph_codegen/action.yml .github/dependabot.yml codebuild/dotnet/tests.yml codebuild/dotnet/generate-test-vectors.yml codebuild/dotnet/benchmark-windows.yml codebuild/dotnet/test-vectors.yml codebuild/dotnet/tests-windows.yml codebuild/dafny/verify.yml cfn/net/CA-Staging.yml cfn/net/CB-Release.yml AwsEncryptionSDK/codebuild/release/verify.yml AwsEncryptionSDK/codebuild/release/release-prod.yml AwsEncryptionSDK/codebuild/release/sign.yml AwsEncryptionSDK/codebuild/release/release.yml AwsEncryptionSDK/codebuild/release/release-staging.yml AwsEncryptionSDK/codebuild/release/test-prod.yml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *. files (9): releases/go/encryption-sdk/LICENSE Makefile TestVectors/Makefile .github/CODEOWNERS LICENSE NOTICE AwsEncryptionSDK/Makefile AwsEncryptionSDK/runtimes/java/gradlew test/hkdf/HKDFTest7OKM - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.sum files (7): releases/go/encryption-sdk/go.sum releases/go/encryption-sdk/examples/go.sum TestVectors/runtimes/go/TestsFromDafny-go/go.sum TestVectors/runtimes/go/ImplementationFromDafny-go/go.sum AwsEncryptionSDK/runtimes/go/examples/go.sum AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/go.sum AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/go.sum - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.dtr files (4): TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/internaldafny/generated/dafny_src-py.dtr TestVectors/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/internaldafny/generated/dafny_src-py.dtr AwsEncryptionSDK/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.gitkeep files (4): TestVectors/runtimes/rust/ciphertexts/.gitkeep TestVectors/runtimes/rust/plaintexts/.gitkeep TestVectors/dafny/TestVectors/test/ciphertexts/.gitkeep TestVectors/dafny/TestVectors/test/plaintexts/.gitkeep - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.bin files (4): AwsEncryptionSDK/runtimes/net/Examples/resources/v4DefaultRegionKmsKey.bin AwsEncryptionSDK/runtimes/net/Examples/resources/v4DefaultRegionMrkKey.bin AwsEncryptionSDK/runtimes/net/Examples/resources/defaultRegionMrkKey.bin AwsEncryptionSDK/runtimes/net/Examples/resources/defaultRegionKmsKey.bin - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.smithy files (1): AwsEncryptionSDK/dafny/AwsEncryptionSdk/Model/esdk.smithy - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.whl files (1): dist/aws_encryption_sdk-4.0.0-py2.py3-none-any.whl - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -