Skip to content

Commit 698ac87

Browse files
author
Shubham Chaturvedi
committed
fix(TV): Use DafnyRuntimeGo v4.11.2
1 parent f97e4e9 commit 698ac87

File tree

4 files changed

+23
-23
lines changed

4 files changed

+23
-23
lines changed

‎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.2
18-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2
19-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.2
20-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2
21-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
22-
github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.2.2
23-
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.2.2
24-
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/test v0.2.2
25-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1
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 (

‎TestVectors/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=

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

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -15,19 +15,19 @@ replace (
1515
)
1616

1717
require (
18-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.2
19-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2
20-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.2.2
21-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2
22-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
23-
github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.2.2
24-
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.2.2
25-
github.com/aws/aws-encryption-sdk/testvectors v0.2.2
26-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1
18+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.3.0
19+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.3.0
20+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.3.0
21+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.3.0
22+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.3.0
23+
github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.3.0
24+
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk v0.3.0
25+
github.com/aws/aws-encryption-sdk/testvectors v0.3.0
26+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
2727
)
2828

2929
require (
30-
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/test v0.2.2 // indirect
30+
github.com/aws/aws-encryption-sdk/releases/go/encryption-sdk/test v0.3.0 // indirect
3131
github.com/aws/aws-sdk-go-v2 v1.33.0 // indirect
3232
github.com/aws/aws-sdk-go-v2/config v1.29.0 // indirect
3333
github.com/aws/aws-sdk-go-v2/credentials v1.17.53 // indirect

‎TestVectors/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=

0 commit comments

Comments
 (0)