Skip to content

Commit 68e75fb

Browse files
josecorellajosecorella
authored
chore: regen code for 4.8.0 and bump mpl (#681)
1 parent 1839c53 commit 68e75fb

File tree

13 files changed

+168
-32
lines changed

13 files changed

+168
-32
lines changed

‎.github/actions/install_smithy_dafny_codegen_dependencies/action.yml

Lines changed: 21 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,21 @@
1+
#
2+
# This local action sets up code dependencies
3+
# to run Smithy-Dafny CI in GitHub Actions workflows.
4+
#
5+
6+
name: "Install Smithy-Dafny codegen dependencies"
7+
description: "Install Java package dependencies required to run Smithy-Dafny codegen"
8+
runs:
9+
using: "composite"
10+
steps:
11+
- name: Install smithy-dafny-codegen Rust dependencies locally
12+
uses: gradle/gradle-build-action@v2
13+
with:
14+
arguments: :codegen-client:pTML :codegen-core:pTML :rust-runtime:pTML
15+
build-root-directory: smithy-dafny/smithy-dafny-codegen-modules/smithy-rs
16+
17+
- name: Install smithy-dafny-codegen Python dependencies locally
18+
uses: gradle/gradle-build-action@v2
19+
with:
20+
arguments: :smithy-python-codegen:pTML
21+
build-root-directory: smithy-dafny/codegen/smithy-dafny-codegen-modules/smithy-python/codegen

‎.github/actions/polymorph_codegen/action.yml

Lines changed: 14 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -88,18 +88,20 @@ runs:
8888
make -C mpl/AwsCryptographicMaterialProviders setup_prettier
8989
make -C mpl/ComAmazonawsKms setup_prettier
9090
make -C mpl/ComAmazonawsDynamodb setup_prettier
91-
92-
- name: Regenerate Java code using smithy-dafny
93-
# npx seems to be unavailable on Windows GHA runners,
94-
# so we don't regenerate Java code on them either.
95-
if: runner.os != 'Windows'
96-
working-directory: ./${{ inputs.library }}
97-
shell: bash
98-
# smithy-dafny also formats generated code itself now,
99-
# so prettier is a necessary dependency.
100-
run: |
101-
make setup_prettier
102-
make polymorph_java ${{ steps.dependencies.outputs.PROJECT_DEPENDENCIES }}
91+
92+
# In the ESDK Dafny it does not make sense to run smithy dafny for java code
93+
# since the java esdk written natively and not through dafny
94+
#- name: Regenerate Java code using smithy-dafny
95+
# # npx seems to be unavailable on Windows GHA runners,
96+
# # so we don't regenerate Java code on them either.
97+
# if: runner.os != 'Windows'
98+
# working-directory: ./${{ inputs.library }}
99+
# shell: bash
100+
# # smithy-dafny also formats generated code itself now,
101+
# # so prettier is a necessary dependency.
102+
# run: |
103+
# make setup_prettier
104+
# make polymorph_java ${{ steps.dependencies.outputs.PROJECT_DEPENDENCIES }}
103105

104106
- name: Regenerate .NET code using smithy-dafny
105107
working-directory: ./${{ inputs.library }}

‎.github/workflows/library_codegen.yml

Lines changed: 10 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ jobs:
3838
# it to verify the Dafny code. Instead we manually pull the submodules we DO need.
3939
- run: git submodule update --init libraries
4040
- run: git submodule update --init --recursive mpl
41-
- run: git submodule update --init smithy-dafny
41+
- run: git submodule update --init --recursive smithy-dafny
4242

4343
# Only used to format generated code
4444
# and to translate version strings such as "nightly-latest"
@@ -53,6 +53,15 @@ jobs:
5353
with:
5454
dotnet-version: ${{ matrix.dotnet-version }}
5555

56+
- name: Setup Java 17 for codegen
57+
uses: actions/setup-java@v3
58+
with:
59+
distribution: "corretto"
60+
java-version: "17"
61+
62+
- name: Install Smithy-Dafny codegen dependencies
63+
uses: ./.github/actions/install_smithy_dafny_codegen_dependencies
64+
5665
- uses: ./.github/actions/polymorph_codegen
5766
with:
5867
dafny: ${{ env.DAFNY_VERSION }}

‎.github/workflows/pull.yml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -8,20 +8,20 @@ jobs:
88
pr-ci-codegen:
99
uses: ./.github/workflows/library_codegen.yml
1010
with:
11-
dafny: '4.2.0'
11+
dafny: '4.8.0'
1212
pr-ci-verification:
1313
uses: ./.github/workflows/library_dafny_verification.yml
1414
with:
15-
dafny: '4.7.0'
15+
dafny: '4.8.0'
1616
# pr-ci-java:
1717
# uses: ./.github/workflows/library_java_tests.yml
1818
# with:
1919
# dafny: '4.2.0'
2020
pr-ci-net:
2121
uses: ./.github/workflows/library_net_tests.yml
2222
with:
23-
dafny: '4.2.0'
23+
dafny: '4.8.0'
2424
pr-test-vectors:
2525
uses: ./.github/workflows/library_interop_tests.yml
2626
with:
27-
dafny: '4.2.0'
27+
dafny: '4.8.0'

‎.github/workflows/push.yml

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -10,20 +10,20 @@ jobs:
1010
pr-ci-codegen:
1111
uses: ./.github/workflows/library_codegen.yml
1212
with:
13-
dafny: '4.2.0'
13+
dafny: '4.8.0'
1414
push-ci-verification:
1515
uses: ./.github/workflows/library_dafny_verification.yml
1616
with:
17-
dafny: '4.7.0'
17+
dafny: '4.8.0'
1818
# push-ci-java:
1919
# uses: ./.github/workflows/library_java_tests.yml
2020
# with:
2121
# dafny: '4.2.0'
2222
push-ci-net:
2323
uses: ./.github/workflows/library_net_tests.yml
2424
with:
25-
dafny: '4.2.0'
25+
dafny: '4.8.0'
2626
pr-test-vectors:
2727
uses: ./.github/workflows/library_interop_tests.yml
2828
with:
29-
dafny: '4.2.0'
29+
dafny: '4.8.0'

‎.github/workflows/smithy-diff.yml

Lines changed: 7 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,8 @@
33
name: Check Smithy Files
44

55
on:
6-
pull_request:
6+
pull_request_review:
7+
types: [submitted]
78

89
jobs:
910
require-approvals:
@@ -19,20 +20,22 @@ jobs:
1920
- name: Get Files changed
2021
id: file-changes
2122
shell: bash
23+
env:
24+
GITHUB_HEAD: ${{github.event.pull_request.head.ref}}
2225
run:
2326
# Checks to see if any of the smithy Models are being updated.
2427
# Doing this check allows us to catch things like, missing @javadoc trait documentation or bug in smithy dafny that has not be resolved.
25-
echo "FILES=$(git diff --name-only origin/main origin/${GITHUB_HEAD_REF} | grep '\.smithy$' | tr '\n' ' ')" >> "$GITHUB_OUTPUT"
28+
echo "FILES=$(git diff --name-only origin/main origin/${GITHUB_HEAD} | grep '\.smithy$' | tr '\n' ' ')" >> "$GITHUB_OUTPUT"
2629

2730
- name: Check if FILES is not empty
2831
id: comment
2932
env:
30-
PR_NUMBER: ${{ github.event.number }}
33+
PR_NUMBER: ${{ github.event.pull_request.number }}
3134
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
3235
FILES: ${{ steps.file-changes.outputs.FILES }}
3336
if: ${{env.FILES != ''}}
3437
run: |
3538
# TODO: If https://github.com/smithy-lang/smithy-dafny/issues/491 is resolved, remove comment about this issue.
36-
COMMENT="@${{github.actor}}, I noticed you are updating the smithy model files.\nDoes this update need new or updated javadoc trait documentation?\n Are you adding constraints inside list, map or union? Do you know about this issue: https://github.com/smithy-lang/smithy-dafny/issues/491?"
39+
COMMENT="@${{github.event.pull_request.user.login}} and @${{github.actor}}, I noticed you are updating the smithy model files.\nDoes this update need new or updated javadoc trait documentation?\n Are you adding constraints inside list, map or union? Do you know about this issue: https://github.com/smithy-lang/smithy-dafny/issues/491?"
3740
COMMENT_URL="https://api.github.com/repos/${{ github.repository }}/issues/${PR_NUMBER}/comments"
3841
curl -s -H "Authorization: token ${GITHUB_TOKEN}" -X POST $COMMENT_URL -d "{\"body\":\"$COMMENT\"}"

‎AwsEncryptionSDK/codegen-patches/AwsEncryptionSdk/dotnet/dafny-4.8.0.patch

Lines changed: 96 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,96 @@
1+
diff --git b/AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/AwsEncryptionSdkConfig.cs a/AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/AwsEncryptionSdkConfig.cs
2+
index 1dc37f40..e2187b21 100644
3+
--- b/AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/AwsEncryptionSdkConfig.cs
4+
+++ a/AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/AwsEncryptionSdkConfig.cs
5+
@@ -28,7 +28,7 @@ namespace AWS.Cryptography.EncryptionSDK
6+
{
7+
return this._maxEncryptedDataKeys.HasValue;
8+
}
9+
- public AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy NetV4__0__0__RetryPolicy
10+
+ public AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy NetV4_0_0_RetryPolicy
11+
{
12+
get { return this._netV4_0_0_RetryPolicy; }
13+
set { this._netV4_0_0_RetryPolicy = value; }
14+
diff --git b/AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/TypeConversion.cs a/AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/TypeConversion.cs
15+
index cb1b30bb..dc6e24f9 100644
16+
--- b/AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/TypeConversion.cs
17+
+++ a/AwsEncryptionSDK/runtimes/net/Generated/AwsEncryptionSdk/TypeConversion.cs
18+
@@ -7,22 +7,22 @@ namespace AWS.Cryptography.EncryptionSDK
19+
{
20+
public static class TypeConversion
21+
{
22+
- private const string ISO8601DateFormat = "yyyy-MM-dd\\THH:mm:ss.fff\\Z";
23+
-
24+
- private const string ISO8601DateFormatNoMS = "yyyy-MM-dd\\THH:mm:ss\\Z";
25+
-
26+
public static AWS.Cryptography.EncryptionSDK.AwsEncryptionSdkConfig FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig(software.amazon.cryptography.encryptionsdk.internaldafny.types._IAwsEncryptionSdkConfig value)
27+
{
28+
software.amazon.cryptography.encryptionsdk.internaldafny.types.AwsEncryptionSdkConfig concrete = (software.amazon.cryptography.encryptionsdk.internaldafny.types.AwsEncryptionSdkConfig)value; AWS.Cryptography.EncryptionSDK.AwsEncryptionSdkConfig converted = new AWS.Cryptography.EncryptionSDK.AwsEncryptionSdkConfig(); if (concrete._commitmentPolicy.is_Some) converted.CommitmentPolicy = (AWS.Cryptography.MaterialProviders.ESDKCommitmentPolicy)FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig__M16_commitmentPolicy(concrete._commitmentPolicy);
29+
if (concrete._maxEncryptedDataKeys.is_Some) converted.MaxEncryptedDataKeys = (long)FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig__M20_maxEncryptedDataKeys(concrete._maxEncryptedDataKeys);
30+
- if (concrete._netV4_0_0_RetryPolicy.is_Some) converted.NetV4__0__0__RetryPolicy = (AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy)FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig__M21_netV4_0_0_RetryPolicy(concrete._netV4_0_0_RetryPolicy); return converted;
31+
+ // BEGIN MANUAL EDIT
32+
+ if (concrete._netV4__0__0__RetryPolicy.is_Some) converted.NetV4_0_0_RetryPolicy = (AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy)FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig__M21_netV4_0_0_RetryPolicy(concrete._netV4__0__0__RetryPolicy); return converted;
33+
+ // END MANUAL EDIT
34+
}
35+
public static software.amazon.cryptography.encryptionsdk.internaldafny.types._IAwsEncryptionSdkConfig ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig(AWS.Cryptography.EncryptionSDK.AwsEncryptionSdkConfig value)
36+
{
37+
value.Validate();
38+
AWS.Cryptography.MaterialProviders.ESDKCommitmentPolicy var_commitmentPolicy = value.IsSetCommitmentPolicy() ? value.CommitmentPolicy : (AWS.Cryptography.MaterialProviders.ESDKCommitmentPolicy)null;
39+
long? var_maxEncryptedDataKeys = value.IsSetMaxEncryptedDataKeys() ? value.MaxEncryptedDataKeys : (long?)null;
40+
- AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy var_netV4_0_0_RetryPolicy = value.IsSetNetV4__0__0__RetryPolicy() ? value.NetV4__0__0__RetryPolicy : (AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy)null;
41+
+ // BEGIN MANUAL EDIT
42+
+ AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy var_netV4_0_0_RetryPolicy = value.IsSetNetV4__0__0__RetryPolicy() ? value.NetV4_0_0_RetryPolicy : (AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy)null;
43+
+ // END MANUAL EDIT
44+
return new software.amazon.cryptography.encryptionsdk.internaldafny.types.AwsEncryptionSdkConfig(ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig__M16_commitmentPolicy(var_commitmentPolicy), ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig__M20_maxEncryptedDataKeys(var_maxEncryptedDataKeys), ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig__M21_netV4_0_0_RetryPolicy(var_netV4_0_0_RetryPolicy));
45+
}
46+
public static AWS.Cryptography.EncryptionSDK.AwsEncryptionSdkException FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S25_AwsEncryptionSdkException(software.amazon.cryptography.encryptionsdk.internaldafny.types.Error_AwsEncryptionSdkException value)
47+
@@ -96,16 +96,22 @@ namespace AWS.Cryptography.EncryptionSDK
48+
49+
return new software.amazon.cryptography.encryptionsdk.internaldafny.types.EncryptOutput(ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S13_EncryptOutput__M10_ciphertext(value.Ciphertext), ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S13_EncryptOutput__M17_encryptionContext(value.EncryptionContext), ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S13_EncryptOutput__M16_algorithmSuiteId(value.AlgorithmSuiteId));
50+
}
51+
- public static AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S21_NetV4_0_0_RetryPolicy(software.amazon.cryptography.encryptionsdk.internaldafny.types._INetV4_0_0_RetryPolicy value)
52+
+ // BEGIN MANUAL EDIT
53+
+ public static AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S21_NetV4_0_0_RetryPolicy(software.amazon.cryptography.encryptionsdk.internaldafny.types._INetV4__0__0__RetryPolicy value)
54+
+ // END MANUAL EDIT
55+
{
56+
if (value.is_FORBID__RETRY) return AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy.FORBID_RETRY;
57+
if (value.is_ALLOW__RETRY) return AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy.ALLOW_RETRY;
58+
throw new System.ArgumentException("Invalid AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy value");
59+
}
60+
- public static software.amazon.cryptography.encryptionsdk.internaldafny.types._INetV4_0_0_RetryPolicy ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S21_NetV4_0_0_RetryPolicy(AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy value)
61+
+ // BEGIN MANUAL EDIT
62+
+ public static software.amazon.cryptography.encryptionsdk.internaldafny.types._INetV4__0__0__RetryPolicy ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S21_NetV4_0_0_RetryPolicy(AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy value)
63+
+ // END MANUAL EDIT
64+
{
65+
- if (AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy.FORBID_RETRY.Equals(value)) return software.amazon.cryptography.encryptionsdk.internaldafny.types.NetV4_0_0_RetryPolicy.create_FORBID__RETRY();
66+
- if (AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy.ALLOW_RETRY.Equals(value)) return software.amazon.cryptography.encryptionsdk.internaldafny.types.NetV4_0_0_RetryPolicy.create_ALLOW__RETRY();
67+
+ // BEGIN MANUAL EDIT
68+
+ if (AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy.FORBID_RETRY.Equals(value)) return software.amazon.cryptography.encryptionsdk.internaldafny.types.NetV4__0__0__RetryPolicy.create_FORBID__RETRY();
69+
+ if (AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy.ALLOW_RETRY.Equals(value)) return software.amazon.cryptography.encryptionsdk.internaldafny.types.NetV4__0__0__RetryPolicy.create_ALLOW__RETRY();
70+
+ // END MANUAL EDIT
71+
throw new System.ArgumentException("Invalid AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy value");
72+
}
73+
public static AWS.Cryptography.MaterialProviders.ESDKCommitmentPolicy FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig__M16_commitmentPolicy(Wrappers_Compile._IOption<software.amazon.cryptography.materialproviders.internaldafny.types._IESDKCommitmentPolicy> value)
74+
@@ -124,13 +130,19 @@ namespace AWS.Cryptography.EncryptionSDK
75+
{
76+
return value == null ? Wrappers_Compile.Option<long>.create_None() : Wrappers_Compile.Option<long>.create_Some(ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S15_CountingNumbers((long)value));
77+
}
78+
- public static AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig__M21_netV4_0_0_RetryPolicy(Wrappers_Compile._IOption<software.amazon.cryptography.encryptionsdk.internaldafny.types._INetV4_0_0_RetryPolicy> value)
79+
+ // BEGIN MANUAL EDIT
80+
+ public static AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig__M21_netV4_0_0_RetryPolicy(Wrappers_Compile._IOption<software.amazon.cryptography.encryptionsdk.internaldafny.types._INetV4__0__0__RetryPolicy> value)
81+
+ // END MANUAL EDIT
82+
{
83+
return value.is_None ? (AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy)null : FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S21_NetV4_0_0_RetryPolicy(value.Extract());
84+
}
85+
- public static Wrappers_Compile._IOption<software.amazon.cryptography.encryptionsdk.internaldafny.types._INetV4_0_0_RetryPolicy> ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig__M21_netV4_0_0_RetryPolicy(AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy value)
86+
+ // BEGIN MANUAL EDIT
87+
+ public static Wrappers_Compile._IOption<software.amazon.cryptography.encryptionsdk.internaldafny.types._INetV4__0__0__RetryPolicy> ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S22_AwsEncryptionSdkConfig__M21_netV4_0_0_RetryPolicy(AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy value)
88+
+ // END MANUAL EDIT
89+
{
90+
- return value == null ? Wrappers_Compile.Option<software.amazon.cryptography.encryptionsdk.internaldafny.types._INetV4_0_0_RetryPolicy>.create_None() : Wrappers_Compile.Option<software.amazon.cryptography.encryptionsdk.internaldafny.types._INetV4_0_0_RetryPolicy>.create_Some(ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S21_NetV4_0_0_RetryPolicy((AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy)value));
91+
+ // BEGIN MANUAL EDIT
92+
+ return value == null ? Wrappers_Compile.Option<software.amazon.cryptography.encryptionsdk.internaldafny.types._INetV4__0__0__RetryPolicy>.create_None() : Wrappers_Compile.Option<software.amazon.cryptography.encryptionsdk.internaldafny.types._INetV4__0__0__RetryPolicy>.create_Some(ToDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S21_NetV4_0_0_RetryPolicy((AWS.Cryptography.EncryptionSDK.NetV4_0_0_RetryPolicy)value));
93+
+ // END MANUAL EDIT
94+
}
95+
public static string FromDafny_N3_aws__N12_cryptography__N13_encryptionSdk__S25_AwsEncryptionSdkException__M7_message(Dafny.ISequence<char> value)
96+
{

‎AwsEncryptionSDK/dafny/AwsEncryptionSdk/Model/esdk.smithy

Lines changed: 0 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,6 @@ namespace aws.cryptography.encryptionSdk
33
use aws.cryptography.primitives#AwsCryptographicPrimitives
44
use aws.cryptography.materialProviders#AwsCryptographicMaterialProviders
55

6-
/////////////
76
// ESDK Client Creation
87

98
// TODO add a trait to indicate that 'Client' should not be appended to this name,
@@ -56,7 +55,6 @@ structure AwsEncryptionSdkConfig {
5655
string NetV4_0_0_RetryPolicy
5756

5857

59-
/////////////
6058
// ESDK Operations
6159

6260
operation Encrypt {
@@ -127,7 +125,6 @@ structure DecryptOutput {
127125
// the message format and message header in Smithy.
128126
}
129127

130-
/////////////
131128
// Errors
132129

133130
@error("client")

‎AwsEncryptionSDK/project.properties

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
11
# This file stores the top level dafny version information.
22
# All elements of the project need to agree on this version.
3-
dafnyVersion=4.2.0
3+
dafnyVersion=4.8.0
4+
dafnyRuntimeJavaVersion=4.8.0

‎AwsEncryptionSDK/runtimes/net/ESDK.csproj

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@
3131
<ItemGroup>
3232
<!-- TODO: manually upgraded to match the latest from MPL, is that reasonable? -->
3333
<PackageReference Include="AWSSDK.Core" Version="3.7.*" />
34-
<PackageReference Include="DafnyRuntime" Version="4.2.0" />
34+
<PackageReference Include="DafnyRuntime" Version="4.8.0" />
3535
<PackageReference Include="BouncyCastle.Cryptography" Version="2.3.1" />
3636
<ProjectReference Include="../../../mpl/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj" />
3737
<!--

0 commit comments

Comments
 (0)