- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Hidden files and folders path like ".*/[.][a-zA-Z0-9_]+.*" 50 files: .prettierignore .releaserc.cjs ComAmazonawsKms/runtimes/java/.gitignore ComAmazonawsKms/runtimes/rust/.gitignore ComAmazonawsKms/runtimes/python/.gitignore ComAmazonawsKms/runtimes/net/.gitignore ComAmazonawsKms/.gitignore .github/workflows/ci_static-analysis.yaml .github/workflows/duvet.yaml .github/workflows/dafny_verify_version.yaml .github/workflows/dafny_version.yaml .github/not-grep.toml .github/PULL_REQUEST_TEMPLATE.md .gitignore ComAmazonawsDynamodb/runtimes/java/.gitignore ComAmazonawsDynamodb/runtimes/java/.gitattributes ComAmazonawsDynamodb/runtimes/rust/.gitignore ComAmazonawsDynamodb/runtimes/python/.gitignore ComAmazonawsDynamodb/.gitignore AwsCryptographicMaterialProviders/runtimes/java/.gitignore AwsCryptographicMaterialProviders/runtimes/java/.gitattributes AwsCryptographicMaterialProviders/runtimes/rust/.gitignore AwsCryptographicMaterialProviders/runtimes/python/.readthedocs.yaml AwsCryptographicMaterialProviders/runtimes/python/.gitignore AwsCryptographicMaterialProviders/runtimes/net/.gitignore AwsCryptographicMaterialProviders/runtimes/net/.editorconfig AwsCryptographicMaterialProviders/.gitignore AwsCryptographicMaterialProviders/dafny/AwsCryptographyKeyStore/.gitignore .gitmodules TestVectorsAwsCryptographicMaterialProviders/runtimes/java/.gitignore TestVectorsAwsCryptographicMaterialProviders/runtimes/java/.gitattributes TestVectorsAwsCryptographicMaterialProviders/runtimes/rust/.gitignore TestVectorsAwsCryptographicMaterialProviders/runtimes/python/.gitignore TestVectorsAwsCryptographicMaterialProviders/runtimes/net/.gitignore TestVectorsAwsCryptographicMaterialProviders/runtimes/net/.editorconfig TestVectorsAwsCryptographicMaterialProviders/.gitignore TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/.gitignore .pre-commit-config.yaml StandardLibrary/runtimes/java/.gitignore StandardLibrary/runtimes/java/.gitattributes StandardLibrary/runtimes/rust/.gitignore StandardLibrary/runtimes/python/.gitignore StandardLibrary/runtimes/net/.gitignore StandardLibrary/.gitignore AwsCryptographyPrimitives/runtimes/java/.gitignore AwsCryptographyPrimitives/runtimes/java/.gitattributes AwsCryptographyPrimitives/runtimes/rust/.gitignore AwsCryptographyPrimitives/runtimes/python/.gitignore AwsCryptographyPrimitives/runtimes/net/.gitignore AwsCryptographyPrimitives/.gitignore - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Dependencies path like ".*/extern(al)?/.*" 30 files: ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/extern/__init__.py ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/extern/Com_Amazonaws_Kms.py ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/extern/__init__.py ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/extern/Com_Amazonaws_Dynamodb.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/extern/StormTrackingCMC.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/extern/__init__.py AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/extern/SynchronizedLocalCMC.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/extern/wrapped_mpl.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptography_materialproviders_test_vectors/internaldafny/extern/__init__.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/extern/__init__.py TestVectorsAwsCryptographicMaterialProviders/runtimes/python/test/internaldafny/extern/GetTestDirectoryExtern.py StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/UTF8.py StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/DafnyLibraries.py StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/Time.py StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/__init__.py StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/UUID.py StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/ConcurrentCall.py StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/OsLang.py StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/extern/SortedSets.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/HMAC.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/Signature.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/__init__.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/ExternRandom.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/ExternDigest.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/RSAEncryption.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/AesKdfCtr.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/AESEncryption.py AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/extern/ECDH.py AwsCryptographyPrimitives/runtimes/python/test/internaldafny/extern/__init__.py AwsCryptographyPrimitives/runtimes/python/test/internaldafny/extern/ECDH.py - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Too long lines (1000+ characters) 18 files: releases/go/primitives/KdfCtr/KdfCtr.go releases/go/mpl/AlgorithmSuites/AlgorithmSuites.go releases/go/mpl/RawAESKeyring/RawAESKeyring.go releases/go/mpl/Materials/Materials.go releases/go/mpl/Structure/Structure.go releases/go/smithy-dafny-standard-library/JSON_Deserializer/JSON_Deserializer.go releases/go/smithy-dafny-standard-library/GetOpt/GetOpt.go releases/go/smithy-dafny-standard-library/JSON_Utils_Str/JSON_Utils_Str.go releases/go/smithy-dafny-standard-library/UTF8/UTF8.go releases/go/kms/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsKms/Model/kms/model.json ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go ComAmazonawsKms/runtimes/net/Generated/TypeConversion.cs AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs TestVectorsAwsCryptographicMaterialProviders/runtimes/python/keys.json TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/test/keys.json - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Too many lines (10000) 11 files: releases/go/mpl/AwsCryptographyMaterialProvidersTypes/AwsCryptographyMaterialProvidersTypes.go releases/go/kms/ComAmazonawsKmsTypes/ComAmazonawsKmsTypes.go releases/go/dynamodb/comamazonawsdynamodbsmithygenerated/to_dafny.go releases/go/dynamodb/comamazonawsdynamodbsmithygenerated/to_native.go ComAmazonawsDynamodb/Model/dynamodb/model.json ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToDafny.java ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/aws_sdk_to_dafny.py ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Gradle path like ".*/gradle/wrapper/.*" 6 files: ComAmazonawsKms/runtimes/java/gradle/wrapper/gradle-wrapper.properties ComAmazonawsDynamodb/runtimes/java/gradle/wrapper/gradle-wrapper.properties AwsCryptographicMaterialProviders/runtimes/java/gradle/wrapper/gradle-wrapper.properties TestVectorsAwsCryptographicMaterialProviders/runtimes/java/gradle/wrapper/gradle-wrapper.properties StandardLibrary/runtimes/java/gradle/wrapper/gradle-wrapper.properties AwsCryptographyPrimitives/runtimes/java/gradle/wrapper/gradle-wrapper.properties - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Too long file (1000000+ bytes) 4 files: releases/go/dynamodb/ComAmazonawsDynamodbTypes/ComAmazonawsDynamodbTypes.go ComAmazonawsDynamodb/runtimes/net/Generated/TypeConversion.cs TestVectorsAwsCryptographicMaterialProviders/dafny/TestVectorsAwsCryptographicMaterialProviders/test/test.json git-history.txt - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - Sokrates conventions and configurations path like ".*/sokrates_.*?[.]json" 1 files: sokrates_conventions.json - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -