2 files changed
+3
-3
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
68 | 68 | | |
69 | 69 | | |
70 | 70 | | |
71 | | - | |
| 71 | + | |
72 | 72 | | |
73 | 73 | | |
74 | 74 | | |
75 | 75 | | |
76 | 76 | | |
77 | | - | |
| 77 | + | |
78 | 78 | | |
79 | 79 | | |
80 | 80 | | |
| |||
Submodule MaterialProviders updated 32 files
- .github/workflows/smithy-diff.yml+7-4
- AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/AwsCryptographyMaterialProvidersTypes.dfy+3-1
- AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/cryptographic-materials-cache.smithy+3-1
- AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/Model/keyrings.smithy+4-1
- AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/AwsCryptographyMaterialProvidersOperations.dfy+76-11
- AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/CMCs/CacheConstants.dfy+23
- AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/src/Keyrings/AwsKms/AwsKmsHierarchicalKeyring.dfy+140-33
- AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders/test/Keyrings/AwsKms/AwsKmsHierarchicalKeyring/TestAwsKmsHierarchicalKeyring.dfy+512-4
- AwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts+1-1
- AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToDafny.java+19-1
- AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/ToNative.java+12
- AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CacheType.java+38
- AwsCryptographicMaterialProviders/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/materialproviders/model/CreateAwsKmsHierarchicalKeyringInput.java+39-4
- AwsCryptographicMaterialProviders/runtimes/net/AssemblyInfo.cs+1-1
- AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CacheType.cs+12-1
- AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/CreateAwsKmsHierarchicalKeyringInput.cs+10
- AwsCryptographicMaterialProviders/runtimes/net/Generated/AwsCryptographicMaterialProviders/TypeConversion.cs+48-21
- AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj+1-1
- AwsCryptographyPrimitives/runtimes/net/AssemblyInfo.cs+1-1
- AwsCryptographyPrimitives/runtimes/net/Crypto.csproj+1-1
- CHANGELOG.md+6
- ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs+1-1
- ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj+1-1
- ComAmazonawsKms/runtimes/net/AWS-KMS.csproj+1-1
- ComAmazonawsKms/runtimes/net/AssemblyInfo.cs+1-1
- StandardLibrary/runtimes/net/AssemblyInfo.cs+1-1
- StandardLibrary/runtimes/net/STD.csproj+1-1
- TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/CreateStaticKeyStores.dfy+11-3
- TestVectorsAwsCryptographicMaterialProviders/dafny/KeyVectors/src/KeyringFromKeyDescription.dfy+2-1
- TestVectorsAwsCryptographicMaterialProviders/runtimes/java/build.gradle.kts+2-2
- TestVectorsAwsCryptographicMaterialProviders/runtimes/net/Generated/TestVectorsAwsCryptographicMaterialProviders/TypeConversion.cs+41-14
- project.properties+1-1
0 commit comments