awslabs / aws-viewer-for-cbmc
File Age

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: 43
  • Daily file updates (only one update per file and date counted): 126
  • First update: 2020-06-15
  • Latest update: 2022-01-11
  • Days between first and latest update: 576 (82 weeks, estimated 410 working days)
  • Active days (at least one file change): 45
  • Data:
File Change History Overall
File Age Distribution Overall
Days since first update
  • There are 43 files with 4,701 lines of code in files.
    • 40 files that are 366+ days old (4,084 lines of code)
    • 0 files that are 181-365 days old (0 lines of code)
    • 3 files that are 91-180 days old (617 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)
86% | 0% | 13% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30
Latest Change Distribution Overall
Days since last update
  • There are 43 files with 4,701 lines of code in files.
    • 9 files have been last changed 366+ days ago (398 lines of code)
    • 2 files have been last changed 181-365 days ago (62 lines of code)
    • 27 files have been last changed 91-180 days ago (3,714 lines of code)
    • 4 files have been last changed 31-90 days ago (495 lines of code)
    • 1 files have been last changed 1-30 days ago (32 lines of code)
8% | 1% | 79% | 10% | <1%
Legend:
366+
181-365
91-180
31-90
1-30
File Change History per File Extension
py, md, html, patch, gitignore, json, txt, css, in, js, yaml
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
py85% | 0% | 14% | 0% | 0%
html100% | 0% | 0% | 0% | 0%
css100% | 0% | 0% | 0% | 0%
js100% | 0% | 0% | 0% | 0%
in0% | 0% | 100% | 0% | 0%
Latest Change Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
html45% | 0% | 54% | 0% | 0%
py2% | 1% | 83% | 11% | <1%
css100% | 0% | 0% | 0% | 0%
js100% | 0% | 0% | 0% | 0%
in0% | 0% | 100% | 0% | 0%
File Change History per Logical Decomposition
primary
primary (file age distribution)
Days since first update
366+
181-365
91-180
31-90
1-30
cbmc_viewer99% | 0% | <1% | 0% | 0%
cbmc_viewer/templates100% | 0% | 0% | 0% | 0%
ROOT100% | 0% | 0% | 0% | 0%
summary0% | 0% | 100% | 0% | 0%
primary (latest change distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
cbmc_viewer7% | 1% | 78% | 11% | <1%
cbmc_viewer/templates45% | 0% | 54% | 0% | 0%
summary0% | 0% | 100% | 0% | 0%
ROOT0% | 0% | 0% | 100% | 0%
Oldest Files (Top 20)
File# lines# unitslast modified
(days ago)		created
(days ago)		# changes
tracet.py
in cbmc_viewer
 506 37 91 536 10
optionst.py
in cbmc_viewer
 340 31 104 536 5
coveraget.py
in cbmc_viewer
 339 31 48 536 7
resultt.py
in cbmc_viewer
 319 31 99 536 6
sourcet.py
in cbmc_viewer
 235 21 104 536 6
markup_summary.py
in cbmc_viewer
 176 18 104 536 6
loopt.py
in cbmc_viewer
 152 20 105 536 4
viewer.py
in cbmc_viewer
 147 7 104 536 5
summary.jinja.html
in cbmc_viewer/templates
 146 - 105 536 3
markup_trace.py
in cbmc_viewer
 142 15 105 536 4
symbolt.py
in cbmc_viewer
 136 14 105 536 6
propertyt.py
in cbmc_viewer
 126 17 105 536 6
markup_code.py
in cbmc_viewer
 125 17 105 536 3
reachablet.py
in cbmc_viewer
 124 15 105 536 5
symbol_table.py
in cbmc_viewer
 105 10 180 536 4
srcloct.py
in cbmc_viewer
 102 14 48 536 7
viewer.css
in cbmc_viewer
 82 - 536 536 1
viewer.js
in cbmc_viewer
 78 14 536 536 1
trace.jinja.html
in cbmc_viewer/templates
 73 - 536 536 1
parse.py
in cbmc_viewer
 63 5 536 536 1
Files Not Recently Changed (Top 20)
File# lines# unitslast modified
(days ago)		created
(days ago)		# changes
__init__.py
in cbmc_viewer
 1 - 536 536 1
configt.py
in cbmc_viewer
 13 2 536 536 1
code.jinja.html
in cbmc_viewer/templates
 14 - 536 536 1
report.py
in cbmc_viewer
 37 2 536 536 1
link.jinja.html
in cbmc_viewer/templates
 37 - 536 536 1
parse.py
in cbmc_viewer
 63 5 536 536 1
trace.jinja.html
in cbmc_viewer/templates
 73 - 536 536 1
viewer.js
in cbmc_viewer
 78 14 536 536 1
viewer.css
in cbmc_viewer
 82 - 536 536 1
runt.py
in cbmc_viewer
 24 1 259 536 2
filet.py
in cbmc_viewer
 38 8 256 536 2
symbol_table.py
in cbmc_viewer
 105 10 180 536 4
markup_link.py
in cbmc_viewer
 52 7 147 536 7
stubs.py
in summary
 413 43 111 111 1
in
MANIFEST.in
in cbmc_viewer
 4 - 107 107 1
make_result.py
in cbmc_viewer
 26 2 105 536 2
make_coverage.py
in cbmc_viewer
 27 2 105 536 2
make_property.py
in cbmc_viewer
 27 2 105 536 2
make_loop.py
in cbmc_viewer
 28 2 105 536 2
make_trace.py
in cbmc_viewer
 28 2 105 536 2
Most Recently Created Files (Top 20)
File# lines# unitslast modified
(days ago)		created
(days ago)		# changes
in
MANIFEST.in
in cbmc_viewer
 4 - 107 107 1
stubs.py
in summary
 413 43 111 111 1
summary.py
in summary
 200 11 105 111 2
tracet.py
in cbmc_viewer
 506 37 91 536 10
optionst.py
in cbmc_viewer
 340 31 104 536 5
coveraget.py
in cbmc_viewer
 339 31 48 536 7
resultt.py
in cbmc_viewer
 319 31 99 536 6
sourcet.py
in cbmc_viewer
 235 21 104 536 6
markup_summary.py
in cbmc_viewer
 176 18 104 536 6
loopt.py
in cbmc_viewer
 152 20 105 536 4
viewer.py
in cbmc_viewer
 147 7 104 536 5
summary.jinja.html
in cbmc_viewer/templates
 146 - 105 536 3
markup_trace.py
in cbmc_viewer
 142 15 105 536 4
symbolt.py
in cbmc_viewer
 136 14 105 536 6
propertyt.py
in cbmc_viewer
 126 17 105 536 6
markup_code.py
in cbmc_viewer
 125 17 105 536 3
reachablet.py
in cbmc_viewer
 124 15 105 536 5
symbol_table.py
in cbmc_viewer
 105 10 180 536 4
srcloct.py
in cbmc_viewer
 102 14 48 536 7
viewer.css
in cbmc_viewer
 82 - 536 536 1
Most Recently Changed Files (Top 20)
File# lines# unitslast modified
(days ago)		created
(days ago)		# changes
templates.py
in cbmc_viewer
 32 4 21 536 3
setup.py
in root
 47 - 47 536 8
coveraget.py
in cbmc_viewer
 339 31 48 536 7
srcloct.py
in cbmc_viewer
 102 14 48 536 7
version.py
in cbmc_viewer
 7 1 48 536 6
tracet.py
in cbmc_viewer
 506 37 91 536 10
resultt.py
in cbmc_viewer
 319 31 99 536 6
util.py
in cbmc_viewer
 35 4 99 536 2
optionst.py
in cbmc_viewer
 340 31 104 536 5
sourcet.py
in cbmc_viewer
 235 21 104 536 6
markup_summary.py
in cbmc_viewer
 176 18 104 536 6
viewer.py
in cbmc_viewer
 147 7 104 536 5
summary.py
in summary
 200 11 105 111 2
loopt.py
in cbmc_viewer
 152 20 105 536 4
summary.jinja.html
in cbmc_viewer/templates
 146 - 105 536 3
markup_trace.py
in cbmc_viewer
 142 15 105 536 4
symbolt.py
in cbmc_viewer
 136 14 105 536 6
propertyt.py
in cbmc_viewer
 126 17 105 536 6
markup_code.py
in cbmc_viewer
 125 17 105 536 3
reachablet.py
in cbmc_viewer
 124 15 105 536 5