Path	Lines of Code
ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/Com_Amazonaws_Dynamodb/externs.go	43
ComAmazonawsDynamodb/runtimes/go/ImplementationFromDafny-go/DynamoDBwrapped/shim.go	469
ComAmazonawsDynamodb/runtimes/go/TestsFromDafny-go/DynamoDBwrapped/shim.go	469
ComAmazonawsDynamodb/runtimes/java/build.gradle.kts	84
ComAmazonawsDynamodb/runtimes/java/settings.gradle.kts	7
ComAmazonawsDynamodb/runtimes/java/src/main/java/software/amazon/cryptography/services/dynamodb/internaldafny/__default.java	51
ComAmazonawsDynamodb/runtimes/java/src/main/java/software/amazon/cryptography/services/dynamodb/internaldafny/types/__default.java	3
ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/Shim.java	3151
ComAmazonawsDynamodb/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/services/dynamodb/internaldafny/ToNative.java	8440
ComAmazonawsDynamodb/runtimes/net/AssemblyInfo.cs	3
ComAmazonawsDynamodb/runtimes/net/Extern/DDBClient.cs	43
ComAmazonawsDynamodb/runtimes/net/Generated/DynamoDBv2Shim.cs	981
ComAmazonawsDynamodb/runtimes/python/pyproject.toml	30
ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/__init__.py	2
ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/__init__.py	1
ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/dafny_to_aws_sdk.py	5437
ComAmazonawsDynamodb/runtimes/python/src/aws_cryptography_internal_dynamodb/smithygenerated/com_amazonaws_dynamodb/shim.py	1109
ComAmazonawsDynamodb/runtimes/rust/Cargo.toml	17
ComAmazonawsDynamodb/runtimes/rust/src/ddb.rs	68
ComAmazonawsDynamodb/runtimes/rust/src/lib.rs	22