diff --git a/TestModels/Aggregate/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Aggregate/runtimes/go/ImplementationFromDafny-go/go.mod index e6cd7cfb70..d3faa6204a 100644 --- a/TestModels/Aggregate/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/Aggregate/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Aggregate go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Aggregate/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Aggregate/runtimes/go/TestsFromDafny-go/go.mod index 65cf5da71c..363765917c 100644 --- a/TestModels/Aggregate/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/Aggregate/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Aggregate/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -10,4 +10,4 @@ require ( ) replace github.com/smithy-lang/smithy-dafny/TestModels/Aggregate v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod index b321409890..145bf522ac 100644 --- a/TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/CallingAWSSDKFromLocalService/runtimes/go/ImplementationFromDafny-go/go.mod @@ -5,7 +5,7 @@ go 1.23.0 require ( github.com/aws/smithy-go v1.22.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 github.com/smithy-lang/smithy-dafny/ddbv2 v0.0.0 github.com/smithy-lang/smithy-dafny/kmsv2 v0.0.0 ) @@ -29,7 +29,7 @@ require ( github.com/jmespath/go-jmespath v0.4.0 // indirect ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ replace github.com/smithy-lang/smithy-dafny/kmsv2 => ../../../../aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod index 9cfd3fecff..b53cad34a0 100644 --- a/TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/CallingAWSSDKFromLocalService/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/CallingAWSSDKFromLocalServ go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/aws/aws-sdk-go-v2/service/dynamodb v1.34.9 @@ -33,7 +33,7 @@ require ( replace github.com/smithy-lang/smithy-dafny/TestModels/CallingAWSSDKFromLocalService v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ replace github.com/smithy-lang/smithy-dafny/kmsv2 => ../../../../aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/CodegenPatches/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/CodegenPatches/runtimes/go/ImplementationFromDafny-go/go.mod index e06022140c..ffb30e75d6 100644 --- a/TestModels/CodegenPatches/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/CodegenPatches/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/WrappedSimpleCodegenPatchesService/shim.go b/TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/WrappedSimpleCodegenPatchesService/shim.go index e57b0a9801..f139791c17 100644 --- a/TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/WrappedSimpleCodegenPatchesService/shim.go +++ b/TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/WrappedSimpleCodegenPatchesService/shim.go @@ -6,7 +6,7 @@ import ( "context" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches/SimpleCodegenpatchesTypes" "github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches/simplecodegenpatchessmithygenerated" ) diff --git a/TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/go.mod index 83264d16b3..62296ee68f 100644 --- a/TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -10,4 +10,4 @@ require ( ) replace github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Constraints/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Constraints/runtimes/go/ImplementationFromDafny-go/go.mod index 4e3b3f6e0d..8d6d53ba5d 100644 --- a/TestModels/Constraints/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/Constraints/runtimes/go/ImplementationFromDafny-go/go.mod @@ -4,7 +4,7 @@ go 1.23.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Constraints/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Constraints/runtimes/go/TestsFromDafny-go/go.mod index 86b1b4a308..7108430bef 100644 --- a/TestModels/Constraints/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/Constraints/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Constraints/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -11,4 +11,4 @@ require ( replace github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Constructor/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Constructor/runtimes/go/ImplementationFromDafny-go/go.mod index 812cbfac2b..abe84acb68 100644 --- a/TestModels/Constructor/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/Constructor/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Constructor go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Constructor/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Constructor/runtimes/go/TestsFromDafny-go/go.mod index 1491d3909f..a703951d0f 100644 --- a/TestModels/Constructor/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/Constructor/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Constructor/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -11,4 +11,4 @@ require ( replace github.com/smithy-lang/smithy-dafny/TestModels/Constructor v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Dependencies/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Dependencies/runtimes/go/ImplementationFromDafny-go/go.mod index cb6bd4e77c..1101bd2ea8 100644 --- a/TestModels/Dependencies/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/Dependencies/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Dependencies go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0 @@ -15,7 +15,7 @@ require ( github.com/smithy-lang/smithy-dafny/TestModels/Errors v0.0.0 ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ replace github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0 => ../../../../Constraints/runtimes/go/ImplementationFromDafny-go diff --git a/TestModels/Dependencies/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Dependencies/runtimes/go/TestsFromDafny-go/go.mod index 966f231642..bf98f29e32 100644 --- a/TestModels/Dependencies/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/Dependencies/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Dependencies/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0 @@ -20,7 +20,7 @@ require ( replace github.com/smithy-lang/smithy-dafny/TestModels/Dependencies v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ replace github.com/smithy-lang/smithy-dafny/TestModels/Constraints v0.0.0 => ../../../../Constraints/runtimes/go/ImplementationFromDafny-go diff --git a/TestModels/Errors/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Errors/runtimes/go/ImplementationFromDafny-go/go.mod index 5a8e2bdc49..c6f53fb237 100644 --- a/TestModels/Errors/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/Errors/runtimes/go/ImplementationFromDafny-go/go.mod @@ -4,7 +4,7 @@ go 1.23.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Errors/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Errors/runtimes/go/TestsFromDafny-go/go.mod index 83e27c3741..3a7f13e29c 100644 --- a/TestModels/Errors/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/Errors/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Errors/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -10,4 +10,4 @@ require ( ) replace github.com/smithy-lang/smithy-dafny/TestModels/Errors v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Extendable/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Extendable/runtimes/go/ImplementationFromDafny-go/go.mod index 7e76253453..2684baa832 100644 --- a/TestModels/Extendable/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/Extendable/runtimes/go/ImplementationFromDafny-go/go.mod @@ -4,7 +4,7 @@ go 1.23.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Extendable/runtimes/go/TestsFromDafny-go/WrappedSimpleExtendableResources/shim.go b/TestModels/Extendable/runtimes/go/TestsFromDafny-go/WrappedSimpleExtendableResources/shim.go index 0f04354751..94a4602b2f 100644 --- a/TestModels/Extendable/runtimes/go/TestsFromDafny-go/WrappedSimpleExtendableResources/shim.go +++ b/TestModels/Extendable/runtimes/go/TestsFromDafny-go/WrappedSimpleExtendableResources/shim.go @@ -5,7 +5,7 @@ package WrappedSimpleExtendableResources import ( "context" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/smithy-lang/smithy-dafny/TestModels/Extendable/SimpleExtendableResourcesTypes" "github.com/smithy-lang/smithy-dafny/TestModels/Extendable/simpleextendableresourcessmithygenerated" ) diff --git a/TestModels/Extendable/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Extendable/runtimes/go/TestsFromDafny-go/go.mod index 80636c0830..538cf463ed 100644 --- a/TestModels/Extendable/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/Extendable/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Extendable/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -11,4 +11,4 @@ require ( replace github.com/smithy-lang/smithy-dafny/TestModels/Extendable v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/ExternConstructor/extern.go b/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/ExternConstructor/extern.go index 7c7eb6fbd0..1a0db0270b 100644 --- a/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/ExternConstructor/extern.go +++ b/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/ExternConstructor/extern.go @@ -3,8 +3,8 @@ package ExternConstructor import ( "fmt" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" "github.com/smithy-lang/smithy-dafny/TestModels/Extern/SimpleDafnyExternTypes" ) diff --git a/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/SimpleExternImpl/extern.go b/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/SimpleExternImpl/extern.go index 75656d2111..9ca7ec8fb0 100644 --- a/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/SimpleExternImpl/extern.go +++ b/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/SimpleExternImpl/extern.go @@ -1,7 +1,7 @@ package SimpleExternImpl import ( - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/smithy-lang/smithy-dafny/TestModels/Extern/SimpleDafnyExternTypes" ) diff --git a/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/go.mod index dbfb329832..f66674d953 100644 --- a/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/Extern/runtimes/go/ImplementationFromDafny-go/go.mod @@ -4,7 +4,7 @@ go 1.23.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Extern/runtimes/go/TestsFromDafny-go/WrappedSimpleExternService/shim.go b/TestModels/Extern/runtimes/go/TestsFromDafny-go/WrappedSimpleExternService/shim.go index 8dc66307da..5a7e1b72a9 100644 --- a/TestModels/Extern/runtimes/go/TestsFromDafny-go/WrappedSimpleExternService/shim.go +++ b/TestModels/Extern/runtimes/go/TestsFromDafny-go/WrappedSimpleExternService/shim.go @@ -6,7 +6,7 @@ import ( "context" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/smithy-lang/smithy-dafny/TestModels/Extern/SimpleDafnyExternTypes" "github.com/smithy-lang/smithy-dafny/TestModels/Extern/simpledafnyexternsmithygenerated" ) diff --git a/TestModels/Extern/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Extern/runtimes/go/TestsFromDafny-go/go.mod index f5ecbfebfe..3f1ab3044f 100644 --- a/TestModels/Extern/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/Extern/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Extern/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -11,4 +11,4 @@ require ( replace github.com/smithy-lang/smithy-dafny/TestModels/Extern v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/LocalService/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/LocalService/runtimes/go/ImplementationFromDafny-go/go.mod index 77e9a36e41..5d602df230 100644 --- a/TestModels/LocalService/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/LocalService/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/LocalService go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/LocalService/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/LocalService/runtimes/go/TestsFromDafny-go/go.mod index 246906fe38..39d276e976 100644 --- a/TestModels/LocalService/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/LocalService/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/LocalService/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -10,4 +10,4 @@ require ( ) replace github.com/smithy-lang/smithy-dafny/TestModels/LocalService v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Positional/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Positional/runtimes/go/ImplementationFromDafny-go/go.mod index 1d3413ba62..a9671ae76a 100644 --- a/TestModels/Positional/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/Positional/runtimes/go/ImplementationFromDafny-go/go.mod @@ -4,7 +4,7 @@ go 1.23.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Positional/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Positional/runtimes/go/TestsFromDafny-go/go.mod index c8662deeab..a657b362fb 100644 --- a/TestModels/Positional/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/Positional/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Positional/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -11,4 +11,4 @@ require ( replace github.com/smithy-lang/smithy-dafny/TestModels/Positional v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/RecursiveShape/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/RecursiveShape/runtimes/go/ImplementationFromDafny-go/go.mod index 9f9cae5d70..dad64542e2 100644 --- a/TestModels/RecursiveShape/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/RecursiveShape/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/RecursiveShape go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/RecursiveShape/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/RecursiveShape/runtimes/go/TestsFromDafny-go/go.mod index 36f8dfeeca..3d4254153e 100644 --- a/TestModels/RecursiveShape/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/RecursiveShape/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/RecursiveShape/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -11,4 +11,4 @@ require ( replace github.com/smithy-lang/smithy-dafny/TestModels/RecursiveShape v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Refinement/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Refinement/runtimes/go/ImplementationFromDafny-go/go.mod index dd11d0ecf0..00ade67842 100644 --- a/TestModels/Refinement/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/Refinement/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Refinement go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Refinement/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Refinement/runtimes/go/TestsFromDafny-go/go.mod index 446097b79f..ef14d161a9 100644 --- a/TestModels/Refinement/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/Refinement/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Refinement/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -11,4 +11,4 @@ require ( replace github.com/smithy-lang/smithy-dafny/TestModels/Refinement => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Resource/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Resource/runtimes/go/ImplementationFromDafny-go/go.mod index d1d72c414b..9be1b10975 100644 --- a/TestModels/Resource/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/Resource/runtimes/go/ImplementationFromDafny-go/go.mod @@ -4,7 +4,7 @@ go 1.23.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Resource/runtimes/go/TestsFromDafny-go/WrappedSimpleResources/shim.go b/TestModels/Resource/runtimes/go/TestsFromDafny-go/WrappedSimpleResources/shim.go index 076b4bb349..1d6c0983c3 100644 --- a/TestModels/Resource/runtimes/go/TestsFromDafny-go/WrappedSimpleResources/shim.go +++ b/TestModels/Resource/runtimes/go/TestsFromDafny-go/WrappedSimpleResources/shim.go @@ -5,7 +5,7 @@ package WrappedSimpleResources import ( "context" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/smithy-lang/smithy-dafny/TestModels/Resource/SimpleResourcesTypes" "github.com/smithy-lang/smithy-dafny/TestModels/Resource/simpleresourcessmithygenerated" ) diff --git a/TestModels/Resource/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Resource/runtimes/go/TestsFromDafny-go/go.mod index b4ce4bbfec..ad32d96df0 100644 --- a/TestModels/Resource/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/Resource/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Resource/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -14,4 +14,4 @@ replace github.com/smithy-lang/smithy-dafny/TestModels/Resource v0.0.0 => ../Imp //TODO: Drop this after Dafny fixes the https://t.corp.amazon.com/P150784381 replace github.com/dafny-lang/DafnyRuntimeGo => ../../../../../DafnyRuntimeGo/ -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleBlob/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleBlob/runtimes/go/ImplementationFromDafny-go/go.mod index ce885fe04c..8d8e35ca69 100644 --- a/TestModels/SimpleTypes/SimpleBlob/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleBlob/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleBlob go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleBlob/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleBlob/runtimes/go/TestsFromDafny-go/go.mod index 7895671318..fd2f692516 100644 --- a/TestModels/SimpleTypes/SimpleBlob/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleBlob/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleBlob/tes go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -10,4 +10,4 @@ require ( ) replace github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleBlob v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleBoolean/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleBoolean/runtimes/go/ImplementationFromDafny-go/go.mod index 3e1c8783c3..99149ede95 100644 --- a/TestModels/SimpleTypes/SimpleBoolean/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleBoolean/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleBoolean go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleBoolean/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleBoolean/runtimes/go/TestsFromDafny-go/go.mod index bff187cf16..dad7e89060 100644 --- a/TestModels/SimpleTypes/SimpleBoolean/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleBoolean/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleBoolean/ go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -10,4 +10,4 @@ require ( ) replace github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleBoolean v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleDouble/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleDouble/runtimes/go/ImplementationFromDafny-go/go.mod index 1523c314d7..9f1f297e8e 100644 --- a/TestModels/SimpleTypes/SimpleDouble/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleDouble/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleDouble go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleDouble/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesDouble/shim.go b/TestModels/SimpleTypes/SimpleDouble/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesDouble/shim.go index d02bfd2432..89ae361041 100644 --- a/TestModels/SimpleTypes/SimpleDouble/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesDouble/shim.go +++ b/TestModels/SimpleTypes/SimpleDouble/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesDouble/shim.go @@ -6,7 +6,7 @@ import ( "context" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleDouble/SimpleTypesSmithyDoubleTypes" "github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleDouble/simpletypessmithydoublesmithygenerated" ) diff --git a/TestModels/SimpleTypes/SimpleDouble/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleDouble/runtimes/go/TestsFromDafny-go/go.mod index 0cfe89b5bf..e6f7368aa0 100644 --- a/TestModels/SimpleTypes/SimpleDouble/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleDouble/runtimes/go/TestsFromDafny-go/go.mod @@ -4,10 +4,10 @@ go 1.23.0 replace github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleDouble v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleDouble v0.0.0 ) diff --git a/TestModels/SimpleTypes/SimpleEnum/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleEnum/runtimes/go/ImplementationFromDafny-go/go.mod index 7b5393479f..b5677368ff 100644 --- a/TestModels/SimpleTypes/SimpleEnum/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleEnum/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleEnum go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleEnum/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesEnumService/shim.go b/TestModels/SimpleTypes/SimpleEnum/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesEnumService/shim.go index 69a9b8d76a..bee7bc00e9 100644 --- a/TestModels/SimpleTypes/SimpleEnum/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesEnumService/shim.go +++ b/TestModels/SimpleTypes/SimpleEnum/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesEnumService/shim.go @@ -5,7 +5,7 @@ package WrappedSimpleTypesEnumService import ( "context" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleEnum/SimpleTypesSmithyEnumTypes" "github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleEnum/simpletypessmithyenumsmithygenerated" ) diff --git a/TestModels/SimpleTypes/SimpleEnum/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleEnum/runtimes/go/TestsFromDafny-go/go.mod index 0de6a10138..a107a5f1dc 100644 --- a/TestModels/SimpleTypes/SimpleEnum/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleEnum/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleEnum/tes go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -10,4 +10,4 @@ require ( ) replace github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleEnum v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleEnumV2/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleEnumV2/runtimes/go/ImplementationFromDafny-go/go.mod index 4e4f20405f..9f155ae52e 100644 --- a/TestModels/SimpleTypes/SimpleEnumV2/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleEnumV2/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleEnumV2 go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleEnumV2/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleEnumV2/runtimes/go/TestsFromDafny-go/go.mod index 7fb97ebd7f..712636d89b 100644 --- a/TestModels/SimpleTypes/SimpleEnumV2/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleEnumV2/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleEnumV2/t go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -10,4 +10,4 @@ require ( ) replace github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleEnumV2 v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleInteger/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleInteger/runtimes/go/ImplementationFromDafny-go/go.mod index 42906f14ac..d46ee5f8a4 100644 --- a/TestModels/SimpleTypes/SimpleInteger/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleInteger/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleInteger go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleInteger/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleInteger/runtimes/go/TestsFromDafny-go/go.mod index bc7517b4f2..acee7f728e 100644 --- a/TestModels/SimpleTypes/SimpleInteger/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleInteger/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleInteger/ go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -10,4 +10,4 @@ require ( ) replace github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleInteger v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleLong/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleLong/runtimes/go/ImplementationFromDafny-go/go.mod index a8ac314a86..ae6e0973e4 100644 --- a/TestModels/SimpleTypes/SimpleLong/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleLong/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleLong go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleLong/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesLongService/shim.go b/TestModels/SimpleTypes/SimpleLong/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesLongService/shim.go index 704654e787..9cf5edd733 100644 --- a/TestModels/SimpleTypes/SimpleLong/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesLongService/shim.go +++ b/TestModels/SimpleTypes/SimpleLong/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesLongService/shim.go @@ -6,7 +6,7 @@ import ( "context" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleLong/SimpleTypesSmithyLongTypes" "github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleLong/simpletypessmithylongsmithygenerated" ) diff --git a/TestModels/SimpleTypes/SimpleLong/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleLong/runtimes/go/TestsFromDafny-go/go.mod index 10dfd23f62..e75de17e73 100644 --- a/TestModels/SimpleTypes/SimpleLong/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleLong/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleLong/tes go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -10,4 +10,4 @@ require ( ) replace github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleLong v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleString/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleString/runtimes/go/ImplementationFromDafny-go/go.mod index b97f97922a..99c14bcd8f 100644 --- a/TestModels/SimpleTypes/SimpleString/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleString/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleString go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleString/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesStringService/shim.go b/TestModels/SimpleTypes/SimpleString/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesStringService/shim.go index fc00d2e1bd..8be859f493 100644 --- a/TestModels/SimpleTypes/SimpleString/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesStringService/shim.go +++ b/TestModels/SimpleTypes/SimpleString/runtimes/go/TestsFromDafny-go/WrappedSimpleTypesStringService/shim.go @@ -6,7 +6,7 @@ import ( "context" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleString/SimpleTypesSmithyStringTypes" "github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleString/simpletypessmithystringsmithygenerated" ) diff --git a/TestModels/SimpleTypes/SimpleString/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleString/runtimes/go/TestsFromDafny-go/go.mod index 2118fbe921..c25a1413f0 100644 --- a/TestModels/SimpleTypes/SimpleString/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleString/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleString/t go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -10,4 +10,4 @@ require ( ) replace github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleString v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleTimestamp/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleTimestamp/runtimes/go/ImplementationFromDafny-go/go.mod index 599af36960..f4188d1f9f 100644 --- a/TestModels/SimpleTypes/SimpleTimestamp/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleTimestamp/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleTimestam go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/SimpleTypes/SimpleTimestamp/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/SimpleTypes/SimpleTimestamp/runtimes/go/TestsFromDafny-go/go.mod index 7aa731b2da..2bd85f42d8 100644 --- a/TestModels/SimpleTypes/SimpleTimestamp/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/SimpleTypes/SimpleTimestamp/runtimes/go/TestsFromDafny-go/go.mod @@ -4,11 +4,11 @@ go 1.23.0 replace github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleTimestamp v0.0.0 => ../ImplementationFromDafny-go -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 github.com/smithy-lang/smithy-dafny/TestModels/SimpleTypes/SimpleTimestamp v0.0.0 ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Union/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/Union/runtimes/go/ImplementationFromDafny-go/go.mod index d29a46b200..981a54eaac 100644 --- a/TestModels/Union/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/Union/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,8 +2,8 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Union go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/Union/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/Union/runtimes/go/TestsFromDafny-go/go.mod index d9a459d74f..f8810d7f93 100644 --- a/TestModels/Union/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/Union/runtimes/go/TestsFromDafny-go/go.mod @@ -2,7 +2,7 @@ module github.com/smithy-lang/smithy-dafny/TestModels/Union/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 require ( github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -10,4 +10,4 @@ require ( ) replace github.com/smithy-lang/smithy-dafny/TestModels/Union v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/TestModels/aws-sdks/ddb/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/extern.go b/TestModels/aws-sdks/ddb/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/extern.go index ddcc2e8d87..480559d65e 100644 --- a/TestModels/aws-sdks/ddb/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/extern.go +++ b/TestModels/aws-sdks/ddb/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/extern.go @@ -3,10 +3,10 @@ package Com_Amazonaws_Dynamodb import ( "context" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/config" "github.com/aws/aws-sdk-go-v2/service/dynamodb" _dafny "github.com/dafny-lang/DafnyRuntimeGo/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" "github.com/smithy-lang/smithy-dafny/ddb/ComAmazonawsDynamodbTypes" "github.com/smithy-lang/smithy-dafny/ddb/DynamoDBwrapped" ) diff --git a/TestModels/aws-sdks/ddb/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/aws-sdks/ddb/runtimes/go/ImplementationFromDafny-go/go.mod index 35a5ba1bdb..6fcfc645e5 100644 --- a/TestModels/aws-sdks/ddb/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/aws-sdks/ddb/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,12 +2,12 @@ module github.com/smithy-lang/smithy-dafny/ddb go 1.23.0 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ require ( github.com/aws/aws-sdk-go-v2/service/dynamodb v1.34.9 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0-00010101000000-000000000000 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0-00010101000000-000000000000 ) require ( diff --git a/TestModels/aws-sdks/ddb/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/aws-sdks/ddb/runtimes/go/TestsFromDafny-go/go.mod index fb3d9117f1..f41066ffd1 100644 --- a/TestModels/aws-sdks/ddb/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/aws-sdks/ddb/runtimes/go/TestsFromDafny-go/go.mod @@ -3,12 +3,12 @@ module github.com/smithy-lang/smithy-dafny/ddb/test go 1.23.0 replace github.com/smithy-lang/smithy-dafny/ddb v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ require ( github.com/aws/aws-sdk-go-v2/service/dynamodb v1.34.9 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0-00010101000000-000000000000 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0-00010101000000-000000000000 github.com/smithy-lang/smithy-dafny/ddb v0.0.0 ) diff --git a/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/extern.go b/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/extern.go index c2d5fdaad3..db6d9fc66a 100644 --- a/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/extern.go +++ b/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/extern.go @@ -3,10 +3,10 @@ package Com_Amazonaws_Dynamodb import ( "context" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/config" "github.com/aws/aws-sdk-go-v2/service/dynamodb" _dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" "github.com/smithy-lang/smithy-dafny/ddbv2/ComAmazonawsDynamodbTypes" "github.com/smithy-lang/smithy-dafny/ddbv2/DynamoDBwrapped" ) diff --git a/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/go.mod index 335b4a3b20..c39518c34f 100644 --- a/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/aws-sdks/ddbv2/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,14 +2,14 @@ module github.com/smithy-lang/smithy-dafny/ddbv2 go 1.23.0 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ require ( github.com/aws/aws-sdk-go-v2/config v1.28.3 github.com/aws/aws-sdk-go-v2/service/dynamodb v1.34.9 github.com/aws/smithy-go v1.22.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0-00010101000000-000000000000 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0-00010101000000-000000000000 ) require ( diff --git a/TestModels/aws-sdks/ddbv2/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/aws-sdks/ddbv2/runtimes/go/TestsFromDafny-go/go.mod index 556c7a24cd..d59146e217 100644 --- a/TestModels/aws-sdks/ddbv2/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/aws-sdks/ddbv2/runtimes/go/TestsFromDafny-go/go.mod @@ -3,13 +3,13 @@ module github.com/smithy-lang/smithy-dafny/ddbv2/test go 1.23.0 replace github.com/smithy-lang/smithy-dafny/ddbv2 v0.0.0 => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ require ( github.com/aws/aws-sdk-go-v2/service/dynamodb v1.34.9 github.com/aws/smithy-go v1.22.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0-00010101000000-000000000000 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0-00010101000000-000000000000 github.com/smithy-lang/smithy-dafny/ddbv2 v0.0.0 ) diff --git a/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Kms/extern.go b/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Kms/extern.go index f462d40fd5..71c7197ea8 100644 --- a/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Kms/extern.go +++ b/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Kms/extern.go @@ -3,10 +3,10 @@ package Com_Amazonaws_Kms import ( "context" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/config" "github.com/aws/aws-sdk-go-v2/service/kms" _dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ComAmazonawsKmsTypes "github.com/smithy-lang/smithy-dafny/kmsv2/ComAmazonawsKmsTypes" "github.com/smithy-lang/smithy-dafny/kmsv2/KMSwrapped" ) diff --git a/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/go.mod index c444d62d36..f331443bc0 100644 --- a/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/aws-sdks/kmsv2/runtimes/go/ImplementationFromDafny-go/go.mod @@ -2,14 +2,14 @@ module github.com/smithy-lang/smithy-dafny/kmsv2 go 1.23.0 -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ require ( github.com/aws/aws-sdk-go-v2/config v1.28.0 github.com/aws/aws-sdk-go-v2/service/kms v1.35.5 github.com/aws/smithy-go v1.22.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0-00010101000000-000000000000 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0-00010101000000-000000000000 ) require ( diff --git a/TestModels/aws-sdks/kmsv2/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/aws-sdks/kmsv2/runtimes/go/TestsFromDafny-go/go.mod index c697d35c71..d9412901b9 100644 --- a/TestModels/aws-sdks/kmsv2/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/aws-sdks/kmsv2/runtimes/go/TestsFromDafny-go/go.mod @@ -4,13 +4,13 @@ go 1.23.0 replace github.com/smithy-lang/smithy-dafny/kmsv2 v0.0.0 => ./../../../../kmsv2/runtimes/go/ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../../dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/ require ( github.com/aws/aws-sdk-go-v2/service/kms v1.35.5 github.com/aws/smithy-go v1.22.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0-00010101000000-000000000000 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0-00010101000000-000000000000 github.com/smithy-lang/smithy-dafny/kmsv2 v0.0.0 ) diff --git a/TestModels/dafny-dependencies/StandardLibrary/Makefile b/TestModels/dafny-dependencies/StandardLibrary/Makefile index 8bb9bf1d61..af2e417bce 100644 --- a/TestModels/dafny-dependencies/StandardLibrary/Makefile +++ b/TestModels/dafny-dependencies/StandardLibrary/Makefile @@ -11,7 +11,7 @@ MAX_RESOURCE_COUNT=500000000 PYTHON_MODULE_NAME=smithy_dafny_standard_library LIBRARIES := -GO_MODULE_NAME="github.com/dafny-lang/DafnyStandardLibGo" +GO_MODULE_NAME="github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library" # define standard colors ifneq (,$(findstring xterm,${TERM})) diff --git a/TestModels/dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/UTF8/externs.go b/TestModels/dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/UTF8/externs.go index 1d2a66ba82..3fa805c776 100644 --- a/TestModels/dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/UTF8/externs.go +++ b/TestModels/dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/UTF8/externs.go @@ -6,8 +6,8 @@ import ( "unicode/utf16" "unicode/utf8" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) //IMP: The below extern implementations are only compatible diff --git a/TestModels/dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.mod b/TestModels/dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.mod index b9b0188295..cf7087e4e0 100644 --- a/TestModels/dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestModels/dafny-dependencies/StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.mod @@ -1,4 +1,4 @@ -module github.com/dafny-lang/DafnyStandardLibGo +module github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library go 1.23.0 diff --git a/TestModels/dafny-dependencies/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/dafny-dependencies/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod index e79776a3c1..c14643be46 100644 --- a/TestModels/dafny-dependencies/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestModels/dafny-dependencies/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod @@ -1,10 +1,10 @@ -module github.com/dafny-lang/DafnyStandardLibGo/test +module github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 +require github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 -replace github.com/dafny-lang/DafnyStandardLibGo v0.0.0 => ../ImplementationFromDafny-go +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 => ../ImplementationFromDafny-go require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/DafnyAwsSdkClientShimGenerator.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/DafnyAwsSdkClientShimGenerator.java index d0d03c1845..7cc04c6706 100644 --- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/DafnyAwsSdkClientShimGenerator.java +++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/DafnyAwsSdkClientShimGenerator.java @@ -1,6 +1,7 @@ package software.amazon.polymorph.smithygo.awssdk; import static software.amazon.polymorph.smithygo.utils.Constants.DAFNY_RUNTIME_GO_LIBRARY_MODULE; +import static software.amazon.polymorph.smithygo.utils.Constants.SMITHY_DAFNY_STD_LIB_GO; import software.amazon.polymorph.smithygo.codegen.AddOperationShapes; import software.amazon.polymorph.smithygo.codegen.GenerationContext; @@ -68,10 +69,7 @@ void generateShim() { .getNamespace() ) ); - writer.addImportFromModule( - "github.com/dafny-lang/DafnyStandardLibGo", - "Wrappers" - ); + writer.addImportFromModule(SMITHY_DAFNY_STD_LIB_GO, "Wrappers"); writer.addUseImports(SmithyGoDependency.CONTEXT); writer.addImportFromModule( SmithyNameResolver.getGoModuleNameForSmithyNamespace( diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/shapevisitor/AwsSdkToDafnyShapeVisitor.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/shapevisitor/AwsSdkToDafnyShapeVisitor.java index fd621efe36..fdbed06cde 100644 --- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/shapevisitor/AwsSdkToDafnyShapeVisitor.java +++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/shapevisitor/AwsSdkToDafnyShapeVisitor.java @@ -2,6 +2,7 @@ import static software.amazon.polymorph.smithygo.localservice.nameresolver.Constants.DOT; import static software.amazon.polymorph.smithygo.utils.Constants.DAFNY_RUNTIME_GO_LIBRARY_MODULE; +import static software.amazon.polymorph.smithygo.utils.Constants.SMITHY_DAFNY_STD_LIB_GO; import java.util.LinkedHashMap; import java.util.Map; @@ -140,10 +141,7 @@ public String blobShape(final BlobShape shape) { public String structureShape(final StructureShape shape) { final var typeConversionMethodBuilder = new StringBuilder(); - writer.addImportFromModule( - "github.com/dafny-lang/DafnyStandardLibGo", - "Wrappers" - ); + writer.addImportFromModule(SMITHY_DAFNY_STD_LIB_GO, "Wrappers"); writer.addImportFromModule( SmithyNameResolver.getGoModuleNameForSmithyNamespace( shape.toShapeId().getNamespace() diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/shapevisitor/DafnyToAwsSdkShapeVisitor.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/shapevisitor/DafnyToAwsSdkShapeVisitor.java index aa80be3a3f..499e7aabec 100644 --- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/shapevisitor/DafnyToAwsSdkShapeVisitor.java +++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/awssdk/shapevisitor/DafnyToAwsSdkShapeVisitor.java @@ -1,6 +1,7 @@ package software.amazon.polymorph.smithygo.awssdk.shapevisitor; import static software.amazon.polymorph.smithygo.utils.Constants.DAFNY_RUNTIME_GO_LIBRARY_MODULE; +import static software.amazon.polymorph.smithygo.utils.Constants.SMITHY_DAFNY_STD_LIB_GO; import java.util.*; import software.amazon.polymorph.smithygo.awssdk.AwsSdkGoPointableIndex; @@ -600,10 +601,7 @@ public String doubleShape(final DoubleShape shape) { @Override public String unionShape(final UnionShape shape) { writer.addImportFromModule(DAFNY_RUNTIME_GO_LIBRARY_MODULE, "dafny"); - writer.addImportFromModule( - "github.com/dafny-lang/DafnyStandardLibGo", - "Wrappers" - ); + writer.addImportFromModule(SMITHY_DAFNY_STD_LIB_GO, "Wrappers"); var nilCheck = ""; if (this.isOptional) { diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceGenerator.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceGenerator.java index 3f9a88006c..191a740745 100644 --- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceGenerator.java +++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/DafnyLocalServiceGenerator.java @@ -5,6 +5,7 @@ import static software.amazon.polymorph.smithygo.codegen.SymbolUtils.POINTABLE; import static software.amazon.polymorph.smithygo.utils.Constants.DAFNY_RUNTIME_GO_LIBRARY_MODULE; +import static software.amazon.polymorph.smithygo.utils.Constants.SMITHY_DAFNY_STD_LIB_GO; import java.util.LinkedHashSet; import java.util.stream.Collectors; @@ -404,10 +405,7 @@ void generateShim() { ), DafnyNameResolver.dafnyTypesNamespace(service) ); - writer.addImportFromModule( - "github.com/dafny-lang/DafnyStandardLibGo", - "Wrappers" - ); + writer.addImportFromModule(SMITHY_DAFNY_STD_LIB_GO, "Wrappers"); writer.addImportFromModule( SmithyNameResolver.getGoModuleNameForSmithyNamespace( context.settings().getService().getNamespace() @@ -1032,10 +1030,7 @@ void generateNativeResourceWrapper( context.settings().getModuleName(), SmithyNameResolver.smithyTypesNamespace(service) ); - writer.addImportFromModule( - "github.com/dafny-lang/DafnyStandardLibGo", - "Wrappers" - ); + writer.addImportFromModule(SMITHY_DAFNY_STD_LIB_GO, "Wrappers"); writer.addImportFromModule( SmithyNameResolver.getGoModuleNameForSmithyNamespace( resourceShape.toShapeId().getNamespace() diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/shapevisitor/SmithyToDafnyShapeVisitor.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/shapevisitor/SmithyToDafnyShapeVisitor.java index 68297d39c0..10bc55e32e 100644 --- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/shapevisitor/SmithyToDafnyShapeVisitor.java +++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/localservice/shapevisitor/SmithyToDafnyShapeVisitor.java @@ -2,6 +2,7 @@ import static software.amazon.polymorph.smithygo.codegen.SymbolUtils.POINTABLE; import static software.amazon.polymorph.smithygo.utils.Constants.DAFNY_RUNTIME_GO_LIBRARY_MODULE; +import static software.amazon.polymorph.smithygo.utils.Constants.SMITHY_DAFNY_STD_LIB_GO; import java.util.LinkedHashMap; import java.util.Map; @@ -245,10 +246,7 @@ public String structureShape(final StructureShape shape) { return referenceStructureShape(shape); } final var typeConversionMethodBuilder = new StringBuilder(); - writer.addImportFromModule( - "github.com/dafny-lang/DafnyStandardLibGo", - "Wrappers" - ); + writer.addImportFromModule(SMITHY_DAFNY_STD_LIB_GO, "Wrappers"); writer.addImportFromModule( SmithyNameResolver.getGoModuleNameForSmithyNamespace( shape.toShapeId().getNamespace() diff --git a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/utils/Constants.java b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/utils/Constants.java index 7cdba14965..6b100d2112 100644 --- a/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/utils/Constants.java +++ b/codegen/smithy-dafny-codegen/src/main/java/software/amazon/polymorph/smithygo/utils/Constants.java @@ -10,6 +10,8 @@ public class Constants { public static final String DAFNY_RUNTIME_GO_LIBRARY_MODULE = "github.com/dafny-lang/DafnyRuntimeGo/v4"; + public static final String SMITHY_DAFNY_STD_LIB_GO = + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library"; // TODO: Is it possible to make this function name shorter and in camelCase? /**