Skip to content

Commit 84523f4

Browse files
ShubhamChaturvedi7Shubham Chaturvedi
ShubhamChaturvedi7
and
Shubham Chaturvedi
authored
feat: Go StdLib release (#759)
* feat: Go StdLib release * feat: Go StdLib release --------- Co-authored-by: Shubham Chaturvedi <scchatur@amazon.com>
1 parent 3540436 commit 84523f4

File tree

77 files changed

+140
-151
lines changed

Some content is hidden

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

77 files changed

+140
-151
lines changed

Diff for: ‎TestModels/Aggregate/runtimes/go/ImplementationFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Aggregate
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
88

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

Diff for: ‎TestModels/Aggregate/runtimes/go/TestsFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,12 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Aggregate/test
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
88
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
99
github.com/smithy-lang/smithy-dafny/TestModels/Aggregate v0.0.0
1010
)
1111

1212
replace github.com/smithy-lang/smithy-dafny/TestModels/Aggregate v0.0.0 => ../ImplementationFromDafny-go
13-
replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
13+
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/

Diff for: ‎TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -5,7 +5,7 @@ go 1.23.0
55
require (
66
github.com/aws/smithy-go v1.22.0
77
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
8-
github.com/dafny-lang/DafnyStandardLibGo v0.0.0
8+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
99
github.com/smithy-lang/smithy-dafny/ddbv2 v0.0.0
1010
github.com/smithy-lang/smithy-dafny/kmsv2 v0.0.0
1111
)
@@ -29,7 +29,7 @@ require (
2929
github.com/jmespath/go-jmespath v0.4.0 // indirect
3030
)
3131

32-
replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
32+
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
3333

3434
replace github.com/smithy-lang/smithy-dafny/kmsv2 => ../../../../aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/
3535

Diff for: ‎TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/CallingAWSSDKFromLocalServ
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
88
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.34.9
@@ -33,7 +33,7 @@ require (
3333

3434
replace github.com/smithy-lang/smithy-dafny/TestModels/CallingAWSSDKFromLocalService v0.0.0 => ../ImplementationFromDafny-go
3535

36-
replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
36+
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
3737

3838
replace github.com/smithy-lang/smithy-dafny/kmsv2 => ../../../../aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/
3939

Diff for: ‎TestModels/CodegenPatches/runtimes/go/ImplementationFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
88

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

Diff for: ‎TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/WrappedSimpleCodegenPatchesService/shim.go

+1-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Diff for: ‎TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,12 @@ module github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches/test
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
88
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
99
github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches v0.0.0
1010
)
1111

1212
replace github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches v0.0.0 => ../ImplementationFromDafny-go
13-
replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
13+
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/

Diff for: ‎TestModels/Constraints/runtimes/go/ImplementationFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ go 1.23.0
44

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

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

Diff for: ‎TestModels/Constraints/runtimes/go/TestsFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Constraints/test
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
88
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
@@ -11,4 +11,4 @@ require (
1111

1212
replace github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0 => ../ImplementationFromDafny-go
1313

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

Diff for: ‎TestModels/Constructor/runtimes/go/ImplementationFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Constructor
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
88

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

Diff for: ‎TestModels/Constructor/runtimes/go/TestsFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Constructor/test
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
88
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
@@ -11,4 +11,4 @@ require (
1111

1212
replace github.com/smithy-lang/smithy-dafny/TestModels/Constructor v0.0.0 => ../ImplementationFromDafny-go
1313

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

Diff for: ‎TestModels/Dependencies/runtimes/go/ImplementationFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Dependencies
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0
88

@@ -15,7 +15,7 @@ require (
1515
github.com/smithy-lang/smithy-dafny/TestModels/Errors v0.0.0
1616
)
1717

18-
replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
18+
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
1919

2020
replace github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0 => ../../../../Constraints/runtimes/go/ImplementationFromDafny-go
2121

Diff for: ‎TestModels/Dependencies/runtimes/go/TestsFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Dependencies/test
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0
88

@@ -20,7 +20,7 @@ require (
2020

2121
replace github.com/smithy-lang/smithy-dafny/TestModels/Dependencies v0.0.0 => ../ImplementationFromDafny-go
2222

23-
replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
23+
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
2424

2525
replace github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0 => ../../../../Constraints/runtimes/go/ImplementationFromDafny-go
2626

Diff for: ‎TestModels/Errors/runtimes/go/ImplementationFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ go 1.23.0
44

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

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

Diff for: ‎TestModels/Errors/runtimes/go/TestsFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,12 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Errors/test
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
88
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
99
github.com/smithy-lang/smithy-dafny/TestModels/Errors v0.0.0
1010
)
1111

1212
replace github.com/smithy-lang/smithy-dafny/TestModels/Errors v0.0.0 => ../ImplementationFromDafny-go
13-
replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
13+
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/

Diff for: ‎TestModels/Extendable/runtimes/go/ImplementationFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ go 1.23.0
44

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

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

Diff for: ‎TestModels/Extendable/runtimes/go/TestsFromDafny-go/WrappedSimpleExtendableResources/shim.go

+1-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Diff for: ‎TestModels/Extendable/runtimes/go/TestsFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Extendable/test
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
88
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
@@ -11,4 +11,4 @@ require (
1111

1212
replace github.com/smithy-lang/smithy-dafny/TestModels/Extendable v0.0.0 => ../ImplementationFromDafny-go
1313

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

Diff for: ‎TestModels/Extern/runtimes/go/ImplementationFromDafny-go/ExternConstructor/extern.go

+1-1
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,8 @@ package ExternConstructor
33
import (
44
"fmt"
55

6+
"github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers"
67
"github.com/dafny-lang/DafnyRuntimeGo/v4/dafny"
7-
"github.com/dafny-lang/DafnyStandardLibGo/Wrappers"
88
"github.com/smithy-lang/smithy-dafny/TestModels/Extern/SimpleDafnyExternTypes"
99
)
1010

Diff for: ‎TestModels/Extern/runtimes/go/ImplementationFromDafny-go/SimpleExternImpl/extern.go

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
package SimpleExternImpl
22

33
import (
4-
"github.com/dafny-lang/DafnyStandardLibGo/Wrappers"
4+
"github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers"
55
"github.com/smithy-lang/smithy-dafny/TestModels/Extern/SimpleDafnyExternTypes"
66
)
77

Diff for: ‎TestModels/Extern/runtimes/go/ImplementationFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ go 1.23.0
44

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

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

Diff for: ‎TestModels/Extern/runtimes/go/TestsFromDafny-go/WrappedSimpleExternService/shim.go

+1-1
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Diff for: ‎TestModels/Extern/runtimes/go/TestsFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Extern/test
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
88
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
@@ -11,4 +11,4 @@ require (
1111

1212
replace github.com/smithy-lang/smithy-dafny/TestModels/Extern v0.0.0 => ../ImplementationFromDafny-go
1313

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

Diff for: ‎TestModels/LocalService/runtimes/go/ImplementationFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/LocalService
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
88

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

Diff for: ‎TestModels/LocalService/runtimes/go/TestsFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,12 +2,12 @@ module github.com/smithy-lang/smithy-dafny/TestModels/LocalService/test
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
88
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
99
github.com/smithy-lang/smithy-dafny/TestModels/LocalService v0.0.0
1010
)
1111

1212
replace github.com/smithy-lang/smithy-dafny/TestModels/LocalService v0.0.0 => ../ImplementationFromDafny-go
13-
replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/
13+
replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/

Diff for: ‎TestModels/Positional/runtimes/go/ImplementationFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@ go 1.23.0
44

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

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

Diff for: ‎TestModels/Positional/runtimes/go/TestsFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Positional/test
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require (
88
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
@@ -11,4 +11,4 @@ require (
1111

1212
replace github.com/smithy-lang/smithy-dafny/TestModels/Positional v0.0.0 => ../ImplementationFromDafny-go
1313

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

Diff for: ‎TestModels/RecursiveShape/runtimes/go/ImplementationFromDafny-go/go.mod

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/RecursiveShape
22

33
go 1.23.0
44

5-
require github.com/dafny-lang/DafnyStandardLibGo v0.0.0
5+
require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0
66

77
require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1
88

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

0 commit comments

Comments
 (0)