JetBrains / ot-coq
File Change Frequency

File change frequency (churn) shows the distribution of file updates (days with at least one commit).

Overview
File Change Frequency Overall
  • There are 12 files with 3,103 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)
    • 0 files changed 6-20 times (0 lines of code)
    • 12 files changed 1-5 times (3,103 lines of code)
0% | 0% | 0% | 0% | 100%
Legend:
101+
51-100
21-50
6-20
1-5

explore: grouped by folders | grouped by update frequency | data
Contributors Count Frequency Overall
  • There are 12 files with 3,103 lines of code.
    • 0 files changed by more than 25 contributors (0 lines of code)
    • 0 files changed by 11-25 contributors (0 lines of code)
    • 0 files changed by 6-10 contributors (0 lines of code)
    • 11 files changed by 2-5 contributors (3,035 lines of code)
    • 1 file changed by 1 contributor (68 lines of code)
0% | 0% | 0% | 97% | 2%
Legend:
26+
11-25
6-10
2-5
1

explore: grouped by folders | grouped by contributors count | data
File Change Frequency per File Extension
v, txt, md
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
v0% | 0% | 0% | 0% | 100%
File Change Frequency per Logical Decomposition
primary
primary (file change frequency)
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
ROOT0% | 0% | 0% | 0% | 100%
Most Frequently Changed Files (Top 12)

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
v
Commons.v
in root
 50 - 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
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
v
Ssromega.v
in root
 28 - 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
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
Comp.v
in root
 272 - 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
Files With Most Contributors (Top 12)
Based on the number of unique email addresses found in commits.

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
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
 633 - 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
Commons.v
in root
 50 - 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
ArithAux.v
in root
 121 - 2021-07-29 2023-09-05 2 2 sxh@ya.ru 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
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
OtDef.v
in root
 68 - 2015-04-07 2015-04-07 1 1 sergey.sinchuk@jetbrains.com sergey.sinchuk@jetbrains.com
Files With Least Contributors (Top 12)
Based on the number of unique email addresses found in commits.

See data for all files...

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
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
Commons.v
in root
 50 - 2015-04-07 2023-09-05 3 3 sergey.sinchuk@jetbrains.com sinchukss@gmail.com