Merge branch 'main-1.x' into rishav/go/orphanShapes

smithy-lang · Jan 16, 2025 · 258a650 · 258a650
2 parents ee6ff33 + 84523f4
commit 258a650
Show file tree

Hide file tree

Showing 115 changed files with 254 additions and 216 deletions.
diff --git 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
@@ -2,12 +2,12 @@ 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
 	github.com/smithy-lang/smithy-dafny/TestModels/Aggregate v0.0.0
 )
 
 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/Aggregate/runtimes/python/pyproject.toml b/TestModels/Aggregate/runtimes/python/pyproject.toml
@@ -22,5 +22,5 @@ smithy-dafny-standard-library = {path = "../../../dafny-dependencies/StandardLib
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"
diff --git 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
@@ -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
@@ -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/...s/CodegenPatches/runtimes/go/TestsFromDafny-go/WrappedSimpleCodegenPatchesService/shim.go b/...s/CodegenPatches/runtimes/go/TestsFromDafny-go/WrappedSimpleCodegenPatchesService/shim.go
diff --git a/TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/go.mod b/TestModels/CodegenPatches/runtimes/go/TestsFromDafny-go/go.mod
@@ -2,12 +2,12 @@ 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
 	github.com/smithy-lang/smithy-dafny/TestModels/CodegenPatches v0.0.0
 )
 
 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/CodegenPatches/runtimes/python/pyproject.toml b/TestModels/CodegenPatches/runtimes/python/pyproject.toml
@@ -22,5 +22,5 @@ DafnyRuntimePython = "^4.7.0"
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"
diff --git 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
@@ -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/Constraints/runtimes/python/pyproject.toml b/TestModels/Constraints/runtimes/python/pyproject.toml
@@ -22,5 +22,5 @@ DafnyRuntimePython = "^4.7.0"
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"
diff --git 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
@@ -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/Constructor/runtimes/python/pyproject.toml b/TestModels/Constructor/runtimes/python/pyproject.toml
@@ -22,5 +22,5 @@ smithy-dafny-standard-library = { path = "../../../dafny-dependencies/StandardLi
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"
diff --git 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
@@ -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/Dependencies/runtimes/python/pyproject.toml b/TestModels/Dependencies/runtimes/python/pyproject.toml
@@ -26,5 +26,5 @@ DafnyRuntimePython = "^4.7.0"
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"
diff --git a/TestModels/Documentation/runtimes/python/pyproject.toml b/TestModels/Documentation/runtimes/python/pyproject.toml
@@ -22,5 +22,5 @@ DafnyRuntimePython = "^4.7.0"
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"
diff --git 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
@@ -2,12 +2,12 @@ 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
 	github.com/smithy-lang/smithy-dafny/TestModels/Errors v0.0.0
 )
 
 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/Errors/runtimes/python/pyproject.toml b/TestModels/Errors/runtimes/python/pyproject.toml
@@ -22,5 +22,5 @@ DafnyRuntimePython = "^4.7.0"
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"
diff --git 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
diff --git 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/Extendable/runtimes/python/pyproject.toml b/TestModels/Extendable/runtimes/python/pyproject.toml
@@ -22,5 +22,5 @@ DafnyRuntimePython = "^4.7.0"
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"
diff --git 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
@@ -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
@@ -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
diff --git 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/Extern/runtimes/python/pyproject.toml b/TestModels/Extern/runtimes/python/pyproject.toml
@@ -22,5 +22,5 @@ DafnyRuntimePython = "^4.7.0"
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"
diff --git a/TestModels/LanguageSpecificLogic/runtimes/python/pyproject.toml b/TestModels/LanguageSpecificLogic/runtimes/python/pyproject.toml
@@ -22,5 +22,5 @@ DafnyRuntimePython = "^4.7.0"
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"
diff --git 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
@@ -2,12 +2,12 @@ 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
 	github.com/smithy-lang/smithy-dafny/TestModels/LocalService v0.0.0
 )
 
 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/LocalService/runtimes/python/pyproject.toml b/TestModels/LocalService/runtimes/python/pyproject.toml
@@ -22,5 +22,5 @@ DafnyRuntimePython = "^4.7.0"
 pytest = "^7.4.0"
 
 [build-system]
-requires = ["poetry-core"]
+requires = ["poetry-core<2.0.0"]
 build-backend = "poetry.core.masonry.api"