File age measurements show the distribution of file ages (days since the first commit) and the recency of file updates (days since the latest commit).
Summary
- Number of files: 22
- Daily file updates (only one update per file and date counted): 64
- First update: 2020-06-05
- Latest update: 2021-12-08
- Days between first and latest update: 552 (78 weeks, estimated 390 working days)
- Active days (at least one file change): 56
- Data:
File Change History Overall
File Age Distribution Overall
Days since first update
- There are 22 files with 626 lines of code in files.
- 21 files that are 366+ days old (493 lines of code)
- 0 files that are 181-365 days old (0 lines of code)
- 1 files that are 91-180 days old (133 lines of code)
- 0 files that are 31-90 days old (0 lines of code)
- 0 files that are 1-30 days old (0 lines of code)
Legend:
366+
181-365
91-180
31-90
1-30
Latest Change Distribution Overall
Days since last update
- There are 22 files with 626 lines of code in files.
- 0 files have been last changed 366+ days ago (0 lines of code)
- 0 files have been last changed 181-365 days ago (0 lines of code)
- 22 files have been last changed 91-180 days ago (626 lines of code)
- 0 files have been last changed 31-90 days ago (0 lines of code)
- 0 files have been last changed 1-30 days ago (0 lines of code)
Legend:
366+
181-365
91-180
31-90
1-30
File Change History per File Extension
c, md, py, txt, gitignore, json
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
Latest Change Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
File Change History per Logical Decomposition
primary
primary (file age distribution)
Days since first update
366+
181-365
91-180
31-90
1-30
primary (latest change distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
Oldest Files (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
 util.py in scripts |
77 | 14 | 146 | 606 | 7 |
setup-proof.py in scripts |
46 | 9 | 146 | 606 | 3 |
setup.py in scripts |
29 | 2 | 146 | 606 | 4 |
 FUNCTION_harness.c in template-for-proof |
4 | 1 | 146 | 606 | 2 |
run-cbmc-proofs.py in template-for-repository/proofs |
264 | 12 | 105 | 569 | 14 |
bounds_check_harness.c in template-for-repository/negative_tests/bounds_check |
7 | 1 | 146 | 494 | 2 |
pointer_overflow_check_harness.c in template-for-repository/negative_tests/pointer_overflow_check |
6 | 1 | 146 | 494 | 2 |
pointer_underflow_check_harness.c in template-for-repository/negative_tests/pointer_underflow_check |
6 | 1 | 146 | 494 | 2 |
conversion_check_harness.c in template-for-repository/negative_tests/conversion_check |
5 | 1 | 146 | 494 | 2 |
undefined_shift_check_harness.c in template-for-repository/negative_tests/undefined_shift_check |
5 | 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 |
signed_overflow_check_harness.c in template-for-repository/negative_tests/signed_overflow_check |
4 | 1 | 146 | 494 | 2 |
unsigned_overflow_check_harness.c in template-for-repository/negative_tests/unsigned_overflow_check |
4 | 1 | 146 | 494 | 2 |
assert_harness.c in template-for-repository/negative_tests/assert |
4 | 1 | 146 | 494 | 2 |
signed_underflow_check_harness.c in template-for-repository/negative_tests/signed_underflow_check |
4 | 1 | 146 | 494 | 2 |
nan_check_harness.c in template-for-repository/negative_tests/nan_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 |
pointer_primitive_check_harness.c in template-for-repository/negative_tests/pointer_primitive_check |
4 | 1 | 146 | 494 | 2 |
pointer_check_harness.c in template-for-repository/negative_tests/pointer_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 |
Files Not Recently Changed (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
remove-apache-license-identifier.py in root |
133 | 10 | 147 | 147 | 1 |
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 |
bounds_check_harness.c in template-for-repository/negative_tests/bounds_check |
7 | 1 | 146 | 494 | 2 |
setup.py in scripts |
29 | 2 | 146 | 606 | 4 |
setup-proof.py in scripts |
46 | 9 | 146 | 606 | 3 |
Most Recently Created Files (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
remove-apache-license-identifier.py in root |
133 | 10 | 147 | 147 | 1 |
bounds_check_harness.c in template-for-repository/negative_tests/bounds_check |
7 | 1 | 146 | 494 | 2 |
pointer_overflow_check_harness.c in template-for-repository/negative_tests/pointer_overflow_check |
6 | 1 | 146 | 494 | 2 |
pointer_underflow_check_harness.c in template-for-repository/negative_tests/pointer_underflow_check |
6 | 1 | 146 | 494 | 2 |
conversion_check_harness.c in template-for-repository/negative_tests/conversion_check |
5 | 1 | 146 | 494 | 2 |
undefined_shift_check_harness.c in template-for-repository/negative_tests/undefined_shift_check |
5 | 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 |
signed_overflow_check_harness.c in template-for-repository/negative_tests/signed_overflow_check |
4 | 1 | 146 | 494 | 2 |
unsigned_overflow_check_harness.c in template-for-repository/negative_tests/unsigned_overflow_check |
4 | 1 | 146 | 494 | 2 |
assert_harness.c in template-for-repository/negative_tests/assert |
4 | 1 | 146 | 494 | 2 |
signed_underflow_check_harness.c in template-for-repository/negative_tests/signed_underflow_check |
4 | 1 | 146 | 494 | 2 |
nan_check_harness.c in template-for-repository/negative_tests/nan_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 |
pointer_primitive_check_harness.c in template-for-repository/negative_tests/pointer_primitive_check |
4 | 1 | 146 | 494 | 2 |
pointer_check_harness.c in template-for-repository/negative_tests/pointer_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 |
unsigned_underflow_check_harness.c in template-for-repository/negative_tests/unsigned_underflow_check |
4 | 1 | 146 | 494 | 2 |
run-cbmc-proofs.py in template-for-repository/proofs |
264 | 12 | 105 | 569 | 14 |
util.py in scripts |
77 | 14 | 146 | 606 | 7 |
setup-proof.py in scripts |
46 | 9 | 146 | 606 | 3 |
Most Recently 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-proof.py in scripts |
46 | 9 | 146 | 606 | 3 |
setup.py in scripts |
29 | 2 | 146 | 606 | 4 |
bounds_check_harness.c in template-for-repository/negative_tests/bounds_check |
7 | 1 | 146 | 494 | 2 |
pointer_overflow_check_harness.c in template-for-repository/negative_tests/pointer_overflow_check |
6 | 1 | 146 | 494 | 2 |
pointer_underflow_check_harness.c in template-for-repository/negative_tests/pointer_underflow_check |
6 | 1 | 146 | 494 | 2 |
conversion_check_harness.c in template-for-repository/negative_tests/conversion_check |
5 | 1 | 146 | 494 | 2 |
undefined_shift_check_harness.c in template-for-repository/negative_tests/undefined_shift_check |
5 | 1 | 146 | 494 | 2 |
FUNCTION_harness.c in template-for-proof |
4 | 1 | 146 | 606 | 2 |
div_by_zero_check_harness.c in template-for-repository/negative_tests/div_by_zero_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 |
unsigned_overflow_check_harness.c in template-for-repository/negative_tests/unsigned_overflow_check |
4 | 1 | 146 | 494 | 2 |
assert_harness.c in template-for-repository/negative_tests/assert |
4 | 1 | 146 | 494 | 2 |
signed_underflow_check_harness.c in template-for-repository/negative_tests/signed_underflow_check |
4 | 1 | 146 | 494 | 2 |
nan_check_harness.c in template-for-repository/negative_tests/nan_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 |
pointer_primitive_check_harness.c in template-for-repository/negative_tests/pointer_primitive_check |
4 | 1 | 146 | 494 | 2 |
pointer_check_harness.c in template-for-repository/negative_tests/pointer_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 |