Add generated code

aws · Jan 9, 2025 · f437e04 · f437e04
1 parent 67fa161
commit f437e04
Show file tree

Hide file tree

Showing 31 changed files with 74,222 additions and 29,963 deletions.
diff --git a/...runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go b/...runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go
diff --git a/...untimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go b/...untimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go
diff --git a/...go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go b/...go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go
diff --git a/...o/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go b/...o/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go
diff --git a/.../ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go b/.../ImplementationFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go
diff --git a/...roviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go b/...roviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go
diff --git a/...oviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go b/...oviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go
diff --git a/...runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go b/...runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go
diff --git a/...untimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go b/...untimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go
diff --git a/...ntimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go b/...ntimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygeneratedtypes/types.go
diff --git a/...ntimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go b/...ntimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go
diff --git a/...times/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go b/...times/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go
diff --git a/...itives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go b/...itives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go
diff --git a/...tives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go b/...tives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go
diff --git a/...db/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go b/...db/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go
diff --git a/...b/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go b/...b/runtimes/go/ImplementationFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go
diff --git a/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/DynamoDBwrapped/shim.go b/ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/DynamoDBwrapped/shim.go
diff --git a/...awsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go b/...awsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_dafny.go
diff --git a/...wsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go b/...wsDynamodb/runtimes/go/TestsFromDafny-go/comamazonawsdynamodbsmithygenerated/to_native.go
diff --git a/...nawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go b/...nawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go
diff --git a/...awsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go b/...awsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go
diff --git a/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/KMSwrapped/shim.go b/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/KMSwrapped/shim.go
diff --git a/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go b/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_dafny.go
diff --git a/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go b/ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go
diff --git a/...ionFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go b/...ionFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go
diff --git a/...onFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go b/...onFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go
diff --git a/...nFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go b/...nFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygeneratedtypes/types.go
diff --git a/...stsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go b/...stsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go