Skip to content

fix(go): dafny array performance #825

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
ShubhamChaturvedi7 merged 8 commits into from
Oct 29, 2025
Merged

fix(go): dafny array performance #825

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
5afade8
fix: ESDK Fix
Sep 25, 2025
415324a
fix: TV and PerfTests
Sep 26, 2025
185e51e
Merge branch 'mainline' into GoPerfFix
Oct 28, 2025
c3f82f2
update DafnyGoRuntime v4.11.2
Oct 28, 2025
f97e4e9
fix(perf): Use DafnyRuntimeGo v4.11.2
Oct 28, 2025
698ac87
fix(TV): Use DafnyRuntimeGo v4.11.2
Oct 28, 2025
f830a46
chore: update mpl
Oct 28, 2025
00443df
chore: fix CI
Oct 29, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion .github/actions/install_smithy_dafny_codegen_dependencies/action.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ runs:
- name: Setup Python, black, and docformatter for code formatting
uses: actions/setup-python@v6
with:
python-version: ${{ matrix.python-version }}
python-version: 3.11
Copy link
Member

@rishav-karanjit rishav-karanjit Oct 29, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Why do we need to hard code to 3.11?

Will this work https://github.com/aws/aws-cryptographic-material-providers-library/blob/main/.github/actions/install_smithy_dafny_codegen_dependencies/action.yml#L34C25-L34C78

Copy link
Contributor Author

@ShubhamChaturvedi7 ShubhamChaturvedi7 Oct 29, 2025

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

No, I hardcoded this because in this repo 3.11 is hardcoded and we don't specify python-version either in the input or matrix. I had made the previous change linked because we were using matrix in that repo.

architecture: x64
- shell: bash
run: |
Expand Down
28 changes: 4 additions & 24 deletions ...es/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

14 changes: 7 additions & 7 deletions AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,20 +3,20 @@ module github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk
go 1.23.0

replace (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl => ../../../../mpl/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../../../../mpl/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms => ../../../../mpl/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl => ../../../../mpl/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../mpl/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../mpl/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
)

require (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.0
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.3.0
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2

)

Expand Down
4 changes: 2 additions & 2 deletions AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/go.sum
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,8 @@ github.com/aws/aws-sdk-go-v2/service/sts v1.33.8 h1:pqEJQtlKWvnv3B6VRt60ZmsHy3So
github.com/aws/aws-sdk-go-v2/service/sts v1.33.8/go.mod h1:f6vjfZER1M17Fokn0IzssOTMT2N8ZSq+7jnNF0tArvw=
github.com/aws/smithy-go v1.22.1 h1:/HPHZQ0g7f4eUeK6HKglFz8uwVfZKgoI25rb/J+dnro=
github.com/aws/smithy-go v1.22.1/go.mod h1:irrKGvNn1InZwb2d7fkIRNucdfwR8R+Ts3wxYa/cJHg=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 h1:g/xAj4F7Zt9wXJ6QjfbfocVi/ZYlAFpNddHCFyfzRDg=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2 h1:Q1BMAsz2goAaVznYICm2PRfjjFz5HM8ikOM6Jxqfd3M=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
github.com/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8=
github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=
Expand Down
28 changes: 4 additions & 24 deletions ...DK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go
View file
Open in desktop

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

18 changes: 9 additions & 9 deletions AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -3,22 +3,22 @@ module github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/test
go 1.23.0

replace (
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk => ../ImplementationFromDafny-go
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../../../../mpl/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms => ../../../../mpl/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../mpl/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl => ../../../../mpl/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives => ../../../../mpl/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../mpl/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk => ../ImplementationFromDafny-go
)

require (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.0
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.0.0
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.3.0
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.3.0
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2

)

Expand Down
4 changes: 2 additions & 2 deletions AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/go.sum
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,8 @@ github.com/aws/aws-sdk-go-v2/service/sts v1.33.8 h1:pqEJQtlKWvnv3B6VRt60ZmsHy3So
github.com/aws/aws-sdk-go-v2/service/sts v1.33.8/go.mod h1:f6vjfZER1M17Fokn0IzssOTMT2N8ZSq+7jnNF0tArvw=
github.com/aws/smithy-go v1.22.1 h1:/HPHZQ0g7f4eUeK6HKglFz8uwVfZKgoI25rb/J+dnro=
github.com/aws/smithy-go v1.22.1/go.mod h1:irrKGvNn1InZwb2d7fkIRNucdfwR8R+Ts3wxYa/cJHg=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 h1:g/xAj4F7Zt9wXJ6QjfbfocVi/ZYlAFpNddHCFyfzRDg=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2 h1:Q1BMAsz2goAaVznYICm2PRfjjFz5HM8ikOM6Jxqfd3M=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
github.com/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8=
github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=
Expand Down
14 changes: 7 additions & 7 deletions AwsEncryptionSDK/runtimes/go/examples/go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,9 +12,9 @@ replace (
)

require (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.0
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.0.0-00010101000000-000000000000
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.3.0
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.3.0
github.com/aws/aws-sdk-go-v2/config v1.29.0
github.com/aws/aws-sdk-go-v2/credentials v1.17.53
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.4
Expand All @@ -24,9 +24,9 @@ require (
)

require (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.0 // indirect
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.0 // indirect
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0 // indirect
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.3.0 // indirect
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.3.0 // indirect
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.3.0 // indirect
github.com/aws/aws-sdk-go-v2 v1.33.0 // indirect
github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.16.24 // indirect
github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.28 // indirect
Expand All @@ -38,6 +38,6 @@ require (
github.com/aws/aws-sdk-go-v2/service/sso v1.24.10 // indirect
github.com/aws/aws-sdk-go-v2/service/ssooidc v1.28.9 // indirect
github.com/aws/smithy-go v1.22.1 // indirect
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 // indirect
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2 // indirect
github.com/jmespath/go-jmespath v0.4.0 // indirect
)
4 changes: 2 additions & 2 deletions AwsEncryptionSDK/runtimes/go/examples/go.sum
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,8 @@ github.com/aws/aws-sdk-go-v2/service/sts v1.33.8 h1:pqEJQtlKWvnv3B6VRt60ZmsHy3So
github.com/aws/aws-sdk-go-v2/service/sts v1.33.8/go.mod h1:f6vjfZER1M17Fokn0IzssOTMT2N8ZSq+7jnNF0tArvw=
github.com/aws/smithy-go v1.22.1 h1:/HPHZQ0g7f4eUeK6HKglFz8uwVfZKgoI25rb/J+dnro=
github.com/aws/smithy-go v1.22.1/go.mod h1:irrKGvNn1InZwb2d7fkIRNucdfwR8R+Ts3wxYa/cJHg=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 h1:g/xAj4F7Zt9wXJ6QjfbfocVi/ZYlAFpNddHCFyfzRDg=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2 h1:Q1BMAsz2goAaVznYICm2PRfjjFz5HM8ikOM6Jxqfd3M=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
github.com/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8=
github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=
Expand Down
18 changes: 9 additions & 9 deletions TestVectors/runtimes/go/ImplementationFromDafny-go/go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,15 +14,15 @@ replace (
)

require (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.0.0
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.0.0
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/test v0.0.0
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.3.0
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.3.0
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/test v0.3.0
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
)

require (
Expand Down
4 changes: 2 additions & 2 deletions TestVectors/runtimes/go/ImplementationFromDafny-go/go.sum
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,8 @@ github.com/aws/aws-sdk-go-v2/service/sts v1.33.8 h1:pqEJQtlKWvnv3B6VRt60ZmsHy3So
github.com/aws/aws-sdk-go-v2/service/sts v1.33.8/go.mod h1:f6vjfZER1M17Fokn0IzssOTMT2N8ZSq+7jnNF0tArvw=
github.com/aws/smithy-go v1.22.1 h1:/HPHZQ0g7f4eUeK6HKglFz8uwVfZKgoI25rb/J+dnro=
github.com/aws/smithy-go v1.22.1/go.mod h1:irrKGvNn1InZwb2d7fkIRNucdfwR8R+Ts3wxYa/cJHg=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 h1:g/xAj4F7Zt9wXJ6QjfbfocVi/ZYlAFpNddHCFyfzRDg=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2 h1:Q1BMAsz2goAaVznYICm2PRfjjFz5HM8ikOM6Jxqfd3M=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
github.com/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8=
github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=
Expand Down
20 changes: 10 additions & 10 deletions TestVectors/runtimes/go/TestsFromDafny-go/go.mod
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,19 +15,19 @@ replace (
)

require (
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0
github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.0.0
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.0.0
github.com/aws/aws-encryption-sdk/testvectors v0.0.0
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.3.0
github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.3.0
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.3.0
github.com/aws/aws-encryption-sdk/testvectors v0.3.0
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
)

require (
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/test v0.0.0 // indirect
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/test v0.3.0 // indirect
github.com/aws/aws-sdk-go-v2 v1.33.0 // indirect
github.com/aws/aws-sdk-go-v2/config v1.29.0 // indirect
github.com/aws/aws-sdk-go-v2/credentials v1.17.53 // indirect
Expand Down
4 changes: 2 additions & 2 deletions TestVectors/runtimes/go/TestsFromDafny-go/go.sum
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -30,8 +30,8 @@ github.com/aws/aws-sdk-go-v2/service/sts v1.33.8 h1:pqEJQtlKWvnv3B6VRt60ZmsHy3So
github.com/aws/aws-sdk-go-v2/service/sts v1.33.8/go.mod h1:f6vjfZER1M17Fokn0IzssOTMT2N8ZSq+7jnNF0tArvw=
github.com/aws/smithy-go v1.22.1 h1:/HPHZQ0g7f4eUeK6HKglFz8uwVfZKgoI25rb/J+dnro=
github.com/aws/smithy-go v1.22.1/go.mod h1:irrKGvNn1InZwb2d7fkIRNucdfwR8R+Ts3wxYa/cJHg=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 h1:g/xAj4F7Zt9wXJ6QjfbfocVi/ZYlAFpNddHCFyfzRDg=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2 h1:Q1BMAsz2goAaVznYICm2PRfjjFz5HM8ikOM6Jxqfd3M=
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
github.com/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8=
github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38=
github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=
Expand Down
Loading
Loading