File change frequency (churn) shows the distribution of file updates (days with at least one commit).
File Change Frequency Overall
File Change Frequency Overall
The number of recorded file updates
- There are 22 files with 626 lines of code.
- 0 files changed more than 100 times (0 lines of code)
- 0 files changed 51-100 times (0 lines of code)
- 0 files changed 21-50 times (0 lines of code)
- 2 files changed 6-20 times (341 lines of code)
- 20 files changed 1-5 times (285 lines of code)
Legend:
101+
51-100
21-50
6-20
1-5
File Change Frequency per File Extension
c, md, py, txt, gitignore, json
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
File Change Frequency per Logical Decomposition
primary
primary (file change frequency)
The number of recorded file updates
Most Frequently Changed Files (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
 run-cbmc-proofs.py in template-for-repository/proofs |
264 | 12 | 105 | 569 | 14 |
util.py in scripts |
77 | 14 | 146 | 606 | 7 |
setup.py in scripts |
29 | 2 | 146 | 606 | 4 |
setup-proof.py in scripts |
46 | 9 | 146 | 606 | 3 |
 unsigned_underflow_check_harness.c in template-for-repository/negative_tests/unsigned_underflow_check |
4 | 1 | 146 | 494 | 2 |
float_overflow_check_harness.c in template-for-repository/negative_tests/float_overflow_check |
4 | 1 | 146 | 494 | 2 |
pointer_check_harness.c in template-for-repository/negative_tests/pointer_check |
4 | 1 | 146 | 494 | 2 |
pointer_primitive_check_harness.c in template-for-repository/negative_tests/pointer_primitive_check |
4 | 1 | 146 | 494 | 2 |
float_underflow_check_harness.c in template-for-repository/negative_tests/float_underflow_check |
4 | 1 | 146 | 494 | 2 |
nan_check_harness.c in template-for-repository/negative_tests/nan_check |
4 | 1 | 146 | 494 | 2 |
signed_underflow_check_harness.c in template-for-repository/negative_tests/signed_underflow_check |
4 | 1 | 146 | 494 | 2 |
assert_harness.c in template-for-repository/negative_tests/assert |
4 | 1 | 146 | 494 | 2 |
unsigned_overflow_check_harness.c in template-for-repository/negative_tests/unsigned_overflow_check |
4 | 1 | 146 | 494 | 2 |
signed_overflow_check_harness.c in template-for-repository/negative_tests/signed_overflow_check |
4 | 1 | 146 | 494 | 2 |
div_by_zero_check_harness.c in template-for-repository/negative_tests/div_by_zero_check |
4 | 1 | 146 | 494 | 2 |
FUNCTION_harness.c in template-for-proof |
4 | 1 | 146 | 606 | 2 |
undefined_shift_check_harness.c in template-for-repository/negative_tests/undefined_shift_check |
5 | 1 | 146 | 494 | 2 |
conversion_check_harness.c in template-for-repository/negative_tests/conversion_check |
5 | 1 | 146 | 494 | 2 |
pointer_underflow_check_harness.c in template-for-repository/negative_tests/pointer_underflow_check |
6 | 1 | 146 | 494 | 2 |
pointer_overflow_check_harness.c in template-for-repository/negative_tests/pointer_overflow_check |
6 | 1 | 146 | 494 | 2 |