Skip to content

Commit 5f2aa33

Browse files
chore(go): Release mpl Go module 0.2.2 (#1704)
Co-authored-by: GitHub Actions <[email protected]>
1 parent 76846e1 commit 5f2aa33

File tree

5 files changed

+73
-63
lines changed

5 files changed

+73
-63
lines changed

releases/go/mpl/CHANGELOG.md

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,22 @@
11
# Changelog
22

3+
## [releases/go/mpl/v0.2.2] - 2025-08-26
4+
5+
### Maintenance
6+
7+
- _(go)_ Update release script (#1676)
8+
- _(go)_ Update release script to cd to right directory (#1679)
9+
- _(go)_ Remove create pull request step in go release workflow (#1681)
10+
- _(all languages)_ Add new SearchAndReplaceWhole and friends (#1680)
11+
- _(all languages)_ Add fuzz testing to MPL (#1622)
12+
- _(all languages)_ Optimize mutation map for O(1) performance in Go (#1687)
13+
- _(go)_ Add go 1.25 to CI (#1684)
14+
- _(go)_ Put back content() in mutable maps extern (#1694)
15+
- _(go)_ Release smithy-dafny-standard-library Go module 0.2.2 (#1696)
16+
- _(go)_ Release kms Go module 0.2.2 (#1697)
17+
- _(go)_ Release primitives Go module 0.2.2 (#1699)
18+
- _(go)_ Release dynamodb Go module 0.2.2 (#1698)
19+
320
## [releases/go/mpl/v0.2.1] - 2025-08-06
421

522
### Fixes

releases/go/mpl/LocalCMC/LocalCMC.go

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -659,7 +659,7 @@ func (_this *LocalCMC) Ctor__(entryCapacity_k uint64, entryPruningTailSize_k uin
659659
{
660660
(_this)._entryCapacity = entryCapacity_k
661661
(_this)._entryPruningTailSize = entryPruningTailSize_k
662-
var _nw0 *m_DafnyLibraries.MutableMap = m_DafnyLibraries.New_MutableMap_()
662+
var _nw0 *m_DafnyLibraries.MutableMap = m_DafnyLibraries.New_MutableMap_(true)
663663
_ = _nw0
664664
(_this).Cache = _nw0
665665
var _nw1 *DoublyLinkedCacheEntryList = New_DoublyLinkedCacheEntryList_()

releases/go/mpl/StormTracker/StormTracker.go

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -485,7 +485,7 @@ func (_this *StormTracker) Ctor__(cache m_AwsCryptographyMaterialProvidersTypes.
485485
_ = _nw0
486486
_nw0.Ctor__(uint64((cache).Dtor_entryCapacity()), uint64(((cache).Dtor_entryPruningTailSize()).UnwrapOr(int32(1)).(int32)))
487487
(_this).Wrapped = _nw0
488-
var _nw1 *m_DafnyLibraries.MutableMap = m_DafnyLibraries.New_MutableMap_()
488+
var _nw1 *m_DafnyLibraries.MutableMap = m_DafnyLibraries.New_MutableMap_(true)
489489
_ = _nw1
490490
(_this).InFlight = _nw1
491491
(_this).GracePeriod = _0_gracePeriod

releases/go/mpl/go.mod

Lines changed: 18 additions & 25 deletions
Original file line numberDiff line numberDiff line change
@@ -2,39 +2,32 @@ module github.com/aws/aws-cryptographic-material-providers-library/releases/go/m
22

33
go 1.23.0
44

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

77
require (
8-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.1
9-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.1
10-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.1
11-
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.46.0
12-
github.com/aws/aws-sdk-go-v2/service/kms v1.43.0
8+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.2
9+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2
10+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2
11+
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.49.1
12+
github.com/aws/aws-sdk-go-v2/service/kms v1.44.2
1313
github.com/aws/smithy-go v1.22.5
14-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.10.1
14+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.0
1515

1616
)
1717

1818
require (
19-
github.com/aws/aws-sdk-go-v2 v1.37.2 // indirect
20-
github.com/aws/aws-sdk-go-v2/config v1.30.3 // indirect
21-
github.com/aws/aws-sdk-go-v2/credentials v1.18.3 // indirect
22-
github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.18.2 // indirect
23-
github.com/aws/aws-sdk-go-v2/internal/configsources v1.4.2 // indirect
24-
github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.7.2 // indirect
19+
github.com/aws/aws-sdk-go-v2 v1.38.1 // indirect
20+
github.com/aws/aws-sdk-go-v2/config v1.31.2 // indirect
21+
github.com/aws/aws-sdk-go-v2/credentials v1.18.6 // indirect
22+
github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.18.4 // indirect
23+
github.com/aws/aws-sdk-go-v2/internal/configsources v1.4.4 // indirect
24+
github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.7.4 // indirect
2525
github.com/aws/aws-sdk-go-v2/internal/ini v1.8.3 // indirect
2626
github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.13.0 // indirect
27-
github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.11.2 // indirect
28-
github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.13.2 // indirect
29-
github.com/aws/aws-sdk-go-v2/service/sso v1.27.0 // indirect
30-
github.com/aws/aws-sdk-go-v2/service/ssooidc v1.32.0 // indirect
31-
github.com/aws/aws-sdk-go-v2/service/sts v1.36.0 // indirect
27+
github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.11.4 // indirect
28+
github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.13.4 // indirect
29+
github.com/aws/aws-sdk-go-v2/service/sso v1.28.2 // indirect
30+
github.com/aws/aws-sdk-go-v2/service/ssooidc v1.33.2 // indirect
31+
github.com/aws/aws-sdk-go-v2/service/sts v1.38.0 // indirect
3232
github.com/google/uuid v1.6.0 // indirect
3333
)
34-
35-
replace (
36-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/
37-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/
38-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/
39-
40-
)

releases/go/mpl/go.sum

Lines changed: 36 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -1,44 +1,44 @@
1-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.1 h1:nvrlDo1EddNCFknnyaW7s49P4Vwjgbm1VT13Mh87+D0=
2-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.1/go.mod h1:lZ/LN+rINEWvrfRItZoMNYPp6nTx/iZLIlXYq5yvWvA=
3-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.1 h1:GHba7vmqUvFOLhQvpzfE9KCh2oIOn/nQaN5Xu2rY1Ac=
4-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.1/go.mod h1:Rh8pLBW83043mr0GMCE5k68x7Gm/zMBtcWBuGFrsleM=
5-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.1 h1:TAIxapsLa/vJVrDyVM9R/+wuFWYdnyjfe/N9lvn5yFc=
6-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.1/go.mod h1:Uj8qJSU7Bx4YHEv0Up8J91Dh9TU0ggFnpAWLAbiFx+k=
7-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.1 h1:KShsiDfiiFa2A4UBh81BfiBMnNBIkelql7filQw6kfQ=
8-
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.1/go.mod h1:j4QF5oVY9L1yNZrzoDu3l3d8TRh53uBw3FLZCL7xCTk=
9-
github.com/aws/aws-sdk-go-v2 v1.37.2 h1:xkW1iMYawzcmYFYEV0UCMxc8gSsjCGEhBXQkdQywVbo=
10-
github.com/aws/aws-sdk-go-v2 v1.37.2/go.mod h1:9Q0OoGQoboYIAJyslFyF1f5K1Ryddop8gqMhWx/n4Wg=
11-
github.com/aws/aws-sdk-go-v2/config v1.30.3 h1:utupeVnE3bmB221W08P0Moz1lDI3OwYa2fBtUhl7TCc=
12-
github.com/aws/aws-sdk-go-v2/config v1.30.3/go.mod h1:NDGwOEBdpyZwLPlQkpKIO7frf18BW8PaCmAM9iUxQmI=
13-
github.com/aws/aws-sdk-go-v2/credentials v1.18.3 h1:ptfyXmv+ooxzFwyuBth0yqABcjVIkjDL0iTYZBSbum8=
14-
github.com/aws/aws-sdk-go-v2/credentials v1.18.3/go.mod h1:Q43Nci++Wohb0qUh4m54sNln0dbxJw8PvQWkrwOkGOI=
15-
github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.18.2 h1:nRniHAvjFJGUCl04F3WaAj7qp/rcz5Gi1OVoj5ErBkc=
16-
github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.18.2/go.mod h1:eJDFKAMHHUvv4a0Zfa7bQb//wFNUXGrbFpYRCHe2kD0=
17-
github.com/aws/aws-sdk-go-v2/internal/configsources v1.4.2 h1:sPiRHLVUIIQcoVZTNwqQcdtjkqkPopyYmIX0M5ElRf4=
18-
github.com/aws/aws-sdk-go-v2/internal/configsources v1.4.2/go.mod h1:ik86P3sgV+Bk7c1tBFCwI3VxMoSEwl4YkRB9xn1s340=
19-
github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.7.2 h1:ZdzDAg075H6stMZtbD2o+PyB933M/f20e9WmCBC17wA=
20-
github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.7.2/go.mod h1:eE1IIzXG9sdZCB0pNNpMpsYTLl4YdOQD3njiVN1e/E4=
1+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.2 h1:1CYvKblXRaPB9B0cdN/xWVOXvii2AQHgdcbTlI5F8Oc=
2+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.2/go.mod h1:vb/jlzf5XQSD5O3Po50VX6j6JyzcWs3wPoV7foewmJs=
3+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2 h1:0x9qTjQeW8fkP+/kuRw2drLDZM617rr8h6kcUetBjKE=
4+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2/go.mod h1:2wGHS+a/Dg21W3cnFDYbOu33d6eQUS52Ff/uAE2vIu8=
5+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2 h1:tBPXcmQVmf0ILx5eY++l64+yp04AFlHeKqpli0YDQBc=
6+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2/go.mod h1:mSUejB7V5Wo23naCw2ORAJ+5ZJkyaSvB6hQbKPVXNuA=
7+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2 h1:k/OqY+NJcTlFByY1WcM6dF5ZC4kIZtZ8b3A9kRVAj8Y=
8+
github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2/go.mod h1:j4QF5oVY9L1yNZrzoDu3l3d8TRh53uBw3FLZCL7xCTk=
9+
github.com/aws/aws-sdk-go-v2 v1.38.1 h1:j7sc33amE74Rz0M/PoCpsZQ6OunLqys/m5antM0J+Z8=
10+
github.com/aws/aws-sdk-go-v2 v1.38.1/go.mod h1:9Q0OoGQoboYIAJyslFyF1f5K1Ryddop8gqMhWx/n4Wg=
11+
github.com/aws/aws-sdk-go-v2/config v1.31.2 h1:NOaSZpVGEH2Np/c1toSeW0jooNl+9ALmsUTZ8YvkJR0=
12+
github.com/aws/aws-sdk-go-v2/config v1.31.2/go.mod h1:17ft42Yb2lF6OigqSYiDAiUcX4RIkEMY6XxEMJsrAes=
13+
github.com/aws/aws-sdk-go-v2/credentials v1.18.6 h1:AmmvNEYrru7sYNJnp3pf57lGbiarX4T9qU/6AZ9SucU=
14+
github.com/aws/aws-sdk-go-v2/credentials v1.18.6/go.mod h1:/jdQkh1iVPa01xndfECInp1v1Wnp70v3K4MvtlLGVEc=
15+
github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.18.4 h1:lpdMwTzmuDLkgW7086jE94HweHCqG+uOJwHf3LZs7T0=
16+
github.com/aws/aws-sdk-go-v2/feature/ec2/imds v1.18.4/go.mod h1:9xzb8/SV62W6gHQGC/8rrvgNXU6ZoYM3sAIJCIrXJxY=
17+
github.com/aws/aws-sdk-go-v2/internal/configsources v1.4.4 h1:IdCLsiiIj5YJ3AFevsewURCPV+YWUlOW8JiPhoAy8vg=
18+
github.com/aws/aws-sdk-go-v2/internal/configsources v1.4.4/go.mod h1:l4bdfCD7XyyZA9BolKBo1eLqgaJxl0/x91PL4Yqe0ao=
19+
github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.7.4 h1:j7vjtr1YIssWQOMeOWRbh3z8g2oY/xPjnZH2gLY4sGw=
20+
github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.7.4/go.mod h1:yDmJgqOiH4EA8Hndnv4KwAo8jCGTSnM5ASG1nBI+toA=
2121
github.com/aws/aws-sdk-go-v2/internal/ini v1.8.3 h1:bIqFDwgGXXN1Kpp99pDOdKMTTb5d2KyU5X/BZxjOkRo=
2222
github.com/aws/aws-sdk-go-v2/internal/ini v1.8.3/go.mod h1:H5O/EsxDWyU+LP/V8i5sm8cxoZgc2fdNR9bxlOFrQTo=
23-
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.46.0 h1:b7F96mjkzsqymMSGhuCqBQTZFx3mhTMa6IoG6SoVvC8=
24-
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.46.0/go.mod h1:F8Rqs4FVGBTUzx3wbFm7HB/mgIA4Tc6/x0yQmjoB+/w=
23+
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.49.1 h1:0RqS5X7EodJzOenoY4V3LUSp9PirELO2ZOpOZbMldco=
24+
github.com/aws/aws-sdk-go-v2/service/dynamodb v1.49.1/go.mod h1:VRp/OeQolnQD9GfNgdSf3kU5vbg708PF6oPHh2bq3hc=
2525
github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.13.0 h1:6+lZi2JeGKtCraAj1rpoZfKqnQ9SptseRZioejfUOLM=
2626
github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.13.0/go.mod h1:eb3gfbVIxIoGgJsi9pGne19dhCBpK6opTYpQqAmdy44=
27-
github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.11.2 h1:pOnBcmmHWBDbxawnpomSKFbDe8yn+t0OznR+Vo9Tj/Q=
28-
github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.11.2/go.mod h1:iseakOEtbeRjQkEtKZQ149M/fLJIaMlF0lS0X3/gXdg=
29-
github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.13.2 h1:oxmDEO14NBZJbK/M8y3brhMFEIGN4j8a6Aq8eY0sqlo=
30-
github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.13.2/go.mod h1:4hH+8QCrk1uRWDPsVfsNDUup3taAjO8Dnx63au7smAU=
31-
github.com/aws/aws-sdk-go-v2/service/kms v1.43.0 h1:mdbWU38ipmDapPcsD6F7ObjjxMLrWUK0jI2NcC7zAcI=
32-
github.com/aws/aws-sdk-go-v2/service/kms v1.43.0/go.mod h1:6FWXdzVbnG8ExnBQLHGIo/ilb1K7Ek1u6dcllumBe1s=
33-
github.com/aws/aws-sdk-go-v2/service/sso v1.27.0 h1:j7/jTOjWeJDolPwZ/J4yZ7dUsxsWZEsxNwH5O7F8eEA=
34-
github.com/aws/aws-sdk-go-v2/service/sso v1.27.0/go.mod h1:M0xdEPQtgpNT7kdAX4/vOAPkFj60hSQRb7TvW9B0iug=
35-
github.com/aws/aws-sdk-go-v2/service/ssooidc v1.32.0 h1:ywQF2N4VjqX+Psw+jLjMmUL2g1RDHlvri3NxHA08MGI=
36-
github.com/aws/aws-sdk-go-v2/service/ssooidc v1.32.0/go.mod h1:Z+qv5Q6b7sWiclvbJyPSOT1BRVU9wfSUPaqQzZ1Xg3E=
37-
github.com/aws/aws-sdk-go-v2/service/sts v1.36.0 h1:bRP/a9llXSSgDPk7Rqn5GD/DQCGo6uk95plBFKoXt2M=
38-
github.com/aws/aws-sdk-go-v2/service/sts v1.36.0/go.mod h1:tgBsFzxwl65BWkuJ/x2EUs59bD4SfYKgikvFDJi1S58=
27+
github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.11.4 h1:upi++G3fQCAUBXQe58TbjXmdVPwrqMnRQMThOAIz7KM=
28+
github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.11.4/go.mod h1:swb+GqWXTZMOyVV9rVePAUu5L80+X5a+Lui1RNOyUFo=
29+
github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.13.4 h1:ueB2Te0NacDMnaC+68za9jLwkjzxGWm0KB5HTUHjLTI=
30+
github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.13.4/go.mod h1:nLEfLnVMmLvyIG58/6gsSA03F1voKGaCfHV7+lR8S7s=
31+
github.com/aws/aws-sdk-go-v2/service/kms v1.44.2 h1:yTtMSIGWk8KzPDX2pS9k7wNCPKiNWpiJ9DdB2mCAMzo=
32+
github.com/aws/aws-sdk-go-v2/service/kms v1.44.2/go.mod h1:zgkQ8ige7qtxldA4cGtiXdbql3dBo4TfsP6uQyHwq0E=
33+
github.com/aws/aws-sdk-go-v2/service/sso v1.28.2 h1:ve9dYBB8CfJGTFqcQ3ZLAAb/KXWgYlgu/2R2TZL2Ko0=
34+
github.com/aws/aws-sdk-go-v2/service/sso v1.28.2/go.mod h1:n9bTZFZcBa9hGGqVz3i/a6+NG0zmZgtkB9qVVFDqPA8=
35+
github.com/aws/aws-sdk-go-v2/service/ssooidc v1.33.2 h1:pd9G9HQaM6UZAZh19pYOkpKSQkyQQ9ftnl/LttQOcGI=
36+
github.com/aws/aws-sdk-go-v2/service/ssooidc v1.33.2/go.mod h1:eknndR9rU8UpE/OmFpqU78V1EcXPKFTTm5l/buZYgvM=
37+
github.com/aws/aws-sdk-go-v2/service/sts v1.38.0 h1:iV1Ko4Em/lkJIsoKyGfc0nQySi+v0Udxr6Igq+y9JZc=
38+
github.com/aws/aws-sdk-go-v2/service/sts v1.38.0/go.mod h1:bEPcjW7IbolPfK67G1nilqWyoxYMSPrDiIQ3RdIdKgo=
3939
github.com/aws/smithy-go v1.22.5 h1:P9ATCXPMb2mPjYBgueqJNCA5S9UfktsW0tTxi+a7eqw=
4040
github.com/aws/smithy-go v1.22.5/go.mod h1:t1ufH5HMublsJYulve2RKmHDC15xu1f26kHCp/HgceI=
41-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.10.1 h1:QyrSST4WJYQIXRSJNXFEwL1NIoA9bgirUHK8YwGoWkA=
42-
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.10.1/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
41+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.0 h1:wJhHuhD9thOc0GXojfW8DJ/n7G8prW+1nUL5O3lvzs0=
42+
github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.0/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto=
4343
github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0=
4444
github.com/google/uuid v1.6.0/go.mod h1:TIyPZe4MgqvfeYDBFedMoGGpEw/LqOeaOT+nhxU+yHo=

0 commit comments

Comments
 (0)