Skip to content

Commit ffc1e2d

Browse files
ShubhamChaturvedi7Shubham Chaturvedi
ShubhamChaturvedi7
and
Shubham Chaturvedi
authored
fix(go): dafny array performance (#825)
Co-authored-by: Shubham Chaturvedi <[email protected]>
1 parent bf43328 commit ffc1e2d

File tree

17 files changed

+1239
-186
lines changed

17 files changed

+1239
-186
lines changed

‎.github/actions/install_smithy_dafny_codegen_dependencies/action.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@ runs:
2222
- name: Setup Python, black, and docformatter for code formatting
2323
uses: actions/setup-python@v6
2424
with:
25-
python-version: ${{ matrix.python-version }}
25+
python-version: 3.11
2626
architecture: x64
2727
- shell: bash
2828
run: |

‎AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go‎

Lines changed: 4 additions & 24 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/go.mod‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -3,20 +3,20 @@ module github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk
33
go 1.23.0
44

55
replace (
6-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl => ../../../../mpl/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
76
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../../../../mpl/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
87
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms => ../../../../mpl/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
8+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl => ../../../../mpl/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
99
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../mpl/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
1010
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../mpl/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
1111
)
1212

1313
require (
14-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0
15-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.0
16-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.0
17-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.0
18-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.0
19-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2
14+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.3.0
15+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.3.0
16+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.3.0
17+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.3.0
18+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.3.0
19+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
2020

2121
)
2222

‎AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/go.sum‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,8 @@ github.com/aws/aws-sdk-go-v2/service/sts v1.33.8 h1:pqEJQtlKWvnv3B6VRt60ZmsHy3So
3030
github.com/aws/aws-sdk-go-v2/service/sts v1.33.8/go.mod h1:f6vjfZER1M17Fokn0IzssOTMT2N8ZSq+7jnNF0tArvw=
3131
github.com/aws/smithy-go v1.22.1 h1:/HPHZQ0g7f4eUeK6HKglFz8uwVfZKgoI25rb/J+dnro=
3232
github.com/aws/smithy-go v1.22.1/go.mod h1:irrKGvNn1InZwb2d7fkIRNucdfwR8R+Ts3wxYa/cJHg=
33-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 h1:g/xAj4F7Zt9wXJ6QjfbfocVi/ZYlAFpNddHCFyfzRDg=
34-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
33+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2 h1:Q1BMAsz2goAaVznYICm2PRfjjFz5HM8ikOM6Jxqfd3M=
34+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
3535
github.com/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8=
3636
github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
3737
github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=

‎AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go‎

Lines changed: 4 additions & 24 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/go.mod‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -3,22 +3,22 @@ module github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/test
33
go 1.23.0
44

55
replace (
6-
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk => ../ImplementationFromDafny-go
76
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../../../../mpl/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
87
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms => ../../../../mpl/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
9-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../mpl/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
108
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl => ../../../../mpl/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
9+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../mpl/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
1110
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../mpl/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
11+
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk => ../ImplementationFromDafny-go
1212
)
1313

1414
require (
15-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0
16-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.0
17-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.0
18-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.0
19-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.0
20-
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.0.0
21-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2
15+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.3.0
16+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.3.0
17+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.3.0
18+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.3.0
19+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.3.0
20+
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.3.0
21+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
2222

2323
)
2424

‎AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/go.sum‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,8 @@ github.com/aws/aws-sdk-go-v2/service/sts v1.33.8 h1:pqEJQtlKWvnv3B6VRt60ZmsHy3So
3030
github.com/aws/aws-sdk-go-v2/service/sts v1.33.8/go.mod h1:f6vjfZER1M17Fokn0IzssOTMT2N8ZSq+7jnNF0tArvw=
3131
github.com/aws/smithy-go v1.22.1 h1:/HPHZQ0g7f4eUeK6HKglFz8uwVfZKgoI25rb/J+dnro=
3232
github.com/aws/smithy-go v1.22.1/go.mod h1:irrKGvNn1InZwb2d7fkIRNucdfwR8R+Ts3wxYa/cJHg=
33-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 h1:g/xAj4F7Zt9wXJ6QjfbfocVi/ZYlAFpNddHCFyfzRDg=
34-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
33+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2 h1:Q1BMAsz2goAaVznYICm2PRfjjFz5HM8ikOM6Jxqfd3M=
34+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
3535
github.com/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8=
3636
github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
3737
github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=

‎AwsEncryptionSDK/runtimes/go/examples/go.mod‎

Lines changed: 7 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,9 @@ replace (
1212
)
1313

1414
require (
15-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.0
16-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.0
17-
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.0.0-00010101000000-000000000000
15+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.3.0
16+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.3.0
17+
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.3.0
1818
github.com/aws/aws-sdk-go-v2/config v1.29.0
1919
github.com/aws/aws-sdk-go-v2/credentials v1.17.53
2020
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.4
@@ -24,9 +24,9 @@ require (
2424
)
2525

2626
require (
27-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.0 // indirect
28-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.0 // indirect
29-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0 // indirect
27+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.3.0 // indirect
28+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.3.0 // indirect
29+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.3.0 // indirect
3030
github.com/aws/aws-sdk-go-v2 v1.33.0 // indirect
3131
github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.24 // indirect
3232
github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.28 // indirect
@@ -38,6 +38,6 @@ require (
3838
github.com/aws/aws-sdk-go-v2/service/sso v1.24.10 // indirect
3939
github.com/aws/aws-sdk-go-v2/service/ssooidc v1.28.9 // indirect
4040
github.com/aws/smithy-go v1.22.1 // indirect
41-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 // indirect
41+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2 // indirect
4242
github.com/jmespath/go-jmespath v0.4.0 // indirect
4343
)

‎AwsEncryptionSDK/runtimes/go/examples/go.sum‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -30,8 +30,8 @@ github.com/aws/aws-sdk-go-v2/service/sts v1.33.8 h1:pqEJQtlKWvnv3B6VRt60ZmsHy3So
3030
github.com/aws/aws-sdk-go-v2/service/sts v1.33.8/go.mod h1:f6vjfZER1M17Fokn0IzssOTMT2N8ZSq+7jnNF0tArvw=
3131
github.com/aws/smithy-go v1.22.1 h1:/HPHZQ0g7f4eUeK6HKglFz8uwVfZKgoI25rb/J+dnro=
3232
github.com/aws/smithy-go v1.22.1/go.mod h1:irrKGvNn1InZwb2d7fkIRNucdfwR8R+Ts3wxYa/cJHg=
33-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 h1:g/xAj4F7Zt9wXJ6QjfbfocVi/ZYlAFpNddHCFyfzRDg=
34-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
33+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2 h1:Q1BMAsz2goAaVznYICm2PRfjjFz5HM8ikOM6Jxqfd3M=
34+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
3535
github.com/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8=
3636
github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
3737
github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=

‎TestVectors/runtimes/go/ImplementationFromDafny-go/go.mod‎

Lines changed: 9 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -14,15 +14,15 @@ replace (
1414
)
1515

1616
require (
17-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.0
18-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.0
19-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.0
20-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.0
21-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0
22-
github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.0.0
23-
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.0.0
24-
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/test v0.0.0
25-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2
17+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.3.0
18+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.3.0
19+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.3.0
20+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.3.0
21+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.3.0
22+
github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.3.0
23+
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.3.0
24+
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/test v0.3.0
25+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
2626
)
2727

2828
require (

0 commit comments

Comments
 (0)