Skip to content

Commit c3f4569

Browse files
polymorph code
1 parent 5d6c994 commit c3f4569

File tree

24 files changed

+4136
-24898
lines changed
  • DynamoDbEncryption/runtimes/go
    • ImplementationFromDafny-go
      • awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes
      • awscryptographydbencryptionsdkdynamodbitemencryptorsmithygenerated
      • awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes
      • awscryptographydbencryptionsdkdynamodbsmithygenerated
      • awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes
      • awscryptographydbencryptionsdkdynamodbtransformssmithygenerated
      • awscryptographydbencryptionsdkstructuredencryptionsmithygeneratedtypes
      • awscryptographydbencryptionsdkstructuredencryptionsmithygenerated
    • TestsFromDafny-go
      • awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes
      • awscryptographydbencryptionsdkdynamodbitemencryptorsmithygenerated
      • awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes
      • awscryptographydbencryptionsdkdynamodbsmithygenerated
      • awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes
      • awscryptographydbencryptionsdkdynamodbtransformssmithygenerated
      • awscryptographydbencryptionsdkstructuredencryptionsmithygeneratedtypes
      • awscryptographydbencryptionsdkstructuredencryptionsmithygenerated

24 files changed

+4136
-24898
lines changed

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbitemencryptorsmithygenerated/to_dafny.go

Lines changed: 47 additions & 534 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbitemencryptorsmithygenerated/to_native.go

Lines changed: 64 additions & 716 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbitemencryptorsmithygeneratedtypes/types.go

Lines changed: 108 additions & 108 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygenerated/to_dafny.go

Lines changed: 228 additions & 685 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygenerated/to_native.go

Lines changed: 288 additions & 890 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbsmithygeneratedtypes/types.go

Lines changed: 102 additions & 102 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbtransformssmithygenerated/to_dafny.go

Lines changed: 291 additions & 3760 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbtransformssmithygenerated/to_native.go

Lines changed: 599 additions & 4965 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkdynamodbtransformssmithygeneratedtypes/types.go

Lines changed: 19 additions & 214 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

DynamoDbEncryption/runtimes/go/ImplementationFromDafny-go/awscryptographydbencryptionsdkstructuredencryptionsmithygenerated/to_dafny.go

Lines changed: 121 additions & 179 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

0 commit comments

Comments
 (0)