JetBrains / ot-coq
File Age & Freshness

File age measurements show the distribution of file ages (days since the first commit) and the file freshness (days since the latest commit).

Summary
File Change History Overall
File Age Distribution Overall
Days since first update
  • There are 12 files with 3,103 lines of code in files.
    • 12 files that are 366+ days old (3,103 lines of code)
    • 0 files that are 181-365 days old (0 lines of code)
    • 0 files that are 91-180 days old (0 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)
100% | 0% | 0% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by age
File Freshness Distribution Overall
Days since last update
  • There are 12 files with 3,103 lines of code in files.
    • 12 files have been last changed 366+ days ago (3,103 lines of code)
    • 0 files have been last changed 181-365 days ago (0 lines of code)
    • 0 files have been last changed 91-180 days ago (0 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)
100% | 0% | 0% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: grouped by folders | grouped by freshness
File Change History per File Extension
v, txt, md
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
v100% | 0% | 0% | 0% | 0%
File Freshness Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
v100% | 0% | 0% | 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
ROOT100% | 0% | 0% | 0% | 0%
primary (file freshness distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
ROOT100% | 0% | 0% | 0% | 0%
Oldest Files (Top 12)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
v
633 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
Fs.v
in root
570 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
RichText.v
in root
539 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
TreeOt.v
in root
323 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
256 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
OtDef.v
in root
68 - 2015-04-07 2015-04-07 1 1 sergey.sinchuk@jetbrains.com sergey.sinchuk@jetbrains.com
v
Commons.v
in root
50 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
Comp.v
in root
272 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
153 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
ArithAux.v
in root
121 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
Tree.v
in root
90 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
Ssromega.v
in root
28 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
Files Not Recently Changed (Top 12)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
v
OtDef.v
in root
68 - 2015-04-07 2015-04-07 1 1 sergey.sinchuk@jetbrains.com sergey.sinchuk@jetbrains.com
v
Ssromega.v
in root
28 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
Commons.v
in root
50 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
Tree.v
in root
90 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
ArithAux.v
in root
121 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
153 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
256 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
Comp.v
in root
272 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
TreeOt.v
in root
323 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
RichText.v
in root
539 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
Fs.v
in root
570 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
633 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
Most Recently Created Files (Top 12)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
v
Comp.v
in root
272 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
153 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
ArithAux.v
in root
121 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
Tree.v
in root
90 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
Ssromega.v
in root
28 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
633 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
Fs.v
in root
570 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
RichText.v
in root
539 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
TreeOt.v
in root
323 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
256 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
OtDef.v
in root
68 - 2015-04-07 2015-04-07 1 1 sergey.sinchuk@jetbrains.com sergey.sinchuk@jetbrains.com
v
Commons.v
in root
50 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
Most Recently Changed Files (Top 12)
File# lines# unitscreatedlast modified# changes
(days)
# contributorsfirst
contributor
latest
contributor
v
633 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
Fs.v
in root
570 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
RichText.v
in root
539 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
TreeOt.v
in root
323 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
Comp.v
in root
272 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
256 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
153 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
ArithAux.v
in root
121 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
Tree.v
in root
90 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
Commons.v
in root
50 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com
v
Ssromega.v
in root
28 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru sinchukss@gmail.com
v
OtDef.v
in root
68 - 2015-04-07 2015-04-07 1 1 sergey.sinchuk@jetbrains.com sergey.sinchuk@jetbrains.com