Skip to content

Commit e9bd04a

Browse files
ShubhamChaturvedi7Shubham Chaturvedi
ShubhamChaturvedi7
and
Shubham Chaturvedi
authored
fix(Go): Upgrade DafnyRuntimeGo to 4.11.2 (#822)
*Issue #, if available:* *Description of changes:* fix(Go): Upgrade DafnyRuntimeGo to 4.11.2 By submitting this pull request, I confirm that you can use, modify, copy, and redistribute this contribution, under the terms of your choice. --------- Co-authored-by: Shubham Chaturvedi <[email protected]>
1 parent 19f6319 commit e9bd04a

File tree

58 files changed

+62
-62
lines changed
  • TestModels
    • Aggregate/runtimes/go
    • CallingAWSSDKFromLocalService/runtimes/go
    • CodegenPatches/runtimes/go
    • Constraints/runtimes/go
    • Constructor/runtimes/go
    • Dependencies/runtimes/go
    • Errors/runtimes/go
    • Extendable/runtimes/go/TestsFromDafny-go
    • Extern/runtimes/go
    • OrphanedShapes/runtimes/go
    • Positional/runtimes/go
    • RecursiveShape/runtimes/go
    • Refinement/runtimes/go
    • Resource/runtimes/go
    • SimpleTypes
      • SimpleBlob/runtimes/go
      • SimpleBoolean/runtimes/go
      • SimpleDouble/runtimes/go
      • SimpleEnumV2/runtimes/go
      • SimpleEnum/runtimes/go
      • SimpleInteger/runtimes/go
      • SimpleLong/runtimes/go
      • SimpleString/runtimes/go
      • SimpleTimestamp/runtimes/go
    • Union/runtimes/go
    • aws-sdks
    • dafny-dependencies/StandardLibrary/runtimes/go

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

58 files changed

+62
-62
lines changed

‎TestModels/Aggregate/runtimes/go/ImplementationFromDafny-go/go.mod‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,6 @@ go 1.23.0
44

55
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

7-
require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1
7+
require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
88

99
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/

‎TestModels/Aggregate/runtimes/go/TestsFromDafny-go/go.mod‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ go 1.23.0
55
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
8-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1
8+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
99
github.com/smithy-lang/smithy-dafny/TestModels/Aggregate v0.0.0
1010
)
1111

‎TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ require (
77
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.34.9
88
github.com/aws/aws-sdk-go-v2/service/kms v1.35.7
99
github.com/aws/smithy-go v1.22.0
10-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1
10+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
1111
github.com/smithy-lang/smithy-dafny/ddbv2 v0.0.0
1212
github.com/smithy-lang/smithy-dafny/kmsv2 v0.0.0
1313
)

‎TestModels/CallingAWSSDKFromLocalService/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.32.4 h1:yDxvkz3/uOKfxnv8YhzOi9m+2OGI
3030
github.com/aws/aws-sdk-go-v2/service/sts v1.32.4/go.mod h1:9XEUty5v5UAsMiFOBJrNibZgwCeOma73jgGwwhgffa8=
3131
github.com/aws/smithy-go v1.22.0 h1:uunKnWlcoL3zO7q+gG2Pk53joueEOsnNB28QdMsmiMM=
3232
github.com/aws/smithy-go v1.22.0/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/jmespath/go-jmespath v0.4.0 h1:BEgLn5cpjn8UN1mAw4NjwDrS35OdebyEtFe+9YPoQUg=

‎TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -8,7 +8,7 @@ require (
88
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.34.9
99
github.com/aws/aws-sdk-go-v2/service/kms v1.35.7
1010
github.com/aws/smithy-go v1.22.0
11-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1
11+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
1212
github.com/smithy-lang/smithy-dafny/TestModels/CallingAWSSDKFromLocalService v0.0.0
1313
github.com/smithy-lang/smithy-dafny/ddbv2 v0.0.0
1414
github.com/smithy-lang/smithy-dafny/kmsv2 v0.0.0

‎TestModels/CallingAWSSDKFromLocalService/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.32.4 h1:yDxvkz3/uOKfxnv8YhzOi9m+2OGI
3030
github.com/aws/aws-sdk-go-v2/service/sts v1.32.4/go.mod h1:9XEUty5v5UAsMiFOBJrNibZgwCeOma73jgGwwhgffa8=
3131
github.com/aws/smithy-go v1.22.0 h1:uunKnWlcoL3zO7q+gG2Pk53joueEOsnNB28QdMsmiMM=
3232
github.com/aws/smithy-go v1.22.0/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/jmespath/go-jmespath v0.4.0 h1:BEgLn5cpjn8UN1mAw4NjwDrS35OdebyEtFe+9YPoQUg=

‎TestModels/CodegenPatches/runtimes/go/ImplementationFromDafny-go/go.mod‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,6 +4,6 @@ go 1.23.0
44

55
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

7-
require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1
7+
require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
88

99
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/

‎TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/go.mod‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ go 1.23.0
55
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
8-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1
8+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
99
github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches v0.0.0
1010
)
1111

‎TestModels/Constraints/runtimes/go/ImplementationFromDafny-go/go.mod‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ go 1.23.0
44

55
require (
66
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
7-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1
7+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
88
)
99

1010
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/

‎TestModels/Constraints/runtimes/go/TestsFromDafny-go/go.mod‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ go 1.23.0
55
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
8-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.1
8+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
99
github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0
1010
)
1111

0 commit comments

Comments
 (0)