Path	Lines of Code
ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Kms/externs.go	43
ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/KMSwrapped/shim.go	429
ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go	6689
ComAmazonawsKms/runtimes/go/TestsFromDafny-go/KMSwrapped/shim.go	429
ComAmazonawsKms/runtimes/go/TestsFromDafny-go/comamazonawskmssmithygenerated/to_native.go	6689
ComAmazonawsKms/runtimes/java/build.gradle.kts	118
ComAmazonawsKms/runtimes/java/settings.gradle.kts	7
ComAmazonawsKms/runtimes/java/src/main/java/software/amazon/cryptography/services/kms/internaldafny/__default.java	102
ComAmazonawsKms/runtimes/java/src/main/java/software/amazon/cryptography/services/kms/internaldafny/types/__default.java	3
ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/Shim.java	3925
ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToDafny.java	5518
ComAmazonawsKms/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/kms/internaldafny/ToNative.java	4583
ComAmazonawsKms/runtimes/net/AssemblyInfo.cs	3
ComAmazonawsKms/runtimes/net/Extern/KMSClient.cs	97
ComAmazonawsKms/runtimes/net/Generated/KeyManagementServiceShim.cs	883
ComAmazonawsKms/runtimes/python/pyproject.toml	30
ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/__init__.py	2
ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/__init__.py	1
ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/aws_sdk_to_dafny.py	5985
ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/dafny_to_aws_sdk.py	2683
ComAmazonawsKms/runtimes/python/src/aws_cryptography_internal_kms/smithygenerated/com_amazonaws_kms/shim.py	993
ComAmazonawsKms/runtimes/rust/Cargo.toml	17
ComAmazonawsKms/runtimes/rust/src/kms.rs	77
ComAmazonawsKms/runtimes/rust/src/lib.rs	22