| Pairs |
# same commits |
# commits 1 |
# commits 2 |
latest commit |
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go |
3 |
11 (27%) |
11 (27%) |
2025-04-09 |
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go |
2 |
11 (18%) |
10 (20%) |
2025-04-09 |
releases/rust/esdk/Cargo.toml
AwsEncryptionSDK/runtimes/rust/Cargo.toml |
2 |
5 (40%) |
8 (25%) |
2025-03-21 |
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go |
2 |
10 (20%) |
11 (18%) |
2025-04-09 |
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go |
2 |
10 (20%) |
10 (20%) |
2025-04-09 |
TestVectors/runtimes/rust/Cargo.toml
AwsEncryptionSDK/runtimes/rust/Cargo.toml |
2 |
6 (33%) |
8 (25%) |
2025-04-14 |
TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go |
2 |
5 (40%) |
10 (20%) |
2025-04-09 |
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go |
2 |
10 (20%) |
11 (18%) |
2025-04-09 |
TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go |
2 |
5 (40%) |
11 (18%) |
2025-04-09 |
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go |
2 |
10 (20%) |
11 (18%) |
2025-04-09 |
TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go |
2 |
5 (40%) |
11 (18%) |
2025-04-09 |
TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/TestESDK.java
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go |
2 |
5 (40%) |
10 (20%) |
2025-04-09 |
releases/rust/esdk/src/error/sealed_unhandled.rs
releases/rust/esdk/src/conversions/error.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/hmac.rs
releases/rust/esdk/src/deps.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/kms.rs
releases/rust/esdk/src/dafny_libraries.rs |
1 |
3 (33%) |
4 (25%) |
2025-02-03 |
releases/rust/esdk/src/conversions/encrypt_output.rs
releases/rust/esdk/src/conversions/client.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/types/error.rs
releases/rust/esdk/src/types/_decrypt_output.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/conversions/encrypt_input.rs
AwsEncryptionSDK/runtimes/rust/Cargo.toml |
1 |
3 (33%) |
8 (12%) |
2025-02-03 |
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/deserialize.py
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/internaldafny/__init__.py |
1 |
1 (100%) |
1 (100%) |
2025-03-21 |
releases/rust/esdk/src/types/_net_v4_0_0_retry_policy.rs
releases/rust/esdk/src/conversions/decrypt.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
TestVectors/runtimes/java/src/main/smithy-generated/software/amazon/cryptography/encryptionsdk/wrapped/KeyringToMasterKeyProvider.java
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/deserialize.py |
1 |
1 (100%) |
1 (100%) |
2025-03-21 |
releases/rust/esdk/src/conversions/error.rs
releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/__init__.py
AwsEncryptionSDK/runtimes/rust/Cargo.toml |
1 |
1 (100%) |
8 (12%) |
2025-03-21 |
releases/rust/esdk/src/types/_decrypt_input.rs
releases/rust/esdk/src/conversions.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/conversions/encrypt_input.rs
releases/rust/esdk/src/conversions/decrypt_output.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/hmac.rs
releases/rust/esdk/src/conversions/decrypt_input.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/operation/encrypt/_encrypt_output.rs
releases/rust/esdk/src/conversions/decrypt/_decrypt_input.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygeneratedtypes/types.go
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go |
1 |
6 (16%) |
11 (9%) |
2025-03-21 |
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/serialize.py
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/__init__.py |
1 |
1 (100%) |
1 (100%) |
2025-03-21 |
releases/rust/esdk/src/operation/encrypt/builders.rs
releases/rust/esdk/src/dafny_libraries.rs |
1 |
3 (33%) |
4 (25%) |
2025-02-03 |
releases/rust/esdk/src/conversions/net_v4_0_0_retry_policy.rs
releases/rust/esdk/src/conversions/decrypt.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/validation.rs
AwsEncryptionSDK/runtimes/rust/Cargo.toml |
1 |
3 (33%) |
8 (12%) |
2025-02-03 |
releases/rust/esdk/src/types/_decrypt_output.rs
releases/rust/esdk/src/aes_gcm.rs |
1 |
3 (33%) |
4 (25%) |
2025-02-03 |
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/smithygenerated/aws_cryptography_encryptionsdk/__init__.py
AwsEncryptionSDK/runtimes/go/TestsFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_native.go |
1 |
1 (100%) |
10 (10%) |
2025-03-21 |
releases/rust/esdk/src/ddb.rs
releases/rust/esdk/src/conversions/decrypt_output.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/random.rs
releases/rust/esdk/src/operation/encrypt/_encrypt_input.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/smithygenerated/aws_cryptography_encryptionsdk/shim.py
AwsEncryptionSDK/runtimes/python/src/aws_encryption_sdk_dafny/__init__.py |
1 |
1 (100%) |
1 (100%) |
2025-03-21 |
releases/rust/esdk/src/storm_tracker.rs
releases/rust/esdk/src/operation/encrypt/builders.rs |
1 |
4 (25%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/types/_encrypt_input.rs
releases/rust/esdk/src/operation/decrypt/_decrypt_input.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/conversions/decrypt.rs
releases/rust/esdk/src/aes_gcm.rs |
1 |
3 (33%) |
4 (25%) |
2025-02-03 |
releases/rust/esdk/src/standard_library_conversions.rs
releases/rust/esdk/src/conversions/decrypt/_decrypt_output.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/uuid.rs
releases/rust/esdk/src/conversions/encrypt/_encrypt_input.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/go/encryption-sdk/awscryptographyencryptionsdksmithygeneratedtypes/types.go
releases/go/encryption-sdk/awscryptographyencryptionsdksmithygenerated/to_native.go |
1 |
2 (50%) |
2 (50%) |
2025-03-21 |
releases/rust/esdk/src/types/error.rs
releases/rust/esdk/src/operation/encrypt.rs |
1 |
3 (33%) |
4 (25%) |
2025-02-03 |
releases/rust/esdk/src/storm_tracker.rs
releases/rust/esdk/src/conversions/aws_encryption_sdk_config/_aws_encryption_sdk_config.rs |
1 |
4 (25%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/time.rs
releases/rust/esdk/src/conversions/error.rs |
1 |
4 (25%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/ecdh.rs
releases/rust/esdk/src/client.rs |
1 |
4 (25%) |
4 (25%) |
2025-02-03 |
TestVectors/runtimes/python/src/aws_encryption_sdk_test_vectors/__init__.py
AwsEncryptionSDK/runtimes/go/ImplementationFromDafny-go/awscryptographyencryptionsdksmithygenerated/to_dafny.go |
1 |
1 (100%) |
11 (9%) |
2025-03-21 |
releases/rust/esdk/src/types/error.rs
releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
releases/rust/esdk/src/operation/decrypt/_decrypt_output.rs
releases/rust/esdk/src/ddb.rs |
1 |
3 (33%) |
3 (33%) |
2025-02-03 |
