Commit cc30ecc

authored

fix(Go): Improve Go performance (#1729)

Co-authored-by: Shubham Chaturvedi <[email protected]> Co-authored-by: Rishav karanjit <[email protected]>

1 parent 987ac0f commit cc30eccCopy full SHA for cc30ecc

40 files changed

+412

-2006

lines changed

AwsCryptographicMaterialProviders/runtimes/go
- ImplementationFromDafny-go
  - awscryptographykeystoresmithygenerated
    - to_native.go
  - awscryptographymaterialproviderssmithygenerated
    - to_native.go
  - go.mod
- TestsFromDafny-go
  - awscryptographykeystoresmithygenerated
    - to_native.go
  - awscryptographymaterialproviderssmithygenerated
    - to_native.go
  - go.mod
AwsCryptographyPrimitives/runtimes/go
- ImplementationFromDafny-go
  - awscryptographyprimitivessmithygenerated
    - to_native.go
  - go.mod
  - go.sum
- TestsFromDafny-go
  - awscryptographyprimitivessmithygenerated
    - to_native.go
  - go.mod
  - go.sum
ComAmazonawsDynamodb/runtimes/go
- ImplementationFromDafny-go
  - comamazonawsdynamodbsmithygenerated
    - to_dafny.go
    - to_native.go
  - go.mod
  - go.sum
- TestsFromDafny-go
  - comamazonawsdynamodbsmithygenerated
    - to_dafny.go
    - to_native.go
  - go.mod
  - go.sum
ComAmazonawsKms/runtimes/go
- ImplementationFromDafny-go
  - comamazonawskmssmithygenerated
    - to_dafny.go
    - to_native.go
  - go.mod
  - go.sum
- TestsFromDafny-go
  - comamazonawskmssmithygenerated
    - to_dafny.go
    - to_native.go
  - go.mod
  - go.sum
StandardLibrary/runtimes/go
- ImplementationFromDafny-go
  - DafnyLibraries
    - externs.go
  - go.mod
  - go.sum
- TestsFromDafny-go
  - go.mod
  - go.sum
TestVectorsAwsCryptographicMaterialProviders/runtimes/go
- ImplementationFromDafny-go
  - awscryptographymaterialproviderstestvectorkeyssmithygenerated
    - to_native.go
  - go.mod
  - go.sum
- TestsFromDafny-go
  - awscryptographymaterialproviderstestvectorkeyssmithygenerated
    - to_native.go
  - go.mod
  - go.sum
smithy-dafny

40 files changed

+412

-2006

lines changed

`‎AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go‎`

Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Comments

(0)