release(go): smithy-dafny-standard-library v0.3.0

Co-authored-by: GitHub Actions <[email protected]>
Co-authored-by: Shubham Chaturvedi <[email protected]>

Author: 3 people

releases/go/smithy-dafny-standard-library/CHANGELOG.md

@@ -1,5 +1,11 @@
 # Changelog
 
+## [releases/go/smithy-dafny-standard-library/v0.3.0] - 2025-10-23
+
+### Performance
+
+- Improved Dafny Go Array performance
+
 ## [releases/go/mpl/v0.2.2] - 2025-08-25
 
 ### Maintenance

releases/go/smithy-dafny-standard-library/go.mod

@@ -2,6 +2,6 @@ module github.com/aws/aws-cryptographic-material-providers-library/releases/go/s
 
 go 1.23.0
 
-require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.10.1
+require github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2
 
 require github.com/google/uuid v1.6.0

releases/go/smithy-dafny-standard-library/go.sum

@@ -1,4 +1,4 @@
-github.com/dafny-lang/DafnyRuntimeGo/v4 v4.10.1 h1:QyrSST4WJYQIXRSJNXFEwL1NIoA9bgirUHK8YwGoWkA=
-github.com/dafny-lang/DafnyRuntimeGo/v4 v4.10.1/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
+github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2 h1:Q1BMAsz2goAaVznYICm2PRfjjFz5HM8ikOM6Jxqfd3M=
+github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
 github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=
 github.com/google/uuid v1.6.0/go.mod h1:TIyPZe4MgqvfeYDBFedMoGGpEw/LqOeaOT+nhxU+yHo=