- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.dfy files (183): ComAmazonawsKms/Model/ComAmazonawsKmsTypes.dfy ComAmazonawsKms/src/Index.dfy ComAmazonawsKms/test/TestComAmazonawsKms.dfy ComAmazonawsDynamodb/Model/ComAmazonawsDynamodbTypes.dfy ComAmazonawsDynamodb/src/Index.dfy ComAmazonawsDynamodb/test/TestComAmazonawsDynamodb.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Utils.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/ErrorMessages.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/RawAESKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/RawECDHKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/RawRSAKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/Constants.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsRsaKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/MrkAwareStrictMultiKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsMrkMatchForDecrypt.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/MrkAwareDiscoveryMultiKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsMrkKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/StrictMultiKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsMrkDiscoveryKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/DiscoveryMultiKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsDiscoveryKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsMrkAreUnique.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsEcdhKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsUtils.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/MultiKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AlgorithmSuites.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Defaults.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/DefaultClientSupplier.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMMs/RequiredEncryptionContextCMM.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMMs/DefaultCMM.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Commitment.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/IntermediateKeyWrapping.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/MaterialWrapping.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/EcdhEdkWrapping.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/KeyWrapping/EdkWrapping.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsArnParsing.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Index.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Materials.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMM.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMCs/StormTrackingCMC.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMCs/StormTracker.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMCs/CacheConstants.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMCs/LocalCMC.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMCs/SynchronizedLocalCMC.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CanonicalEncryptionContext.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/TestEcdhCalculation.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/TestRawAESKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/TestMultiKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/AwsKms/TestAwsKmsEcdhKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/AwsKms/TestAwsKmsRsaKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/AwsKms/AwsKmsDiscoveryKeryring/TestAwsKmsEncryptedDataKeyFilter.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/AwsKms/AwsKmsHierarchicalKeyring/TestAwsKmsHierarchicalKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/TestRawRSAKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/TesRawECDHKeyring.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/TestUtils.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/TestDefaultClientProvider.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/TestIntermediateKeyWrapping.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/TestErrorMessages.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/CMCs/StormTracker.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/CMCs/LocalCMC.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/Model/AwsCryptographyKeyStoreTypes.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/AwsCryptographyKeyStoreOperations.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/Structure.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/ErrorMessages.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/GetKeys.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/KmsArn.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/CreateKeyStoreTable.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/Index.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/DDBKeystoreOperations.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/KMSKeystoreOperations.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/src/CreateKeys.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/TestLyingBranchKey.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/CleanupItems.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/TestVersionKey.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/TestDiscoveryGetKeys.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/TestConfig.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/Fixtures.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/TestCreateKeyStore.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/TestGetKeys.dfy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/test/TestCreateKeys.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/Model/AwsCryptographyMaterialProvidersTestVectorKeysTypes.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/KeysVectorOperations.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/CreateStaticKeyrings.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/CreateStaticKeyStores.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/KeyDescription.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/KeyMaterial.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/Index.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/KeyringFromKeyDescription.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/CmmFromKeyDescription.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypesWrapped.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/JSONHelpers.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/TestManifests.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllKmsRsa.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRequiredEncryptionContextCmm.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRawAES.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllKms.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllKmsMrkAware.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllKmsMrkAwareDiscovery.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllKmsEcdh.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/EncryptionContextUtils.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllHierarchy.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllAlgorithmSuites.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRawECDH.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllMulti.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllRawRSA.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/VectorsComposition/AllDefaultCmm.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/ParseJsonManifests.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/TestVectors.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/LibraryIndex.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/Index.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/WriteJsonManifests.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/TestVectorsUtils.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/CompleteVectors.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/src/MplManifestOptions.dfy TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/test/RunMain.dfy StandardLibrary/src/Streams.dfy StandardLibrary/src/UInt.dfy StandardLibrary/src/Sets.dfy StandardLibrary/src/FloatCompare.dfy StandardLibrary/src/StandardLibrary.dfy StandardLibrary/src/GetOpt.dfy StandardLibrary/src/WrappersInterop.dfy StandardLibrary/src/ConcurrentCall.dfy StandardLibrary/src/HexStrings.dfy StandardLibrary/src/Base64Lemmas.dfy StandardLibrary/src/Index.dfy StandardLibrary/src/Sequence.dfy StandardLibrary/src/UTF8.dfy StandardLibrary/src/OsLang.dfy StandardLibrary/src/String.dfy StandardLibrary/src/MemoryMath.dfy StandardLibrary/src/UUID.dfy StandardLibrary/src/Sorting.dfy StandardLibrary/src/Base64.dfy StandardLibrary/src/Time.dfy StandardLibrary/src/Actions.dfy StandardLibrary/test/FloatCompare.dfy StandardLibrary/test/TestString.dfy StandardLibrary/test/GetOpt.dfy StandardLibrary/test/ConcurrentCall.dfy StandardLibrary/test/HexStrings.dfy StandardLibrary/test/UTF8.dfy StandardLibrary/test/TestComputeSetToOrderedSequenceUInt8Less.dfy StandardLibrary/test/OsLang.dfy StandardLibrary/test/MemoryMath.dfy StandardLibrary/test/UUID.dfy StandardLibrary/test/TestComputeSetToOrderedSequenceCharLess.dfy StandardLibrary/test/Time.dfy AwsCryptographyPrimitives/Model/AwsCryptographyPrimitivesTypes.dfy AwsCryptographyPrimitives/src/AESEncryption.dfy AwsCryptographyPrimitives/src/KDF/KdfCtr.dfy AwsCryptographyPrimitives/src/HKDF/HMAC.dfy AwsCryptographyPrimitives/src/HKDF/HKDF.dfy AwsCryptographyPrimitives/src/Signature.dfy AwsCryptographyPrimitives/src/ConstantTime.dfy AwsCryptographyPrimitives/src/AesKdfCtr.dfy AwsCryptographyPrimitives/src/ECDH.dfy AwsCryptographyPrimitives/src/Index.dfy AwsCryptographyPrimitives/src/WrappedHKDF.dfy AwsCryptographyPrimitives/src/AwsCryptographyPrimitivesOperations.dfy AwsCryptographyPrimitives/src/WrappedHMAC.dfy AwsCryptographyPrimitives/src/Random.dfy AwsCryptographyPrimitives/src/RSAEncryption.dfy AwsCryptographyPrimitives/src/Digest.dfy AwsCryptographyPrimitives/test/TestDigest.dfy AwsCryptographyPrimitives/test/TestKDF.dfy AwsCryptographyPrimitives/test/TestECDH.dfy AwsCryptographyPrimitives/test/TestSignature.dfy AwsCryptographyPrimitives/test/TestRSA.dfy AwsCryptographyPrimitives/test/TestKDF_TestVectors.dfy AwsCryptographyPrimitives/test/TestHKDF_Rfc5869TestVectors.dfy AwsCryptographyPrimitives/test/ConstantTime.dfy AwsCryptographyPrimitives/test/TestGenerateRandomBytes.dfy AwsCryptographyPrimitives/test/TestAesKdfCtr.dfy AwsCryptographyPrimitives/test/TestAES.dfy AwsCryptographyPrimitives/test/TestHMAC.dfy AwsCryptographyPrimitives/test/TestAwsCryptographyPrimitivesHKDF.dfy AwsCryptographyPrimitives/test/TestAwsCryptographyPrimitivesHMAC.dfy - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.yaml files (85): ComAmazonawsKms/codebuild/verify.yml ComAmazonawsKms/codebuild/release-prod.yml ComAmazonawsKms/codebuild/release-python/validate.yml ComAmazonawsKms/codebuild/release-python/prod-release.yml ComAmazonawsKms/codebuild/release-python/test-release.yml ComAmazonawsKms/codebuild/sign.yml ComAmazonawsKms/codebuild/release.yml ComAmazonawsKms/codebuild/release-staging.yml ComAmazonawsKms/codebuild/test-prod.yml .github/workflows/todo-java-release.yml .github/workflows/sem_ver.yml .github/workflows/library_rust_tests.yml .github/workflows/library_python_tests.yml .github/workflows/todo-release.yml .github/workflows/daily_ci.yml .github/workflows/check_dafny_runtime_versions.yml .github/workflows/manual.yml .github/workflows/library_interop_tests.yml .github/workflows/smithy-diff.yml .github/workflows/library_format.yml .github/workflows/library_net_tests.yml .github/workflows/stale_issue.yml .github/workflows/library_dafny_verification.yml .github/workflows/semantic_release.yml .github/workflows/library_codegen.yml .github/workflows/pull.yml .github/workflows/check-files.yml .github/workflows/library_go_tests.yml .github/workflows/nightly_dafny.yml .github/workflows/push.yml .github/workflows/library_java_tests.yml .github/workflows/check_only_keyword.yml .github/actions/setup_dafny/action.yml .github/actions/install_smithy_dafny_codegen_dependencies/action.yml .github/actions/polymorph_codegen/action.yml .github/dependabot.yml ComAmazonawsDynamodb/codebuild/verify.yml ComAmazonawsDynamodb/codebuild/release-prod.yml ComAmazonawsDynamodb/codebuild/release-python/validate.yml ComAmazonawsDynamodb/codebuild/release-python/prod-release.yml ComAmazonawsDynamodb/codebuild/release-python/test-release.yml ComAmazonawsDynamodb/codebuild/sign.yml ComAmazonawsDynamodb/codebuild/release.yml ComAmazonawsDynamodb/codebuild/release-staging.yml ComAmazonawsDynamodb/codebuild/test-prod.yml AwsCryptographicMaterialProviders/codebuild/verify.yml AwsCryptographicMaterialProviders/codebuild/release-prod.yml AwsCryptographicMaterialProviders/codebuild/release-python/validate.yml AwsCryptographicMaterialProviders/codebuild/release-python/prod-release.yml AwsCryptographicMaterialProviders/codebuild/release-python/test-release.yml AwsCryptographicMaterialProviders/codebuild/sign.yml AwsCryptographicMaterialProviders/codebuild/release.yml AwsCryptographicMaterialProviders/codebuild/release-staging.yml AwsCryptographicMaterialProviders/codebuild/test-prod.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/CI-Bot.yml cfn/CB-Staging.yml cfn/CA-Staging.yml cfn/python/MPL-Python.yml cfn/CA-CI.yml cfn/net/CA-Staging.yml cfn/net/CB-Release.yml cfn/CB.yml StandardLibrary/codebuild/verify.yml StandardLibrary/codebuild/release-prod.yml StandardLibrary/codebuild/release-python/validate.yml StandardLibrary/codebuild/release-python/prod-release.yml StandardLibrary/codebuild/release-python/test-release.yml StandardLibrary/codebuild/sign.yml StandardLibrary/codebuild/release.yml StandardLibrary/codebuild/release-staging.yml StandardLibrary/codebuild/test-prod.yml AwsCryptographyPrimitives/codebuild/verify.yml AwsCryptographyPrimitives/codebuild/release-prod.yml AwsCryptographyPrimitives/codebuild/release-python/validate.yml AwsCryptographyPrimitives/codebuild/release-python/prod-release.yml AwsCryptographyPrimitives/codebuild/release-python/test-release.yml AwsCryptographyPrimitives/codebuild/sign.yml AwsCryptographyPrimitives/codebuild/release.yml AwsCryptographyPrimitives/codebuild/release-staging.yml AwsCryptographyPrimitives/codebuild/test-prod.yml - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.smithy files (27): model/traits.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/material-provider.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/cmms.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/cryptographic-materials-cache.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/structures.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/keyrings.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/identifiers.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/ddb.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/materials.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/suites.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/key-agreement-scheme.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/kms.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/commitment.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/key-store.smithy AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/Model/KeyStore.smithy TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/Model/key-vectors.smithy StandardLibrary/Model/stdlib.smithy AwsCryptographyPrimitives/Model/random.smithy AwsCryptographyPrimitives/Model/primitives.smithy AwsCryptographyPrimitives/Model/hmac.smithy AwsCryptographyPrimitives/Model/aes.smithy AwsCryptographyPrimitives/Model/signature.smithy AwsCryptographyPrimitives/Model/rsa.smithy AwsCryptographyPrimitives/Model/ecdh.smithy AwsCryptographyPrimitives/Model/digest.smithy AwsCryptographyPrimitives/Model/hkdf.smithy AwsCryptographyPrimitives/Model/kdf.smithy - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *. files (22): releases/go/primitives/LICENSE releases/go/mpl/LICENSE releases/go/smithy-dafny-standard-library/LICENSE releases/go/kms/LICENSE releases/go/dynamodb/LICENSE Makefile ComAmazonawsKms/Makefile ComAmazonawsKms/runtimes/java/gradlew .github/CODEOWNERS ComAmazonawsDynamodb/Makefile ComAmazonawsDynamodb/runtimes/java/gradlew AwsCryptographicMaterialProviders/Makefile AwsCryptographicMaterialProviders/runtimes/java/gradlew TestVectorsAwsCryptographicMaterialProviders/Makefile TestVectorsAwsCryptographicMaterialProviders/runtimes/java/gradlew LICENSE NOTICE StandardLibrary/Makefile StandardLibrary/runtimes/java/gradlew StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/NOTICE AwsCryptographyPrimitives/Makefile AwsCryptographyPrimitives/runtimes/java/gradlew - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.sum files (15): releases/go/primitives/go.sum releases/go/mpl/go.sum releases/go/smithy-dafny-standard-library/go.sum releases/go/kms/go.sum releases/go/dynamodb/go.sum ComAmazonawsKms/runtimes/go/TestsFromDafny-go/go.sum ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/go.sum ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/go.sum ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.sum TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.sum TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.sum StandardLibrary/runtimes/go/TestsFromDafny-go/go.sum StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.sum AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.sum AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/go.sum - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.dtr files (7): ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/generated/dafny_src-py.dtr TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/generated/dafny_test-py.dtr StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.sln files (5): ComAmazonawsKms/runtimes/net/AWS-KMS.sln ComAmazonawsDynamodb/runtimes/net/tests/TestComAmazonawsDynamodb.sln ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.sln StandardLibrary/runtimes/net/STD.sln AwsCryptographyPrimitives/runtimes/net/Crypto.sln - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.typed files (1): StandardLibrary/runtimes/python/libs/aws-cryptography-internal-smithy-python/smithy_python/py.typed - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -