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