Skip to content

Commit fb18ea5

Browse files
imabhichowimabhichow
authored
chore(python): revert dafny version in *.dtr files (#1601)
1 parent 5c689c2 commit fb18ea5

File tree

7 files changed

+7
-215
lines changed
  • AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated
  • AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated
  • ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated
  • ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated
  • StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated
  • TestVectorsAwsCryptographicMaterialProviders/runtimes/python

7 files changed

+7
-215
lines changed

‎AwsCryptographicMaterialProviders/runtimes/python/src/aws_cryptographic_material_providers/internaldafny/generated/dafny_src-py.dtr‎

Lines changed: 1 addition & 60 deletions
Original file line numberDiff line numberDiff line change
@@ -1,238 +1,179 @@
11
file_format_version = "1.0"
2-
dafny_version = "4.9.2.0"
2+
dafny_version = "4.9.0.0"
33
[options_by_module.AwsCryptographyKeyStoreTypes]
44
legacy-module-names = false
55
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
6-
rust-sync = false
76
[options_by_module.AbstractAwsCryptographyKeyStoreOperations]
87
legacy-module-names = false
98
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
10-
rust-sync = false
119
[options_by_module.AbstractAwsCryptographyKeyStoreService]
1210
legacy-module-names = false
1311
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
14-
rust-sync = false
1512
[options_by_module.AwsCryptographyMaterialProvidersTypes]
1613
legacy-module-names = false
1714
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
18-
rust-sync = false
1915
[options_by_module.AwsArnParsing]
2016
legacy-module-names = false
2117
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
22-
rust-sync = false
2318
[options_by_module.AwsKmsMrkMatchForDecrypt]
2419
legacy-module-names = false
2520
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
26-
rust-sync = false
2721
[options_by_module.AwsKmsUtils]
2822
legacy-module-names = false
2923
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
30-
rust-sync = false
3124
[options_by_module.KeyStoreErrorMessages]
3225
legacy-module-names = false
3326
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
34-
rust-sync = false
3527
[options_by_module.KmsArn]
3628
legacy-module-names = false
3729
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
38-
rust-sync = false
3930
[options_by_module.Structure]
4031
legacy-module-names = false
4132
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
42-
rust-sync = false
4333
[options_by_module.KMSKeystoreOperations]
4434
legacy-module-names = false
4535
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
46-
rust-sync = false
4736
[options_by_module.DDBKeystoreOperations]
4837
legacy-module-names = false
4938
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
50-
rust-sync = false
5139
[options_by_module.CreateKeys]
5240
legacy-module-names = false
5341
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
54-
rust-sync = false
5542
[options_by_module.CreateKeyStoreTable]
5643
legacy-module-names = false
5744
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
58-
rust-sync = false
5945
[options_by_module.GetKeys]
6046
legacy-module-names = false
6147
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
62-
rust-sync = false
6348
[options_by_module.AwsCryptographyKeyStoreOperations]
6449
legacy-module-names = false
6550
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
66-
rust-sync = false
6751
[options_by_module.KeyStore]
6852
legacy-module-names = false
6953
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
70-
rust-sync = false
7154
[options_by_module.AbstractAwsCryptographyMaterialProvidersOperations]
7255
legacy-module-names = false
7356
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
74-
rust-sync = false
7557
[options_by_module.AbstractAwsCryptographyMaterialProvidersService]
7658
legacy-module-names = false
7759
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
78-
rust-sync = false
7960
[options_by_module.AlgorithmSuites]
8061
legacy-module-names = false
8162
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
82-
rust-sync = false
8363
[options_by_module.Materials]
8464
legacy-module-names = false
8565
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
86-
rust-sync = false
8766
[options_by_module.Keyring]
8867
legacy-module-names = false
8968
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
90-
rust-sync = false
9169
[options_by_module.CanonicalEncryptionContext]
9270
legacy-module-names = false
9371
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
94-
rust-sync = false
9572
[options_by_module.MaterialWrapping]
9673
legacy-module-names = false
9774
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
98-
rust-sync = false
9975
[options_by_module.IntermediateKeyWrapping]
10076
legacy-module-names = false
10177
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
102-
rust-sync = false
10378
[options_by_module.EdkWrapping]
10479
legacy-module-names = false
10580
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
106-
rust-sync = false
10781
[options_by_module.ErrorMessages]
10882
legacy-module-names = false
10983
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
110-
rust-sync = false
11184
[options_by_module.RawAESKeyring]
11285
legacy-module-names = false
11386
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
114-
rust-sync = false
11587
[options_by_module.Constants]
11688
legacy-module-names = false
11789
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
118-
rust-sync = false
11990
[options_by_module.EcdhEdkWrapping]
12091
legacy-module-names = false
12192
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
122-
rust-sync = false
12393
[options_by_module.RawECDHKeyring]
12494
legacy-module-names = false
12595
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
126-
rust-sync = false
12796
[options_by_module.RawRSAKeyring]
12897
legacy-module-names = false
12998
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
130-
rust-sync = false
13199
[options_by_module.AwsKmsKeyring]
132100
legacy-module-names = false
133101
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
134-
rust-sync = false
135102
[options_by_module.AwsKmsDiscoveryKeyring]
136103
legacy-module-names = false
137104
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
138-
rust-sync = false
139105
[options_by_module.AwsKmsEcdhKeyring]
140106
legacy-module-names = false
141107
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
142-
rust-sync = false
143108
[options_by_module.LocalCMC]
144109
legacy-module-names = false
145110
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
146-
rust-sync = false
147111
[options_by_module.SynchronizedLocalCMC]
148112
legacy-module-names = false
149113
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
150-
rust-sync = false
151114
[options_by_module.StormTracker]
152115
legacy-module-names = false
153116
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
154-
rust-sync = false
155117
[options_by_module.StormTrackingCMC]
156118
legacy-module-names = false
157119
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
158-
rust-sync = false
159120
[options_by_module.CacheConstants]
160121
legacy-module-names = false
161122
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
162-
rust-sync = false
163123
[options_by_module.AwsKmsHierarchicalKeyring]
164124
legacy-module-names = false
165125
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
166-
rust-sync = false
167126
[options_by_module.AwsKmsMrkDiscoveryKeyring]
168127
legacy-module-names = false
169128
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
170-
rust-sync = false
171129
[options_by_module.AwsKmsMrkKeyring]
172130
legacy-module-names = false
173131
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
174-
rust-sync = false
175132
[options_by_module.AwsKmsRsaKeyring]
176133
legacy-module-names = false
177134
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
178-
rust-sync = false
179135
[options_by_module.MultiKeyring]
180136
legacy-module-names = false
181137
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
182-
rust-sync = false
183138
[options_by_module.AwsKmsMrkAreUnique]
184139
legacy-module-names = false
185140
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
186-
rust-sync = false
187141
[options_by_module.StrictMultiKeyring]
188142
legacy-module-names = false
189143
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
190-
rust-sync = false
191144
[options_by_module.DiscoveryMultiKeyring]
192145
legacy-module-names = false
193146
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
194-
rust-sync = false
195147
[options_by_module.MrkAwareDiscoveryMultiKeyring]
196148
legacy-module-names = false
197149
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
198-
rust-sync = false
199150
[options_by_module.MrkAwareStrictMultiKeyring]
200151
legacy-module-names = false
201152
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
202-
rust-sync = false
203153
[options_by_module.CMM]
204154
legacy-module-names = false
205155
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
206-
rust-sync = false
207156
[options_by_module.Defaults]
208157
legacy-module-names = false
209158
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
210-
rust-sync = false
211159
[options_by_module.Commitment]
212160
legacy-module-names = false
213161
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
214-
rust-sync = false
215162
[options_by_module.DefaultCMM]
216163
legacy-module-names = false
217164
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
218-
rust-sync = false
219165
[options_by_module.DefaultClientSupplier]
220166
legacy-module-names = false
221167
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
222-
rust-sync = false
223168
[options_by_module.Utils]
224169
legacy-module-names = false
225170
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
226-
rust-sync = false
227171
[options_by_module.RequiredEncryptionContextCMM]
228172
legacy-module-names = false
229173
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
230-
rust-sync = false
231174
[options_by_module.AwsCryptographyMaterialProvidersOperations]
232175
legacy-module-names = false
233176
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
234-
rust-sync = false
235177
[options_by_module.MaterialProviders]
236178
legacy-module-names = false
237179
python-module-name = "aws_cryptographic_material_providers.internaldafny.generated"
238-
rust-sync = false

‎AwsCryptographyPrimitives/runtimes/python/src/aws_cryptography_primitives/internaldafny/generated/dafny_src-py.dtr‎

Lines changed: 1 addition & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,78 +1,59 @@
11
file_format_version = "1.0"
2-
dafny_version = "4.9.2.0"
2+
dafny_version = "4.9.0.0"
33
[options_by_module.AwsCryptographyPrimitivesTypes]
44
legacy-module-names = false
55
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
6-
rust-sync = false
76
[options_by_module.AbstractAwsCryptographyPrimitivesOperations]
87
legacy-module-names = false
98
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
10-
rust-sync = false
119
[options_by_module.AbstractAwsCryptographyPrimitivesService]
1210
legacy-module-names = false
1311
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
14-
rust-sync = false
1512
[options_by_module.ExternRandom]
1613
legacy-module-names = false
1714
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
18-
rust-sync = false
1915
[options_by_module.Random]
2016
legacy-module-names = false
2117
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
22-
rust-sync = false
2318
[options_by_module.AESEncryption]
2419
legacy-module-names = false
2520
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
26-
rust-sync = false
2721
[options_by_module.ExternDigest]
2822
legacy-module-names = false
2923
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
30-
rust-sync = false
3124
[options_by_module.Digest]
3225
legacy-module-names = false
3326
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
34-
rust-sync = false
3527
[options_by_module.HMAC]
3628
legacy-module-names = false
3729
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
38-
rust-sync = false
3930
[options_by_module.WrappedHMAC]
4031
legacy-module-names = false
4132
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
42-
rust-sync = false
4333
[options_by_module.HKDF]
4434
legacy-module-names = false
4535
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
46-
rust-sync = false
4736
[options_by_module.WrappedHKDF]
4837
legacy-module-names = false
4938
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
50-
rust-sync = false
5139
[options_by_module.Signature]
5240
legacy-module-names = false
5341
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
54-
rust-sync = false
5542
[options_by_module.KdfCtr]
5643
legacy-module-names = false
5744
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
58-
rust-sync = false
5945
[options_by_module.RSAEncryption]
6046
legacy-module-names = false
6147
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
62-
rust-sync = false
6348
[options_by_module.ECDH]
6449
legacy-module-names = false
6550
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
66-
rust-sync = false
6751
[options_by_module.AwsCryptographyPrimitivesOperations]
6852
legacy-module-names = false
6953
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
70-
rust-sync = false
7154
[options_by_module.AtomicPrimitives]
7255
legacy-module-names = false
7356
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
74-
rust-sync = false
7557
[options_by_module.AesKdfCtr]
7658
legacy-module-names = false
7759
python-module-name = "aws_cryptography_primitives.internaldafny.generated"
78-
rust-sync = false

‎ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/internaldafny/generated/dafny_src-py.dtr‎

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,14 @@
11
file_format_version = "1.0"
2-
dafny_version = "4.9.2.0"
2+
dafny_version = "4.9.0.0"
33
[options_by_module.ComAmazonawsDynamodbTypes]
44
legacy-module-names = false
55
python-module-name = "aws_cryptography_internal_dynamodb.internaldafny.generated"
6-
rust-sync = false
76
[options_by_module.AbstractComAmazonawsDynamodbService]
87
legacy-module-names = false
98
python-module-name = "aws_cryptography_internal_dynamodb.internaldafny.generated"
10-
rust-sync = false
119
[options_by_module.AbstractComAmazonawsDynamodbOperations]
1210
legacy-module-names = false
1311
python-module-name = "aws_cryptography_internal_dynamodb.internaldafny.generated"
14-
rust-sync = false
1512
[options_by_module."Com.Amazonaws.Dynamodb"]
1613
legacy-module-names = false
1714
python-module-name = "aws_cryptography_internal_dynamodb.internaldafny.generated"
18-
rust-sync = false

‎ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/internaldafny/generated/dafny_src-py.dtr‎

Lines changed: 1 addition & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,18 +1,14 @@
11
file_format_version = "1.0"
2-
dafny_version = "4.9.2.0"
2+
dafny_version = "4.9.0.0"
33
[options_by_module.ComAmazonawsKmsTypes]
44
legacy-module-names = false
55
python-module-name = "aws_cryptography_internal_kms.internaldafny.generated"
6-
rust-sync = false
76
[options_by_module.AbstractComAmazonawsKmsService]
87
legacy-module-names = false
98
python-module-name = "aws_cryptography_internal_kms.internaldafny.generated"
10-
rust-sync = false
119
[options_by_module.AbstractComAmazonawsKmsOperations]
1210
legacy-module-names = false
1311
python-module-name = "aws_cryptography_internal_kms.internaldafny.generated"
14-
rust-sync = false
1512
[options_by_module."Com.Amazonaws.Kms"]
1613
legacy-module-names = false
1714
python-module-name = "aws_cryptography_internal_kms.internaldafny.generated"
18-
rust-sync = false

0 commit comments

Comments
 (0)