A temporal dependency occurs when developers change two or more files at the same time (i.e. they are a part of the same commit).
| Pairs | # same commits | # commits 1 | # commits 2 | latest commit |
|---|---|---|---|---|
| AwsCryptographicMaterialProviders/runtimes/rust/src/ecdsa.rs AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs |
2 | 5 (40%) | 8 (25%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go |
1 | 6 (16%) | 8 (12%) | 2025-04-08 |
| AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go |
1 | 9 (11%) | 8 (12%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs AwsCryptographicMaterialProviders/runtimes/rust/src/digest.rs |
1 | 6 (16%) | 4 (25%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go |
1 | 6 (16%) | 6 (16%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/hmac.rs AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go |
1 | 4 (25%) | 7 (14%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go |
1 | 8 (12%) | 6 (16%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/aes_gcm.rs AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go |
1 | 5 (20%) | 10 (10%) | 2025-04-08 |
| TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go |
1 | 6 (16%) | 9 (11%) | 2025-04-08 |
| ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/src/random.rs |
1 | 10 (10%) | 4 (25%) | 2025-04-08 |
| ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs |
1 | 10 (10%) | 8 (12%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs AwsCryptographicMaterialProviders/runtimes/rust/src/aes_kdf_ctr.rs |
1 | 9 (11%) | 8 (12%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/random.rs AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs |
1 | 4 (25%) | 8 (12%) | 2025-04-08 |
| TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go |
1 | 6 (16%) | 10 (10%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go |
1 | 10 (10%) | 6 (16%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/ecdsa.rs AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go |
1 | 5 (20%) | 10 (10%) | 2025-04-08 |
| AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go |
1 | 8 (12%) | 9 (11%) | 2025-04-08 |
| TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go |
1 | 6 (16%) | 7 (14%) | 2025-04-08 |
| TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go |
1 | 6 (16%) | 7 (14%) | 2025-04-08 |
| AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs |
1 | 8 (12%) | 9 (11%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/digest.rs AwsCryptographicMaterialProviders/runtimes/rust/src/aes_gcm.rs |
1 | 4 (25%) | 5 (20%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go |
1 | 8 (12%) | 6 (16%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/sets.rs AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go |
1 | 4 (25%) | 10 (10%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/ecdh.rs AwsCryptographicMaterialProviders/runtimes/rust/src/digest.rs |
1 | 8 (12%) | 4 (25%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/oslang.rs AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go |
1 | 2 (50%) | 8 (12%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/uuid.rs AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go |
1 | 4 (25%) | 7 (14%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/sets.rs AwsCryptographicMaterialProviders/runtimes/rust/src/dafny_libraries.rs |
1 | 4 (25%) | 9 (11%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go |
1 | 8 (12%) | 8 (12%) | 2025-04-08 |
| AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/src/ecdsa.rs |
1 | 8 (12%) | 5 (20%) | 2025-04-08 |
| TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go |
1 | 6 (16%) | 8 (12%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/oslang.rs AwsCryptographicMaterialProviders/runtimes/rust/src/digest.rs |
1 | 2 (50%) | 4 (25%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/sets.rs AwsCryptographicMaterialProviders/runtimes/rust/src/random.rs |
1 | 4 (25%) | 4 (25%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/aes_gcm.rs AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go |
1 | 5 (20%) | 6 (16%) | 2025-04-08 |
| AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go |
1 | 8 (12%) | 7 (14%) | 2025-04-08 |
| ComAmazonawsKms/runtimes/go/ImplementationFromDafny-go/comamazonawskmssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/src/oslang.rs |
1 | 10 (10%) | 2 (50%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/sets.rs AwsCryptographicMaterialProviders/runtimes/rust/src/aes_gcm.rs |
1 | 4 (25%) | 5 (20%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/oslang.rs AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go |
1 | 2 (50%) | 7 (14%) | 2025-04-08 |
| TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/src/random.rs |
1 | 6 (16%) | 4 (25%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_dafny.go |
1 | 6 (16%) | 10 (10%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs AwsCryptographicMaterialProviders/runtimes/rust/src/random.rs |
1 | 6 (16%) | 4 (25%) | 2025-04-08 |
| TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go |
1 | 7 (14%) | 8 (12%) | 2025-04-08 |
| AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go |
1 | 6 (16%) | 7 (14%) | 2025-04-08 |
| AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/rust/src/ecdsa.rs |
1 | 9 (11%) | 5 (20%) | 2025-04-08 |
| AwsCryptographyPrimitives/runtimes/go/TestsFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderssmithygenerated/to_native.go |
1 | 9 (11%) | 8 (12%) | 2025-04-08 |
| TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs |
1 | 6 (16%) | 6 (16%) | 2025-04-08 |
| AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_native.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_native.go |
1 | 8 (12%) | 6 (16%) | 2025-04-08 |
| TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/rust/src/digest.rs |
1 | 7 (14%) | 4 (25%) | 2025-04-08 |
| TestVectorsAwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/rust/src/rsa.rs |
1 | 7 (14%) | 6 (16%) | 2025-04-08 |
| TestVectorsAwsCryptographicMaterialProviders/runtimes/go/ImplementationFromDafny-go/awscryptographymaterialproviderstestvectorkeyssmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/go/TestsFromDafny-go/awscryptographykeystoresmithygenerated/to_dafny.go |
1 | 7 (14%) | 7 (14%) | 2025-04-08 |
| AwsCryptographyPrimitives/runtimes/go/ImplementationFromDafny-go/awscryptographyprimitivessmithygenerated/to_dafny.go AwsCryptographicMaterialProviders/runtimes/rust/src/uuid.rs |
1 | 9 (11%) | 4 (25%) | 2025-04-08 |
