Skip to content

Commit c3f82f2

Browse files
author
Shubham Chaturvedi
committed
update DafnyGoRuntime v4.11.2
1 parent 185e51e commit c3f82f2

File tree

6 files changed

+26
-26
lines changed

6 files changed

+26
-26
lines changed

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

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -11,12 +11,12 @@ replace (
1111
)
1212

1313
require (
14-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.2
15-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2
16-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.2
17-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2
18-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
19-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1
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.11.1 h1:tTQ9M9HCUaf2SXqutj2vmMqJKJpefWMSqx1niqTqi8M=
34-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1/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/go.mod‎

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

1414
require (
15-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.2
16-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2
17-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.2
18-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2
19-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
20-
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.2.2
21-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1
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.11.1 h1:tTQ9M9HCUaf2SXqutj2vmMqJKJpefWMSqx1niqTqi8M=
34-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1/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.2
16-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2
17-
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.2.2
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.2 // indirect
28-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2 // indirect
29-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2 // 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.11.1 // 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.11.1 h1:tTQ9M9HCUaf2SXqutj2vmMqJKJpefWMSqx1niqTqi8M=
34-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1/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=

0 commit comments

Comments
 (0)