From b0876ace8d4882dbee77887712469f799015e9dc Mon Sep 17 00:00:00 2001 From: Shubham Chaturvedi Date: Fri, 10 Jan 2025 17:22:59 -0800 Subject: [PATCH] feat(Go): Go module rename (#1196) Co-authored-by: Shubham Chaturvedi --- AwsCryptographicMaterialProviders/Makefile | 10 +++---- .../StormTrackingCMC/externs.go | 8 +++--- .../SynchronizedLocalCMC/externs.go | 6 ++-- .../shim.go | 6 ++-- .../shim.go | 6 ++-- .../api_client.go | 6 ++-- .../to_dafny.go | 14 +++++----- .../to_native.go | 14 +++++----- .../BranchKeyIdSupplier.go | 4 +-- .../BranchKeyIdSupplierNativeWrapper.go | 6 ++-- .../ClientSupplier.go | 4 +-- .../ClientSupplierNativeWrapper.go | 6 ++-- .../CryptographicMaterialsCache.go | 4 +-- ...ryptographicMaterialsCacheNativeWrapper.go | 6 ++-- .../CryptographicMaterialsManager.go | 4 +-- ...ptographicMaterialsManagerNativeWrapper.go | 6 ++-- .../Keyring.go | 4 +-- .../KeyringNativeWrapper.go | 6 ++-- .../api_client.go | 6 ++-- .../to_dafny.go | 26 ++++++++--------- .../to_native.go | 26 ++++++++--------- .../types.go | 6 ++-- .../go/ImplementationFromDafny-go/go.mod | 18 ++++++------ .../shim.go | 6 ++-- .../shim.go | 6 ++-- .../api_client.go | 6 ++-- .../to_dafny.go | 14 +++++----- .../to_native.go | 14 +++++----- .../BranchKeyIdSupplier.go | 4 +-- .../BranchKeyIdSupplierNativeWrapper.go | 6 ++-- .../ClientSupplier.go | 4 +-- .../ClientSupplierNativeWrapper.go | 6 ++-- .../CryptographicMaterialsCache.go | 4 +-- ...ryptographicMaterialsCacheNativeWrapper.go | 6 ++-- .../CryptographicMaterialsManager.go | 4 +-- ...ptographicMaterialsManagerNativeWrapper.go | 6 ++-- .../Keyring.go | 4 +-- .../KeyringNativeWrapper.go | 6 ++-- .../api_client.go | 6 ++-- .../to_dafny.go | 26 ++++++++--------- .../to_native.go | 26 ++++++++--------- .../types.go | 6 ++-- .../runtimes/go/TestsFromDafny-go/go.mod | 28 +++++++++---------- AwsCryptographyPrimitives/Makefile | 2 +- .../AESEncryption/externs.go | 4 +-- .../AesKdfCtr/externs.go | 2 +- .../ECDH/externs.go | 4 +-- .../ExternDigest/externs.go | 4 +-- .../ExternRandom/externs.go | 2 +- .../HMAC/externs.go | 4 +-- .../RSAEncryption/externs.go | 4 +-- .../Signature/externs.go | 6 ++-- .../shim.go | 6 ++-- .../api_client.go | 6 ++-- .../to_dafny.go | 6 ++-- .../to_native.go | 4 +-- .../go/ImplementationFromDafny-go/go.mod | 6 ++-- .../shim.go | 6 ++-- .../api_client.go | 6 ++-- .../to_dafny.go | 6 ++-- .../to_native.go | 4 +-- .../runtimes/go/TestsFromDafny-go/go.mod | 10 +++---- ComAmazonawsDynamodb/Makefile | 2 +- .../Com_Amazonaws_Dynamodb/externs.go | 6 ++-- .../DynamoDBwrapped/shim.go | 6 ++-- .../to_dafny.go | 4 +-- .../to_native.go | 4 +-- .../go/ImplementationFromDafny-go/go.mod | 6 ++-- .../go/ImplementationFromDafny-go/go.sum | 3 +- .../TestsFromDafny-go/DynamoDBwrapped/shim.go | 6 ++-- .../to_dafny.go | 4 +-- .../to_native.go | 4 +-- .../runtimes/go/TestsFromDafny-go/go.mod | 13 ++++----- ComAmazonawsKms/Makefile | 2 +- .../Com_Amazonaws_Kms/externs.go | 6 ++-- .../KMSwrapped/shim.go | 6 ++-- .../to_dafny.go | 4 +-- .../to_native.go | 2 +- .../go/ImplementationFromDafny-go/go.mod | 6 ++-- .../go/TestsFromDafny-go/KMSwrapped/shim.go | 6 ++-- .../to_dafny.go | 4 +-- .../to_native.go | 2 +- .../runtimes/go/TestsFromDafny-go/go.mod | 14 +++++----- StandardLibrary/Makefile | 2 +- .../DafnyLibraries/externs.go | 2 +- .../OsLang/externs.go | 1 + .../Time_/externs.go | 2 +- .../UTF8/externs.go | 2 +- .../UUID/externs.go | 2 +- .../go/ImplementationFromDafny-go/go.mod | 2 +- .../go/ImplementationFromDafny-go/go.sum | 3 +- .../runtimes/go/TestsFromDafny-go/go.mod | 6 ++-- .../runtimes/go/TestsFromDafny-go/go.sum | 3 +- .../Makefile | 10 +++---- .../shim.go | 4 +-- .../WrappedMaterialProviders/extern.go | 6 ++-- .../api_client.go | 6 ++-- .../to_dafny.go | 8 +++--- .../to_native.go | 6 ++-- .../types.go | 2 +- .../go/ImplementationFromDafny-go/go.mod | 20 ++++++------- .../shim.go | 4 +-- .../api_client.go | 6 ++-- .../to_dafny.go | 8 +++--- .../to_native.go | 6 ++-- .../types.go | 2 +- .../runtimes/go/TestsFromDafny-go/go.mod | 20 ++++++------- .../runtimes/go/TestsFromDafny-go/go.sum | 4 +-- smithy-dafny | 2 +- 109 files changed, 363 insertions(+), 368 deletions(-) diff --git a/AwsCryptographicMaterialProviders/Makefile b/AwsCryptographicMaterialProviders/Makefile index 66f11901d..bfeb91093 100644 --- a/AwsCryptographicMaterialProviders/Makefile +++ b/AwsCryptographicMaterialProviders/Makefile @@ -68,13 +68,13 @@ SERVICE_DEPS_AwsCryptographyKeyStore := \ ComAmazonawsDynamodb \ AwsCryptographicMaterialProviders/dafny/AwsCryptographicMaterialProviders \ -GO_MODULE_NAME="github.com/aws/aws-cryptographic-material-providers-library/mpl" +GO_MODULE_NAME="github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl" GO_DEPENDENCY_MODULE_NAMES := \ - --dependency-library-name=com.amazonaws.dynamodb=github.com/aws/aws-cryptographic-material-providers-library/dynamodb \ - --dependency-library-name=com.amazonaws.kms=github.com/aws/aws-cryptographic-material-providers-library/kms \ - --dependency-library-name=aws.cryptography.keyStore=github.com/aws/aws-cryptographic-material-providers-library/mpl \ - --dependency-library-name=aws.cryptography.primitives=github.com/aws/aws-cryptographic-material-providers-library/primitives \ + --dependency-library-name=com.amazonaws.dynamodb=github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb \ + --dependency-library-name=com.amazonaws.kms=github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms \ + --dependency-library-name=aws.cryptography.keyStore=github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl \ + --dependency-library-name=aws.cryptography.primitives=github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives \ --dependency-library-name=sdk.com.amazonaws.dynamodb=github.com/aws/aws-sdk-go-v2/service/dynamodb \ --dependency-library-name=sdk.com.amazonaws.kms=github.com/aws/aws-sdk-go-v2/service/kms diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/StormTrackingCMC/externs.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/StormTrackingCMC/externs.go index 6a0b5bb7f..db2ab7329 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/StormTrackingCMC/externs.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/StormTrackingCMC/externs.go @@ -4,11 +4,11 @@ import ( "sync" "time" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/StormTracker" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/StormTracker" + DafnyTime "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Time_" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" _dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - DafnyTime "github.com/dafny-lang/DafnyStandardLibGo/Time_" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) type StormTrackingCMC struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/SynchronizedLocalCMC/externs.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/SynchronizedLocalCMC/externs.go index 1067396b0..e42d36286 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/SynchronizedLocalCMC/externs.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/SynchronizedLocalCMC/externs.go @@ -3,9 +3,9 @@ package SynchronizedLocalCMC import ( "sync" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/LocalCMC" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/LocalCMC" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type SynchronizedLocalCMC struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyKeyStoreService/shim.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyKeyStoreService/shim.go index 370f31dc3..c9de57424 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyKeyStoreService/shim.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyKeyStoreService/shim.go @@ -5,9 +5,9 @@ package WrappedAwsCryptographyKeyStoreService import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyKeyStoreTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygenerated" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type Shim struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersService/shim.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersService/shim.go index f3e72ca10..23614a076 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersService/shim.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersService/shim.go @@ -5,10 +5,10 @@ package WrappedAwsCryptographyMaterialProvidersService import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygenerated" + "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" ) type Shim struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/api_client.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/api_client.go index 58e637b63..56e706732 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/api_client.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/api_client.go @@ -5,9 +5,9 @@ package awscryptographykeystoresmithygenerated import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyKeyStoreTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/KeyStore" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KeyStore" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygeneratedtypes" ) type Client struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go index 780f86144..065825c4a 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go @@ -5,17 +5,17 @@ package awscryptographykeystoresmithygenerated import ( "unicode/utf8" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/DynamoDBwrapped" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/comamazonawsdynamodbsmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/kms/KMSwrapped" - "github.com/aws/aws-cryptographic-material-providers-library/kms/comamazonawskmssmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyKeyStoreTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/DynamoDBwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/comamazonawsdynamodbsmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/KMSwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/comamazonawskmssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/dynamodb" "github.com/aws/aws-sdk-go-v2/service/kms" "github.com/aws/smithy-go" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func CreateKeyInput_ToDafny(nativeInput awscryptographykeystoresmithygeneratedtypes.CreateKeyInput) AwsCryptographyKeyStoreTypes.CreateKeyInput { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go index dd7a94639..055492519 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go @@ -3,16 +3,16 @@ package awscryptographykeystoresmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/DynamoDBwrapped" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/comamazonawsdynamodbsmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/kms/KMSwrapped" - "github.com/aws/aws-cryptographic-material-providers-library/kms/comamazonawskmssmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyKeyStoreTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/DynamoDBwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/comamazonawsdynamodbsmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/KMSwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/comamazonawskmssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/dynamodb" "github.com/aws/aws-sdk-go-v2/service/kms" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func CreateKeyInput_FromDafny(dafnyInput AwsCryptographyKeyStoreTypes.CreateKeyInput) awscryptographykeystoresmithygeneratedtypes.CreateKeyInput { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplier.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplier.go index 13a3638ae..c4f0ed18e 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplier.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplier.go @@ -3,8 +3,8 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" ) type BranchKeyIdSupplier struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplierNativeWrapper.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplierNativeWrapper.go index be3ae9a84..871667bb3 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplierNativeWrapper.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplierNativeWrapper.go @@ -3,9 +3,9 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type BranchKeyIdSupplierNativeWrapper struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplier.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplier.go index 152c50e39..cbb9bd4e2 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplier.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplier.go @@ -3,8 +3,8 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" "github.com/aws/aws-sdk-go-v2/service/kms" ) diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go index 66b7645f0..051546fcb 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go @@ -3,9 +3,9 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type ClientSupplierNativeWrapper struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCache.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCache.go index 1e33c1056..db46a15f6 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCache.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCache.go @@ -3,8 +3,8 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" ) type CryptographicMaterialsCache struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCacheNativeWrapper.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCacheNativeWrapper.go index e905b9a5e..19374a413 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCacheNativeWrapper.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCacheNativeWrapper.go @@ -3,10 +3,10 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "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" ) type CryptographicMaterialsCacheNativeWrapper struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManager.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManager.go index 42abf9f6b..88926baf4 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManager.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManager.go @@ -3,8 +3,8 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" ) type CryptographicMaterialsManager struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManagerNativeWrapper.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManagerNativeWrapper.go index 19b6da3d8..3d0faaa25 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManagerNativeWrapper.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManagerNativeWrapper.go @@ -3,9 +3,9 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type CryptographicMaterialsManagerNativeWrapper struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/Keyring.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/Keyring.go index 814751d15..dad41e289 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/Keyring.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/Keyring.go @@ -3,8 +3,8 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" ) type Keyring struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/KeyringNativeWrapper.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/KeyringNativeWrapper.go index 55bf7cc0c..a94369a82 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/KeyringNativeWrapper.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/KeyringNativeWrapper.go @@ -3,9 +3,9 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type KeyringNativeWrapper struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/api_client.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/api_client.go index 149b03554..46f7887a7 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/api_client.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/api_client.go @@ -5,9 +5,9 @@ package awscryptographymaterialproviderssmithygenerated import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/MaterialProviders" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MaterialProviders" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" ) diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go index 3b020a46b..62222368a 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go @@ -5,23 +5,23 @@ package awscryptographymaterialproviderssmithygenerated import ( "unicode/utf8" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/comamazonawsdynamodbsmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" - "github.com/aws/aws-cryptographic-material-providers-library/kms/KMSwrapped" - "github.com/aws/aws-cryptographic-material-providers-library/kms/comamazonawskmssmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyKeyStoreTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygeneratedtypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/comamazonawsdynamodbsmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/KMSwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/comamazonawskmssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/kms" kmstypes "github.com/aws/aws-sdk-go-v2/service/kms/types" "github.com/aws/smithy-go" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func CreateAwsKmsDiscoveryKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsDiscoveryKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsDiscoveryKeyringInput { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go index 2e1a47aa8..c4a936e30 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go @@ -3,22 +3,22 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/comamazonawsdynamodbsmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" - "github.com/aws/aws-cryptographic-material-providers-library/kms/KMSwrapped" - "github.com/aws/aws-cryptographic-material-providers-library/kms/comamazonawskmssmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyKeyStoreTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygeneratedtypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/comamazonawsdynamodbsmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/KMSwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/comamazonawskmssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/kms" kmstypes "github.com/aws/aws-sdk-go-v2/service/kms/types" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func CreateAwsKmsDiscoveryKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsDiscoveryKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsDiscoveryKeyringInput { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go index 3e4955344..cd2046f6d 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go @@ -6,9 +6,9 @@ import ( "fmt" "unicode/utf8" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygeneratedtypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes" "github.com/aws/aws-sdk-go-v2/service/kms" kmstypes "github.com/aws/aws-sdk-go-v2/service/kms/types" ) diff --git a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod index 7b1d1e3da..56b34b04f 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod @@ -1,13 +1,13 @@ -module github.com/aws/aws-cryptographic-material-providers-library/mpl +module github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl 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-cryptographic-material-providers-library/dynamodb v0.0.0 - github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 - github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 github.com/aws/aws-sdk-go-v2/service/dynamodb v1.35.1 github.com/aws/aws-sdk-go-v2/service/kms v1.36.0 github.com/aws/smithy-go v1.21.0 @@ -34,10 +34,10 @@ require ( ) replace ( - github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/ - github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/ - github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyKeyStoreService/shim.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyKeyStoreService/shim.go index 370f31dc3..c9de57424 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyKeyStoreService/shim.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyKeyStoreService/shim.go @@ -5,9 +5,9 @@ package WrappedAwsCryptographyKeyStoreService import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyKeyStoreTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygenerated" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type Shim struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersService/shim.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersService/shim.go index f3e72ca10..23614a076 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersService/shim.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersService/shim.go @@ -5,10 +5,10 @@ package WrappedAwsCryptographyMaterialProvidersService import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygenerated" + "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" ) type Shim struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/api_client.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/api_client.go index 58e637b63..56e706732 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/api_client.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/api_client.go @@ -5,9 +5,9 @@ package awscryptographykeystoresmithygenerated import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyKeyStoreTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/KeyStore" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/KeyStore" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygeneratedtypes" ) type Client struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go index 780f86144..065825c4a 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go @@ -5,17 +5,17 @@ package awscryptographykeystoresmithygenerated import ( "unicode/utf8" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/DynamoDBwrapped" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/comamazonawsdynamodbsmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/kms/KMSwrapped" - "github.com/aws/aws-cryptographic-material-providers-library/kms/comamazonawskmssmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyKeyStoreTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/DynamoDBwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/comamazonawsdynamodbsmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/KMSwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/comamazonawskmssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/dynamodb" "github.com/aws/aws-sdk-go-v2/service/kms" "github.com/aws/smithy-go" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func CreateKeyInput_ToDafny(nativeInput awscryptographykeystoresmithygeneratedtypes.CreateKeyInput) AwsCryptographyKeyStoreTypes.CreateKeyInput { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go index dd7a94639..055492519 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go @@ -3,16 +3,16 @@ package awscryptographykeystoresmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/DynamoDBwrapped" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/comamazonawsdynamodbsmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/kms/KMSwrapped" - "github.com/aws/aws-cryptographic-material-providers-library/kms/comamazonawskmssmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyKeyStoreTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/DynamoDBwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/comamazonawsdynamodbsmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/KMSwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/comamazonawskmssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/dynamodb" "github.com/aws/aws-sdk-go-v2/service/kms" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func CreateKeyInput_FromDafny(dafnyInput AwsCryptographyKeyStoreTypes.CreateKeyInput) awscryptographykeystoresmithygeneratedtypes.CreateKeyInput { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplier.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplier.go index 13a3638ae..c4f0ed18e 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplier.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplier.go @@ -3,8 +3,8 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" ) type BranchKeyIdSupplier struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplierNativeWrapper.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplierNativeWrapper.go index be3ae9a84..871667bb3 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplierNativeWrapper.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/BranchKeyIdSupplierNativeWrapper.go @@ -3,9 +3,9 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type BranchKeyIdSupplierNativeWrapper struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplier.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplier.go index 152c50e39..cbb9bd4e2 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplier.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplier.go @@ -3,8 +3,8 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" "github.com/aws/aws-sdk-go-v2/service/kms" ) diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go index 66b7645f0..051546fcb 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/ClientSupplierNativeWrapper.go @@ -3,9 +3,9 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type ClientSupplierNativeWrapper struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCache.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCache.go index 1e33c1056..db46a15f6 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCache.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCache.go @@ -3,8 +3,8 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" ) type CryptographicMaterialsCache struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCacheNativeWrapper.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCacheNativeWrapper.go index e905b9a5e..19374a413 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCacheNativeWrapper.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsCacheNativeWrapper.go @@ -3,10 +3,10 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "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" ) type CryptographicMaterialsCacheNativeWrapper struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManager.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManager.go index 42abf9f6b..88926baf4 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManager.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManager.go @@ -3,8 +3,8 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" ) type CryptographicMaterialsManager struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManagerNativeWrapper.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManagerNativeWrapper.go index 19b6da3d8..3d0faaa25 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManagerNativeWrapper.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/CryptographicMaterialsManagerNativeWrapper.go @@ -3,9 +3,9 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type CryptographicMaterialsManagerNativeWrapper struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/Keyring.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/Keyring.go index 814751d15..dad41e289 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/Keyring.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/Keyring.go @@ -3,8 +3,8 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" ) type Keyring struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/KeyringNativeWrapper.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/KeyringNativeWrapper.go index 55bf7cc0c..a94369a82 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/KeyringNativeWrapper.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/KeyringNativeWrapper.go @@ -3,9 +3,9 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type KeyringNativeWrapper struct { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/api_client.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/api_client.go index 149b03554..46f7887a7 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/api_client.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/api_client.go @@ -5,9 +5,9 @@ package awscryptographymaterialproviderssmithygenerated import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/MaterialProviders" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/MaterialProviders" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" ) diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go index 3b020a46b..62222368a 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go @@ -5,23 +5,23 @@ package awscryptographymaterialproviderssmithygenerated import ( "unicode/utf8" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/comamazonawsdynamodbsmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" - "github.com/aws/aws-cryptographic-material-providers-library/kms/KMSwrapped" - "github.com/aws/aws-cryptographic-material-providers-library/kms/comamazonawskmssmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyKeyStoreTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygeneratedtypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/comamazonawsdynamodbsmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/KMSwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/comamazonawskmssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/kms" kmstypes "github.com/aws/aws-sdk-go-v2/service/kms/types" "github.com/aws/smithy-go" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func CreateAwsKmsDiscoveryKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsDiscoveryKeyringInput) AwsCryptographyMaterialProvidersTypes.CreateAwsKmsDiscoveryKeyringInput { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go index 2e1a47aa8..c4a936e30 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go @@ -3,22 +3,22 @@ package awscryptographymaterialproviderssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/comamazonawsdynamodbsmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" - "github.com/aws/aws-cryptographic-material-providers-library/kms/KMSwrapped" - "github.com/aws/aws-cryptographic-material-providers-library/kms/comamazonawskmssmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyKeyStoreTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygeneratedtypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/comamazonawsdynamodbsmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/KMSwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/comamazonawskmssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyKeyStoreTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/kms" kmstypes "github.com/aws/aws-sdk-go-v2/service/kms/types" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func CreateAwsKmsDiscoveryKeyringInput_FromDafny(dafnyInput AwsCryptographyMaterialProvidersTypes.CreateAwsKmsDiscoveryKeyringInput) awscryptographymaterialproviderssmithygeneratedtypes.CreateAwsKmsDiscoveryKeyringInput { diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go index 3e4955344..cd2046f6d 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go @@ -6,9 +6,9 @@ import ( "fmt" "unicode/utf8" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographykeystoresmithygeneratedtypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographykeystoresmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes" "github.com/aws/aws-sdk-go-v2/service/kms" kmstypes "github.com/aws/aws-sdk-go-v2/service/kms/types" ) diff --git a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod index dfc5ebe50..38fdc8e9a 100644 --- a/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod +++ b/AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod @@ -1,25 +1,28 @@ -module github.com/aws/aws-cryptographic-material-providers-library/mpl/test +module github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/test go 1.23.0 -replace github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0 => ../ImplementationFromDafny-go +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 => ../ImplementationFromDafny-go replace ( - github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/ - github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/ - github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ require ( - github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0 - github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 - github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0 - github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 + github.com/aws/aws-sdk-go-v2/service/dynamodb v1.35.1 + github.com/aws/aws-sdk-go-v2/service/kms v1.36.0 + github.com/aws/smithy-go v1.21.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0 ) require ( @@ -30,15 +33,12 @@ require ( github.com/aws/aws-sdk-go-v2/internal/configsources v1.3.18 // indirect github.com/aws/aws-sdk-go-v2/internal/endpoints/v2 v2.6.18 // indirect github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1 // indirect - github.com/aws/aws-sdk-go-v2/service/dynamodb v1.35.1 // indirect github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.11.5 // indirect github.com/aws/aws-sdk-go-v2/service/internal/endpoint-discovery v1.9.19 // indirect github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.11.20 // indirect - github.com/aws/aws-sdk-go-v2/service/kms v1.36.0 // indirect github.com/aws/aws-sdk-go-v2/service/sso v1.23.1 // indirect github.com/aws/aws-sdk-go-v2/service/ssooidc v1.27.1 // indirect github.com/aws/aws-sdk-go-v2/service/sts v1.31.1 // indirect - github.com/aws/smithy-go v1.21.0 // indirect github.com/google/uuid v1.6.0 // indirect github.com/jmespath/go-jmespath v0.4.0 // indirect ) diff --git a/AwsCryptographyPrimitives/Makefile b/AwsCryptographyPrimitives/Makefile index 63d3c8a65..798467fb5 100644 --- a/AwsCryptographyPrimitives/Makefile +++ b/AwsCryptographyPrimitives/Makefile @@ -51,7 +51,7 @@ PYTHON_MODULE_NAME=aws_cryptography_primitives TRANSLATION_RECORD_PYTHON := \ --translation-record ../StandardLibrary/runtimes/python/src/smithy_dafny_standard_library/internaldafny/generated/dafny_src-py.dtr -GO_MODULE_NAME="github.com/aws/aws-cryptographic-material-providers-library/primitives" +GO_MODULE_NAME="github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives" TRANSLATION_RECORD_GO := \ StandardLibrary/runtimes/go/ImplementationFromDafny-go/ImplementationFromDafny-go.dtr \ No newline at end of file diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AESEncryption/externs.go b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AESEncryption/externs.go index 4437e887c..a0c160f9a 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AESEncryption/externs.go +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AESEncryption/externs.go @@ -5,9 +5,9 @@ import ( "crypto/cipher" "fmt" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "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" ) var m_AESEncryption struct { diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AesKdfCtr/externs.go b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AesKdfCtr/externs.go index 9195fb53c..bcfb083a7 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AesKdfCtr/externs.go +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/AesKdfCtr/externs.go @@ -4,8 +4,8 @@ import ( "crypto/aes" "crypto/cipher" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func AesKdfCtrStream(nonce dafny.Sequence, key dafny.Sequence, length uint32) Wrappers.Result { diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ECDH/externs.go b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ECDH/externs.go index c29cb22e2..579b2f6b2 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ECDH/externs.go +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ECDH/externs.go @@ -9,9 +9,9 @@ import ( "encoding/pem" "fmt" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "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" ) var m_ECDH struct { diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternDigest/externs.go b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternDigest/externs.go index 3d0b24eb4..749bfedf5 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternDigest/externs.go +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternDigest/externs.go @@ -5,9 +5,9 @@ import ( "fmt" "hash" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "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" ) func Digest(algorithm AwsCryptographyPrimitivesTypes.DigestAlgorithm, message dafny.Sequence) Wrappers.Result { diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternRandom/externs.go b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternRandom/externs.go index ad800e25c..6b27ed968 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternRandom/externs.go +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ExternRandom/externs.go @@ -6,7 +6,7 @@ import ( "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" ) func GenerateBytes(length int32) Wrappers.Result { diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/HMAC/externs.go b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/HMAC/externs.go index 6875acc2a..000b3b474 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/HMAC/externs.go +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/HMAC/externs.go @@ -8,8 +8,8 @@ import ( "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type HMac struct { diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/RSAEncryption/externs.go b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/RSAEncryption/externs.go index ab50f415a..623fb6766 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/RSAEncryption/externs.go +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/RSAEncryption/externs.go @@ -8,9 +8,9 @@ import ( "encoding/pem" "fmt" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "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" ) type m_RSAEncryption_Ghost struct { diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/Signature/externs.go b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/Signature/externs.go index 18fde54f9..98822db72 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/Signature/externs.go +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/Signature/externs.go @@ -7,10 +7,10 @@ import ( "crypto/x509" "fmt" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/ExternDigest" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/ExternDigest" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) var m_Signature struct { diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go index 625816d56..b5c9886d1 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go @@ -5,9 +5,9 @@ package WrappedAwsCryptographyPrimitivesService import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygenerated" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type Shim struct { diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go index 7c6437db0..77daef608 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go @@ -5,9 +5,9 @@ package awscryptographyprimitivessmithygenerated import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AtomicPrimitives" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AtomicPrimitives" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" ) diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go index fd1b2f724..43ebfd6a5 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go @@ -3,10 +3,10 @@ package awscryptographyprimitivessmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes" + "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" ) func AESDecryptInput_ToDafny(nativeInput awscryptographyprimitivessmithygeneratedtypes.AESDecryptInput) AwsCryptographyPrimitivesTypes.AESDecryptInput { diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go index 0cb121c76..48f1fb5b4 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go @@ -3,8 +3,8 @@ package awscryptographyprimitivessmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" ) diff --git a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/go.mod b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/go.mod index ceaa9a1c1..4c7d85754 100644 --- a/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/go.mod @@ -1,9 +1,9 @@ -module github.com/aws/aws-cryptographic-material-providers-library/primitives +module github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives 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 => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go index 625816d56..b5c9886d1 100644 --- a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go +++ b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyPrimitivesService/shim.go @@ -5,9 +5,9 @@ package WrappedAwsCryptographyPrimitivesService import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygenerated" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) type Shim struct { diff --git a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go index 7c6437db0..77daef608 100644 --- a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go +++ b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/api_client.go @@ -5,9 +5,9 @@ package awscryptographyprimitivessmithygenerated import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AtomicPrimitives" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AtomicPrimitives" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" ) diff --git a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go index fd1b2f724..43ebfd6a5 100644 --- a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go +++ b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go @@ -3,10 +3,10 @@ package awscryptographyprimitivessmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes" + "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" ) func AESDecryptInput_ToDafny(nativeInput awscryptographyprimitivessmithygeneratedtypes.AESDecryptInput) AwsCryptographyPrimitivesTypes.AESDecryptInput { diff --git a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go index 0cb121c76..48f1fb5b4 100644 --- a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go +++ b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go @@ -3,8 +3,8 @@ package awscryptographyprimitivessmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/primitives/AwsCryptographyPrimitivesTypes" - "github.com/aws/aws-cryptographic-material-providers-library/primitives/awscryptographyprimitivessmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/AwsCryptographyPrimitivesTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/awscryptographyprimitivessmithygeneratedtypes" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" ) diff --git a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod index b688dd17e..41cf83138 100644 --- a/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod +++ b/AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/go.mod @@ -1,14 +1,14 @@ -module github.com/aws/aws-cryptographic-material-providers-library/primitives/test +module github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives/test go 1.23.0 -replace github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 => ../ImplementationFromDafny-go +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives 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/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/ComAmazonawsDynamodb/Makefile b/ComAmazonawsDynamodb/Makefile index 042228eb4..ec086af87 100644 --- a/ComAmazonawsDynamodb/Makefile +++ b/ComAmazonawsDynamodb/Makefile @@ -27,7 +27,7 @@ AWS_SDK_CMD := --aws-sdk STD_LIBRARY=StandardLibrary SMITHY_DEPS=model -GO_MODULE_NAME="github.com/aws/aws-cryptographic-material-providers-library/dynamodb" +GO_MODULE_NAME="github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb" GO_DEPENDENCY_MODULE_NAMES := \ --dependency-library-name=sdk.com.amazonaws.dynamodb=github.com/aws/aws-sdk-go-v2/service/dynamodb \ diff --git a/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/externs.go b/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/externs.go index f514ee0ce..99ab2c6e0 100644 --- a/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/externs.go +++ b/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/externs.go @@ -3,12 +3,12 @@ package Com_Amazonaws_Dynamodb import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/ComAmazonawsDynamodbTypes" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/DynamoDBwrapped" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/ComAmazonawsDynamodbTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/DynamoDBwrapped" + "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" ) func (_static *CompanionStruct_Default___) DynamoDBClient() Wrappers.Result { diff --git a/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/DynamoDBwrapped/shim.go b/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/DynamoDBwrapped/shim.go index 3bcd19590..284684993 100644 --- a/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/DynamoDBwrapped/shim.go +++ b/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/DynamoDBwrapped/shim.go @@ -5,11 +5,11 @@ package DynamoDBwrapped import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/ComAmazonawsDynamodbTypes" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/comamazonawsdynamodbsmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/ComAmazonawsDynamodbTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/comamazonawsdynamodbsmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/dynamodb" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) type Shim struct { diff --git a/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go b/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go index b1d4d98d3..2081182c9 100644 --- a/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go +++ b/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go @@ -8,11 +8,11 @@ import ( "math" "time" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/ComAmazonawsDynamodbTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/ComAmazonawsDynamodbTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/dynamodb" "github.com/aws/aws-sdk-go-v2/service/dynamodb/types" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func BatchExecuteStatementInput_ToDafny(nativeInput dynamodb.BatchExecuteStatementInput) ComAmazonawsDynamodbTypes.BatchExecuteStatementInput { diff --git a/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go b/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go index 82ca6b9f1..6631b646c 100644 --- a/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go +++ b/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go @@ -7,12 +7,12 @@ import ( "math" "time" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/ComAmazonawsDynamodbTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/ComAmazonawsDynamodbTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/dynamodb" "github.com/aws/aws-sdk-go-v2/service/dynamodb/types" "github.com/aws/smithy-go" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func BatchExecuteStatementInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.BatchExecuteStatementInput) dynamodb.BatchExecuteStatementInput { diff --git a/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.mod b/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.mod index 672a4b787..551d8394c 100644 --- a/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.mod @@ -1,8 +1,8 @@ -module github.com/aws/aws-cryptographic-material-providers-library/dynamodb +module github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb 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/config v1.27.37 @@ -27,4 +27,4 @@ require ( github.com/jmespath/go-jmespath v0.4.0 // indirect ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.sum b/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.sum index f18f71db6..ba89f2e76 100644 --- a/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.sum +++ b/ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/go.sum @@ -28,8 +28,7 @@ github.com/aws/aws-sdk-go-v2/service/sts v1.31.1 h1:8K0UNOkZiK9Uh3HIF6Bx0rcNCftq github.com/aws/aws-sdk-go-v2/service/sts v1.31.1/go.mod h1:yMWe0F+XG0DkRZK5ODZhG7BEFYhLXi2dqGsv6tX0cgI= github.com/aws/smithy-go v1.21.0 h1:H7L8dtDRk0P1Qm6y0ji7MCYMQObJ5R9CRpyPhRUkLYA= github.com/aws/smithy-go v1.21.0/go.mod h1:irrKGvNn1InZwb2d7fkIRNucdfwR8R+Ts3wxYa/cJHg= -github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0 h1:ttdCpTQKspK9A/tqE1qnipvjp9IrURS1kC2w47we6GM= -github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto= +github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 h1:dOgaw3i0I9nWKPjfXYzEfgWsVRJykL6FA18DErvQiJQ= github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto= github.com/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8= github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38= diff --git a/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/DynamoDBwrapped/shim.go b/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/DynamoDBwrapped/shim.go index 3bcd19590..284684993 100644 --- a/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/DynamoDBwrapped/shim.go +++ b/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/DynamoDBwrapped/shim.go @@ -5,11 +5,11 @@ package DynamoDBwrapped import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/ComAmazonawsDynamodbTypes" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/comamazonawsdynamodbsmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/ComAmazonawsDynamodbTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/comamazonawsdynamodbsmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/dynamodb" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) type Shim struct { diff --git a/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go b/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go index b1d4d98d3..2081182c9 100644 --- a/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go +++ b/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go @@ -8,11 +8,11 @@ import ( "math" "time" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/ComAmazonawsDynamodbTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/ComAmazonawsDynamodbTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/dynamodb" "github.com/aws/aws-sdk-go-v2/service/dynamodb/types" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func BatchExecuteStatementInput_ToDafny(nativeInput dynamodb.BatchExecuteStatementInput) ComAmazonawsDynamodbTypes.BatchExecuteStatementInput { diff --git a/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go b/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go index 82ca6b9f1..6631b646c 100644 --- a/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go +++ b/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go @@ -7,12 +7,12 @@ import ( "math" "time" - "github.com/aws/aws-cryptographic-material-providers-library/dynamodb/ComAmazonawsDynamodbTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/ComAmazonawsDynamodbTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/dynamodb" "github.com/aws/aws-sdk-go-v2/service/dynamodb/types" "github.com/aws/smithy-go" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func BatchExecuteStatementInput_FromDafny(dafnyInput ComAmazonawsDynamodbTypes.BatchExecuteStatementInput) dynamodb.BatchExecuteStatementInput { diff --git a/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/go.mod b/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/go.mod index 42cc8a1e7..f6cb3f94a 100644 --- a/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/go.mod +++ b/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/go.mod @@ -1,11 +1,10 @@ -module github.com/aws/aws-cryptographic-material-providers-library/dynamodb/test +module github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb/test go 1.23.0 -require github.com/dafny-lang/DafnyStandardLibGo v0.0.0 - require ( - github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0-00010101000000-000000000000 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0-00010101000000-000000000000 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 github.com/aws/aws-sdk-go-v2/service/dynamodb v1.35.1 github.com/aws/smithy-go v1.21.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 @@ -28,8 +27,6 @@ require ( github.com/jmespath/go-jmespath v0.4.0 // indirect ) -replace github.com/aws/aws-cryptographic-material-providers-library/dynamodb => ../ImplementationFromDafny-go - -replace github.com/dafny-lang/DafnyRuntimeGo => ../../../../smithy-dafny/DafnyRuntimeGo +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb => ../ImplementationFromDafny-go -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/ComAmazonawsKms/Makefile b/ComAmazonawsKms/Makefile index 682741798..50be78ade 100644 --- a/ComAmazonawsKms/Makefile +++ b/ComAmazonawsKms/Makefile @@ -26,7 +26,7 @@ AWS_SDK_CMD := --aws-sdk STD_LIBRARY=StandardLibrary SMITHY_DEPS=model -GO_MODULE_NAME="github.com/aws/aws-cryptographic-material-providers-library/kms" +GO_MODULE_NAME="github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms" GO_DEPENDENCY_MODULE_NAMES := \ --dependency-library-name=sdk.com.amazonaws.kms=github.com/aws/aws-sdk-go-v2/service/kms \ diff --git a/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Kms/externs.go b/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Kms/externs.go index f8de6c18f..1f0b88cb0 100644 --- a/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Kms/externs.go +++ b/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Kms/externs.go @@ -3,12 +3,12 @@ package Com_Amazonaws_Kms import ( "context" - ComAmazonawsKmsTypes "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" - "github.com/aws/aws-cryptographic-material-providers-library/kms/KMSwrapped" + ComAmazonawsKmsTypes "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/KMSwrapped" + "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" ) func (_static *CompanionStruct_Default___) KMSClientForRegion(regionInput _dafny.Sequence) Wrappers.Result { diff --git a/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/KMSwrapped/shim.go b/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/KMSwrapped/shim.go index 8dcfb7a96..2ddc9e4dd 100644 --- a/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/KMSwrapped/shim.go +++ b/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/KMSwrapped/shim.go @@ -5,11 +5,11 @@ package KMSwrapped import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" - "github.com/aws/aws-cryptographic-material-providers-library/kms/comamazonawskmssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/comamazonawskmssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/kms" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) type Shim struct { diff --git a/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go b/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go index cf01c187b..e8068347e 100644 --- a/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go +++ b/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go @@ -6,11 +6,11 @@ import ( "errors" "time" - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/kms" "github.com/aws/aws-sdk-go-v2/service/kms/types" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func CancelKeyDeletionInput_ToDafny(nativeInput kms.CancelKeyDeletionInput) ComAmazonawsKmsTypes.CancelKeyDeletionRequest { diff --git a/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go b/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go index 9064975e2..db2b6948b 100644 --- a/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go +++ b/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go @@ -5,7 +5,7 @@ package comamazonawskmssmithygenerated import ( "time" - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" "github.com/aws/aws-sdk-go-v2/service/kms" "github.com/aws/aws-sdk-go-v2/service/kms/types" "github.com/aws/smithy-go" diff --git a/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/go.mod b/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/go.mod index 5e11e36eb..ea1efb683 100644 --- a/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/go.mod @@ -1,8 +1,8 @@ -module github.com/aws/aws-cryptographic-material-providers-library/kms +module github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms 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/config v1.27.36 @@ -25,4 +25,4 @@ require ( github.com/aws/aws-sdk-go-v2/service/sts v1.31.0 // indirect ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/KMSwrapped/shim.go b/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/KMSwrapped/shim.go index 8dcfb7a96..2ddc9e4dd 100644 --- a/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/KMSwrapped/shim.go +++ b/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/KMSwrapped/shim.go @@ -5,11 +5,11 @@ package KMSwrapped import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" - "github.com/aws/aws-cryptographic-material-providers-library/kms/comamazonawskmssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/comamazonawskmssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/kms" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) type Shim struct { diff --git a/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go b/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go index cf01c187b..e8068347e 100644 --- a/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go +++ b/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go @@ -6,11 +6,11 @@ import ( "errors" "time" - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-sdk-go-v2/service/kms" "github.com/aws/aws-sdk-go-v2/service/kms/types" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func CancelKeyDeletionInput_ToDafny(nativeInput kms.CancelKeyDeletionInput) ComAmazonawsKmsTypes.CancelKeyDeletionRequest { diff --git a/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go b/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go index 9064975e2..db2b6948b 100644 --- a/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go +++ b/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go @@ -5,7 +5,7 @@ package comamazonawskmssmithygenerated import ( "time" - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" "github.com/aws/aws-sdk-go-v2/service/kms" "github.com/aws/aws-sdk-go-v2/service/kms/types" "github.com/aws/smithy-go" diff --git a/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/go.mod b/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/go.mod index 09a9485c1..d99eade01 100644 --- a/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/go.mod +++ b/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/go.mod @@ -1,13 +1,15 @@ -module github.com/aws/aws-cryptographic-material-providers-library/kms/test +module github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/test go 1.23.0 -replace github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 => ../ImplementationFromDafny-go +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms 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/aws/aws-cryptographic-material-providers-library/kms v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 + github.com/aws/aws-sdk-go-v2/service/kms v1.36.0 + github.com/aws/smithy-go v1.21.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 ) @@ -21,11 +23,9 @@ require ( github.com/aws/aws-sdk-go-v2/internal/ini v1.8.1 // indirect github.com/aws/aws-sdk-go-v2/service/internal/accept-encoding v1.11.5 // indirect github.com/aws/aws-sdk-go-v2/service/internal/presigned-url v1.11.20 // indirect - github.com/aws/aws-sdk-go-v2/service/kms v1.36.0 // indirect github.com/aws/aws-sdk-go-v2/service/sso v1.23.0 // indirect github.com/aws/aws-sdk-go-v2/service/ssooidc v1.27.0 // indirect github.com/aws/aws-sdk-go-v2/service/sts v1.31.0 // indirect - github.com/aws/smithy-go v1.21.0 // indirect ) -replace github.com/dafny-lang/DafnyStandardLibGo => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ +replace github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ diff --git a/StandardLibrary/Makefile b/StandardLibrary/Makefile index 0feb881d7..5e933ae9d 100644 --- a/StandardLibrary/Makefile +++ b/StandardLibrary/Makefile @@ -17,7 +17,7 @@ transpile_implementation: STD_LIBRARY= transpile_test: STD_LIBRARY= transpile_dependencies: STD_LIBRARY= -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" # Python PYTHON_MODULE_NAME=smithy_dafny_standard_library diff --git a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/DafnyLibraries/externs.go b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/DafnyLibraries/externs.go index 1ee986421..b2afdf889 100644 --- a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/DafnyLibraries/externs.go +++ b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/DafnyLibraries/externs.go @@ -3,8 +3,8 @@ package DafnyLibraries import ( sync "sync" + Std_Wrappers "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" _dafny "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - Std_Wrappers "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) // Definition of class MutableMap copied over from diff --git a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/OsLang/externs.go b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/OsLang/externs.go index 0b762d263..c4fa5be55 100644 --- a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/OsLang/externs.go +++ b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/OsLang/externs.go @@ -2,6 +2,7 @@ package OsLang import ( "runtime" + "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" ) diff --git a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/Time_/externs.go b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/Time_/externs.go index 00deda5a9..b5547d312 100644 --- a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/Time_/externs.go +++ b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/Time_/externs.go @@ -4,8 +4,8 @@ import ( "syscall" "time" + "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" ) var m__Time = CompanionStruct_Default___{} diff --git a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/UTF8/externs.go b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/UTF8/externs.go index cd3164c10..4fede46c0 100644 --- a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/UTF8/externs.go +++ b/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/StandardLibrary/runtimes/go/ImplementationFromDafny-go/UUID/externs.go b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/UUID/externs.go index 1ec378e14..cfd024062 100644 --- a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/UUID/externs.go +++ b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/UUID/externs.go @@ -1,8 +1,8 @@ package UUID import ( + "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/google/uuid" ) diff --git a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.mod b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.mod index 6eef13400..5c3cabb8b 100644 --- a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/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/StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.sum b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.sum index 2e7c8c578..8ea2955d3 100644 --- a/StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.sum +++ b/StandardLibrary/runtimes/go/ImplementationFromDafny-go/go.sum @@ -1,5 +1,4 @@ -github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0 h1:ttdCpTQKspK9A/tqE1qnipvjp9IrURS1kC2w47we6GM= -github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto= +github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 h1:dOgaw3i0I9nWKPjfXYzEfgWsVRJykL6FA18DErvQiJQ= github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1/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= diff --git a/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod b/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod index f75a8a644..7b4d6cc29 100644 --- a/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod +++ b/StandardLibrary/runtimes/go/TestsFromDafny-go/go.mod @@ -1,12 +1,12 @@ -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 -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/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0 ) require github.com/google/uuid v1.6.0 // indirect diff --git a/StandardLibrary/runtimes/go/TestsFromDafny-go/go.sum b/StandardLibrary/runtimes/go/TestsFromDafny-go/go.sum index 2e7c8c578..8ea2955d3 100644 --- a/StandardLibrary/runtimes/go/TestsFromDafny-go/go.sum +++ b/StandardLibrary/runtimes/go/TestsFromDafny-go/go.sum @@ -1,5 +1,4 @@ -github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0 h1:ttdCpTQKspK9A/tqE1qnipvjp9IrURS1kC2w47we6GM= -github.com/dafny-lang/DafnyRuntimeGo/v4 v4.8.0/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto= +github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 h1:dOgaw3i0I9nWKPjfXYzEfgWsVRJykL6FA18DErvQiJQ= github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1/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= diff --git a/TestVectorsAwsCryptographicMaterialProviders/Makefile b/TestVectorsAwsCryptographicMaterialProviders/Makefile index 454c3ea14..313de06a0 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/Makefile +++ b/TestVectorsAwsCryptographicMaterialProviders/Makefile @@ -159,11 +159,11 @@ TRANSLATION_RECORD_PYTHON := \ GO_MODULE_NAME="github.com/aws/aws-cryptographic-material-providers-library/testvectors" GO_DEPENDENCY_MODULE_NAMES := \ - --dependency-library-name=aws.cryptography.primitives=github.com/aws/aws-cryptographic-material-providers-library/primitives \ - --dependency-library-name=com.amazonaws.kms=github.com/aws/aws-cryptographic-material-providers-library/kms \ - --dependency-library-name=com.amazonaws.dynamodb=github.com/aws/aws-cryptographic-material-providers-library/dynamodb \ - --dependency-library-name=aws.cryptography.materialProviders=github.com/aws/aws-cryptographic-material-providers-library/mpl \ - --dependency-library-name=aws.cryptography.keyStore=github.com/aws/aws-cryptographic-material-providers-library/mpl \ + --dependency-library-name=aws.cryptography.primitives=github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives \ + --dependency-library-name=com.amazonaws.kms=github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms \ + --dependency-library-name=com.amazonaws.dynamodb=github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb \ + --dependency-library-name=aws.cryptography.materialProviders=github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl \ + --dependency-library-name=aws.cryptography.keyStore=github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl \ --dependency-library-name=sdk.com.amazonaws.dynamodb=github.com/aws/aws-sdk-go-v2/service/dynamodb \ --dependency-library-name=sdk.com.amazonaws.kms=github.com/aws/aws-sdk-go-v2/service/kms diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go index 1513c9f77..4359ddcae 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go @@ -5,10 +5,10 @@ package WrappedAwsCryptographyMaterialProvidersTestVectorKeysService import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/AwsCryptographyMaterialProvidersTestVectorKeysTypes" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/awscryptographymaterialproviderstestvectorkeyssmithygenerated" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) type Shim struct { diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedMaterialProviders/extern.go b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedMaterialProviders/extern.go index bfbde78ff..d060a35ec 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedMaterialProviders/extern.go +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/WrappedMaterialProviders/extern.go @@ -1,9 +1,9 @@ package WrappedMaterialProviders import ( - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/WrappedAwsCryptographyMaterialProvidersService" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/WrappedAwsCryptographyMaterialProvidersService" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" ) func (_static CompanionStruct_Default___) WrappedMaterialProviders(config AwsCryptographyMaterialProvidersTypes.MaterialProvidersConfig) Wrappers.Result { diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go index baf2b23d2..e6bac531f 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go @@ -5,9 +5,9 @@ package awscryptographymaterialproviderstestvectorkeyssmithygenerated import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/AwsCryptographyMaterialProvidersTestVectorKeysTypes" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/KeyVectors" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes" diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go index 1c28744a2..241547bc8 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go @@ -5,14 +5,14 @@ package awscryptographymaterialproviderstestvectorkeyssmithygenerated import ( "unicode/utf8" - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/AwsCryptographyMaterialProvidersTestVectorKeysTypes" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes" kmstypes "github.com/aws/aws-sdk-go-v2/service/kms/types" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func TestVectorKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes.TestVectorKeyringInput) AwsCryptographyMaterialProvidersTestVectorKeysTypes.TestVectorKeyringInput { diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go index 3cb1f4b11..6ce0ace68 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go @@ -3,9 +3,9 @@ package awscryptographymaterialproviderstestvectorkeyssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/AwsCryptographyMaterialProvidersTestVectorKeysTypes" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes" kmstypes "github.com/aws/aws-sdk-go-v2/service/kms/types" diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go index 39340e755..f972b88ca 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go @@ -6,7 +6,7 @@ import ( "fmt" "unicode/utf8" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" kmstypes "github.com/aws/aws-sdk-go-v2/service/kms/types" ) diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod index f2df8af7e..dfe1d7042 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/go.mod @@ -3,21 +3,21 @@ module github.com/aws/aws-cryptographic-material-providers-library/testvectors go 1.23.2 replace ( - github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/ - github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/ - github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0 => ../../../../AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/ - github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ - github.com/dafny-lang/DafnyStandardLibGo => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 => ../../../../AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ ) require ( - github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0 - github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 - github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0 - github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 github.com/aws/aws-sdk-go-v2/service/kms v1.36.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0 ) require ( diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go index 1513c9f77..4359ddcae 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/WrappedAwsCryptographyMaterialProvidersTestVectorKeysService/shim.go @@ -5,10 +5,10 @@ package WrappedAwsCryptographyMaterialProvidersTestVectorKeysService import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/AwsCryptographyMaterialProvidersTestVectorKeysTypes" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/awscryptographymaterialproviderstestvectorkeyssmithygenerated" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) type Shim struct { diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go index baf2b23d2..e6bac531f 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/api_client.go @@ -5,9 +5,9 @@ package awscryptographymaterialproviderstestvectorkeyssmithygenerated import ( "context" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygenerated" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygenerated" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/AwsCryptographyMaterialProvidersTestVectorKeysTypes" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/KeyVectors" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes" diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go index 1c28744a2..241547bc8 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go @@ -5,14 +5,14 @@ package awscryptographymaterialproviderstestvectorkeyssmithygenerated import ( "unicode/utf8" - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library/Wrappers" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/AwsCryptographyMaterialProvidersTestVectorKeysTypes" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes" kmstypes "github.com/aws/aws-sdk-go-v2/service/kms/types" "github.com/dafny-lang/DafnyRuntimeGo/v4/dafny" - "github.com/dafny-lang/DafnyStandardLibGo/Wrappers" ) func TestVectorKeyringInput_ToDafny(nativeInput awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes.TestVectorKeyringInput) AwsCryptographyMaterialProvidersTestVectorKeysTypes.TestVectorKeyringInput { diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go index 3cb1f4b11..6ce0ace68 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go @@ -3,9 +3,9 @@ package awscryptographymaterialproviderstestvectorkeyssmithygenerated import ( - "github.com/aws/aws-cryptographic-material-providers-library/kms/ComAmazonawsKmsTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/AwsCryptographyMaterialProvidersTypes" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms/ComAmazonawsKmsTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/AwsCryptographyMaterialProvidersTypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/AwsCryptographyMaterialProvidersTestVectorKeysTypes" "github.com/aws/aws-cryptographic-material-providers-library/testvectors/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes" kmstypes "github.com/aws/aws-sdk-go-v2/service/kms/types" diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go index 39340e755..f972b88ca 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go @@ -6,7 +6,7 @@ import ( "fmt" "unicode/utf8" - "github.com/aws/aws-cryptographic-material-providers-library/mpl/awscryptographymaterialproviderssmithygeneratedtypes" + "github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl/awscryptographymaterialproviderssmithygeneratedtypes" kmstypes "github.com/aws/aws-sdk-go-v2/service/kms/types" ) diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod index 601e8e54e..5091b8d00 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.mod @@ -3,23 +3,23 @@ module github.com/aws/aws-cryptographic-material-providers-library/testvectors/t go 1.23.2 replace ( - github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/ - github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/ - github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0 => ../../../../AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/ - github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 => ../../../../ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 => ../../../../ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 => ../../../../AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 => ../../../../AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/ + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.0.0 => ../ImplementationFromDafny-go - github.com/dafny-lang/DafnyStandardLibGo => ../../../../StandardLibrary/runtimes/go/ImplementationFromDafny-go/ ) require ( - github.com/aws/aws-cryptographic-material-providers-library/dynamodb v0.0.0 - github.com/aws/aws-cryptographic-material-providers-library/kms v0.0.0 - github.com/aws/aws-cryptographic-material-providers-library/mpl v0.0.0 - github.com/aws/aws-cryptographic-material-providers-library/primitives v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.0 + github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.0 github.com/aws/aws-cryptographic-material-providers-library/testvectors v0.0.0 github.com/aws/aws-sdk-go-v2/service/kms v1.36.0 github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 - github.com/dafny-lang/DafnyStandardLibGo v0.0.0 ) require ( diff --git a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.sum b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.sum index 55861093d..3f00f4e18 100644 --- a/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.sum +++ b/TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/go.sum @@ -30,8 +30,8 @@ github.com/aws/aws-sdk-go-v2/service/sts v1.31.1 h1:8K0UNOkZiK9Uh3HIF6Bx0rcNCftq github.com/aws/aws-sdk-go-v2/service/sts v1.31.1/go.mod h1:yMWe0F+XG0DkRZK5ODZhG7BEFYhLXi2dqGsv6tX0cgI= github.com/aws/smithy-go v1.21.0 h1:H7L8dtDRk0P1Qm6y0ji7MCYMQObJ5R9CRpyPhRUkLYA= github.com/aws/smithy-go v1.21.0/go.mod h1:irrKGvNn1InZwb2d7fkIRNucdfwR8R+Ts3wxYa/cJHg= -github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1 h1:dOgaw3i0I9nWKPjfXYzEfgWsVRJykL6FA18DErvQiJQ= -github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.1/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto= +github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2 h1:g/xAj4F7Zt9wXJ6QjfbfocVi/ZYlAFpNddHCFyfzRDg= +github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2/go.mod h1:l2Tm4N2DKuq3ljONC2vOATeM9PUpXbIc8SgXdwwqEto= github.com/davecgh/go-spew v1.1.0 h1:ZDRjVQ15GmhC3fiQ8ni8+OwkZQO4DARzQgrnXU1Liz8= github.com/davecgh/go-spew v1.1.0/go.mod h1:J7Y8YcW2NihsgmVo/mv3lAwl/skON4iLHjSsI+c5H38= github.com/google/uuid v1.6.0 h1:NIvaJDMOsjHA8n1jAhLSgzrAzy1Hgr+hNrb57e+94F0= diff --git a/smithy-dafny b/smithy-dafny index 35404360d..84523f4cb 160000 --- a/smithy-dafny +++ b/smithy-dafny @@ -1 +1 @@ -Subproject commit 35404360deb3fcc4646293b88c28d292dd19517e +Subproject commit 84523f4cb6e76503c7f2cd4ac9e67adea709d013