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).
No file pairs changed together.
File Change History per Logical Decomposition
primary
primary
The number on the lines shows the number of shared commits.
No temporal cross-component dependencies found.
No file pairs changed together.
File Change History per Logical Decomposition
primary
primary
The number on the lines shows the number of shared commits.
No temporal cross-component dependencies found.
Files Most Frequently Changed Together (Top 20)
| Pairs | # same commits | # commits 1 | # commits 2 | latest commit |
|---|---|---|---|---|
| scripts/setup-proof.py template-for-repository/proofs/run-cbmc-proofs.py |
1 | 5 (20%) | 17 (5%) | 2021-09-08 |
| scripts/setup.py template-for-repository/proofs/run-cbmc-proofs.py |
1 | 5 (20%) | 17 (5%) | 2021-09-08 |
| scripts/setup.py scripts/setup-proof.py |
1 | 5 (20%) | 5 (20%) | 2021-09-08 |
| scripts/util.py template-for-repository/proofs/run-cbmc-proofs.py |
1 | 9 (11%) | 17 (5%) | 2021-09-08 |
| scripts/util.py scripts/setup-proof.py |
1 | 9 (11%) | 5 (20%) | 2021-09-08 |
| scripts/util.py scripts/setup.py |
1 | 9 (11%) | 5 (20%) | 2021-09-08 |
| template-for-proof/FUNCTION_harness.c template-for-repository/proofs/run-cbmc-proofs.py |
1 | 2 (50%) | 17 (5%) | 2021-09-08 |
| template-for-proof/FUNCTION_harness.c scripts/setup-proof.py |
1 | 2 (50%) | 5 (20%) | 2021-09-08 |
| template-for-proof/FUNCTION_harness.c scripts/setup.py |
1 | 2 (50%) | 5 (20%) | 2021-09-08 |
| template-for-proof/FUNCTION_harness.c scripts/util.py |
1 | 2 (50%) | 9 (11%) | 2021-09-08 |
| template-for-repository/negative_tests/assert/assert_harness.c template-for-repository/proofs/run-cbmc-proofs.py |
1 | 2 (50%) | 17 (5%) | 2021-09-08 |
| template-for-repository/negative_tests/assert/assert_harness.c scripts/setup-proof.py |
1 | 2 (50%) | 5 (20%) | 2021-09-08 |
| template-for-repository/negative_tests/assert/assert_harness.c scripts/setup.py |
1 | 2 (50%) | 5 (20%) | 2021-09-08 |
| template-for-repository/negative_tests/assert/assert_harness.c scripts/util.py |
1 | 2 (50%) | 9 (11%) | 2021-09-08 |
| template-for-repository/negative_tests/assert/assert_harness.c template-for-proof/FUNCTION_harness.c |
1 | 2 (50%) | 2 (50%) | 2021-09-08 |
| template-for-repository/negative_tests/bounds_check/bounds_check_harness.c template-for-repository/proofs/run-cbmc-proofs.py |
1 | 2 (50%) | 17 (5%) | 2021-09-08 |
| template-for-repository/negative_tests/bounds_check/bounds_check_harness.c scripts/setup-proof.py |
1 | 2 (50%) | 5 (20%) | 2021-09-08 |
| template-for-repository/negative_tests/bounds_check/bounds_check_harness.c scripts/setup.py |
1 | 2 (50%) | 5 (20%) | 2021-09-08 |
| template-for-repository/negative_tests/bounds_check/bounds_check_harness.c scripts/util.py |
1 | 2 (50%) | 9 (11%) | 2021-09-08 |
| template-for-repository/negative_tests/bounds_check/bounds_check_harness.c template-for-proof/FUNCTION_harness.c |
1 | 2 (50%) | 2 (50%) | 2021-09-08 |
File Change History per Logical Decomposition
primary
primary
The number on the lines shows the number of shared commits.
Files Most Frequently Changed Together (Top 20)
| Pairs | # same commits | # commits 1 | # commits 2 | latest commit |
|---|---|---|---|---|
| scripts/setup-proof.py template-for-repository/proofs/run-cbmc-proofs.py |
1 | 5 (20%) | 17 (5%) | 2021-09-08 |
| scripts/setup.py template-for-repository/proofs/run-cbmc-proofs.py |
1 | 5 (20%) | 17 (5%) | 2021-09-08 |
| scripts/setup.py scripts/setup-proof.py |
1 | 5 (20%) | 5 (20%) | 2021-09-08 |
| scripts/util.py template-for-repository/proofs/run-cbmc-proofs.py |
1 | 9 (11%) | 17 (5%) | 2021-09-08 |
| scripts/util.py scripts/setup-proof.py |
1 | 9 (11%) | 5 (20%) | 2021-09-08 |
| scripts/util.py scripts/setup.py |
1 | 9 (11%) | 5 (20%) | 2021-09-08 |
| template-for-proof/FUNCTION_harness.c template-for-repository/proofs/run-cbmc-proofs.py |
1 | 2 (50%) | 17 (5%) | 2021-09-08 |
| template-for-proof/FUNCTION_harness.c scripts/setup-proof.py |
1 | 2 (50%) | 5 (20%) | 2021-09-08 |
| template-for-proof/FUNCTION_harness.c scripts/setup.py |
1 | 2 (50%) | 5 (20%) | 2021-09-08 |
| template-for-proof/FUNCTION_harness.c scripts/util.py |
1 | 2 (50%) | 9 (11%) | 2021-09-08 |
| template-for-repository/negative_tests/assert/assert_harness.c template-for-repository/proofs/run-cbmc-proofs.py |
1 | 2 (50%) | 17 (5%) | 2021-09-08 |
| template-for-repository/negative_tests/assert/assert_harness.c scripts/setup-proof.py |
1 | 2 (50%) | 5 (20%) | 2021-09-08 |
| template-for-repository/negative_tests/assert/assert_harness.c scripts/setup.py |
1 | 2 (50%) | 5 (20%) | 2021-09-08 |
| template-for-repository/negative_tests/assert/assert_harness.c scripts/util.py |
1 | 2 (50%) | 9 (11%) | 2021-09-08 |
| template-for-repository/negative_tests/assert/assert_harness.c template-for-proof/FUNCTION_harness.c |
1 | 2 (50%) | 2 (50%) | 2021-09-08 |
| template-for-repository/negative_tests/bounds_check/bounds_check_harness.c template-for-repository/proofs/run-cbmc-proofs.py |
1 | 2 (50%) | 17 (5%) | 2021-09-08 |
| template-for-repository/negative_tests/bounds_check/bounds_check_harness.c scripts/setup-proof.py |
1 | 2 (50%) | 5 (20%) | 2021-09-08 |
| template-for-repository/negative_tests/bounds_check/bounds_check_harness.c scripts/setup.py |
1 | 2 (50%) | 5 (20%) | 2021-09-08 |
| template-for-repository/negative_tests/bounds_check/bounds_check_harness.c scripts/util.py |
1 | 2 (50%) | 9 (11%) | 2021-09-08 |
| template-for-repository/negative_tests/bounds_check/bounds_check_harness.c template-for-proof/FUNCTION_harness.c |
1 | 2 (50%) | 2 (50%) | 2021-09-08 |
File Change History per Logical Decomposition
primary
primary
The number on the lines shows the number of shared commits.