elastic / elasticsearch-formal-models
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 16 files with 6,808 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)
    • 5 files changed 6-20 times (4,249 lines of code)
    • 11 files changed 1-5 times (2,559 lines of code)
0% | 0% | 0% | 62% | 37%
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 16 files with 6,808 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)
    • 3 files changed by 2-5 contributors (1,118 lines of code)
    • 13 files changed by 1 contributor (5,690 lines of code)
0% | 0% | 0% | 16% | 83%
Legend:
26+
11-25
6-10
2-5
1

explore: grouped by folders | grouped by contributors count | data
File Change Frequency per File Extension
thy, tla, launch, project, prefs, txt, gitignore, tex, md
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
thy0% | 0% | 0% | 94% | 5%
tla0% | 0% | 0% | 13% | 86%
launch0% | 0% | 0% | 21% | 78%
tex0% | 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
cluster0% | 0% | 0% | 86% | 13%
ZenWithTerms0% | 0% | 0% | 100% | 0%
ReplicaEngine0% | 0% | 0% | 0% | 100%
data0% | 0% | 0% | 0% | 100%
Storage0% | 0% | 0% | 0% | 100%
Most Frequently Changed Files (Top 16)

See data for all files...

File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
thy
Monadic.thy
in cluster/isabelle
 678 - 2017-11-24 2018-01-08 9 1 david.turner@elastic.co david.turner@elastic.co
thy
Implementation.thy
in cluster/isabelle
 314 - 2017-11-24 2018-01-08 8 1 david.turner@elastic.co david.turner@elastic.co
tla
ZenWithTerms.tla
in ZenWithTerms/tla
 326 - 2018-04-05 2019-01-04 8 2 yannick@welsch.lu david.turner@elastic.co
thy
Zen.thy
in cluster/isabelle
 2866 - 2017-11-24 2018-01-08 8 1 david.turner@elastic.co david.turner@elastic.co
launch
ZenWithTerms___model.launch
in ZenWithTerms/tla/ZenWithTerms.toolbox
 65 - 2018-04-05 2019-01-04 6 2 yannick@welsch.lu david.turner@elastic.co
tla
consensus.tla
in cluster/tla
 289 - 2017-11-23 2018-01-09 4 1 yannick@welsch.lu yannick@welsch.lu
launch
consensus___model.launch
in cluster/tla/consensus.toolbox
 62 - 2017-11-23 2018-01-09 2 1 yannick@welsch.lu yannick@welsch.lu
thy
OneSlot.thy
in cluster/isabelle
 102 - 2017-11-24 2017-12-12 2 1 david.turner@elastic.co david.turner@elastic.co
thy
Preliminaries.thy
in cluster/isabelle
 123 - 2017-11-24 2017-12-12 2 1 david.turner@elastic.co david.turner@elastic.co
tla
replication.tla
in data/tla
 727 - 2017-11-23 2018-09-18 2 2 yannick@welsch.lu andrershov@gmail.com
tex
root.tex
in cluster/isabelle/document
 45 - 2017-11-24 2017-11-24 1 1 david.turner@elastic.co david.turner@elastic.co
launch
Storage___model.launch
in Storage/tla/Storage.toolbox
 50 - 2019-05-06 2019-05-06 1 1 andrey.ershov@elastic.co andrey.ershov@elastic.co
launch
ReplicaEngine___model.launch
in ReplicaEngine/tla/ReplicaEngine.toolbox
 60 - 2018-03-28 2018-03-28 1 1 david.turner@elastic.co david.turner@elastic.co
launch
replication___model.launch
in data/tla/replication.toolbox
 62 - 2017-11-23 2017-11-23 1 1 yannick@welsch.lu yannick@welsch.lu
tla
Storage.tla
in Storage/tla
 156 - 2019-05-06 2019-05-06 1 1 andrey.ershov@elastic.co andrey.ershov@elastic.co
tla
ReplicaEngine.tla
in ReplicaEngine/tla
 883 - 2018-03-28 2018-03-28 1 1 david.turner@elastic.co david.turner@elastic.co
Files With Most Contributors (Top 16)
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
tla
ZenWithTerms.tla
in ZenWithTerms/tla
 326 - 2018-04-05 2019-01-04 8 2 yannick@welsch.lu david.turner@elastic.co
launch
ZenWithTerms___model.launch
in ZenWithTerms/tla/ZenWithTerms.toolbox
 65 - 2018-04-05 2019-01-04 6 2 yannick@welsch.lu david.turner@elastic.co
tla
replication.tla
in data/tla
 727 - 2017-11-23 2018-09-18 2 2 yannick@welsch.lu andrershov@gmail.com
thy
Monadic.thy
in cluster/isabelle
 678 - 2017-11-24 2018-01-08 9 1 david.turner@elastic.co david.turner@elastic.co
thy
Implementation.thy
in cluster/isabelle
 314 - 2017-11-24 2018-01-08 8 1 david.turner@elastic.co david.turner@elastic.co
thy
Zen.thy
in cluster/isabelle
 2866 - 2017-11-24 2018-01-08 8 1 david.turner@elastic.co david.turner@elastic.co
tla
consensus.tla
in cluster/tla
 289 - 2017-11-23 2018-01-09 4 1 yannick@welsch.lu yannick@welsch.lu
launch
consensus___model.launch
in cluster/tla/consensus.toolbox
 62 - 2017-11-23 2018-01-09 2 1 yannick@welsch.lu yannick@welsch.lu
thy
OneSlot.thy
in cluster/isabelle
 102 - 2017-11-24 2017-12-12 2 1 david.turner@elastic.co david.turner@elastic.co
thy
Preliminaries.thy
in cluster/isabelle
 123 - 2017-11-24 2017-12-12 2 1 david.turner@elastic.co david.turner@elastic.co
tla
Storage.tla
in Storage/tla
 156 - 2019-05-06 2019-05-06 1 1 andrey.ershov@elastic.co andrey.ershov@elastic.co
launch
Storage___model.launch
in Storage/tla/Storage.toolbox
 50 - 2019-05-06 2019-05-06 1 1 andrey.ershov@elastic.co andrey.ershov@elastic.co
launch
replication___model.launch
in data/tla/replication.toolbox
 62 - 2017-11-23 2017-11-23 1 1 yannick@welsch.lu yannick@welsch.lu
launch
ReplicaEngine___model.launch
in ReplicaEngine/tla/ReplicaEngine.toolbox
 60 - 2018-03-28 2018-03-28 1 1 david.turner@elastic.co david.turner@elastic.co
tla
ReplicaEngine.tla
in ReplicaEngine/tla
 883 - 2018-03-28 2018-03-28 1 1 david.turner@elastic.co david.turner@elastic.co
tex
root.tex
in cluster/isabelle/document
 45 - 2017-11-24 2017-11-24 1 1 david.turner@elastic.co david.turner@elastic.co
Files With Least Contributors (Top 16)
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
thy
Zen.thy
in cluster/isabelle
 2866 - 2017-11-24 2018-01-08 8 1 david.turner@elastic.co david.turner@elastic.co
tla
ReplicaEngine.tla
in ReplicaEngine/tla
 883 - 2018-03-28 2018-03-28 1 1 david.turner@elastic.co david.turner@elastic.co
thy
Monadic.thy
in cluster/isabelle
 678 - 2017-11-24 2018-01-08 9 1 david.turner@elastic.co david.turner@elastic.co
thy
Implementation.thy
in cluster/isabelle
 314 - 2017-11-24 2018-01-08 8 1 david.turner@elastic.co david.turner@elastic.co
tla
consensus.tla
in cluster/tla
 289 - 2017-11-23 2018-01-09 4 1 yannick@welsch.lu yannick@welsch.lu
tla
Storage.tla
in Storage/tla
 156 - 2019-05-06 2019-05-06 1 1 andrey.ershov@elastic.co andrey.ershov@elastic.co
thy
Preliminaries.thy
in cluster/isabelle
 123 - 2017-11-24 2017-12-12 2 1 david.turner@elastic.co david.turner@elastic.co
thy
OneSlot.thy
in cluster/isabelle
 102 - 2017-11-24 2017-12-12 2 1 david.turner@elastic.co david.turner@elastic.co
launch
replication___model.launch
in data/tla/replication.toolbox
 62 - 2017-11-23 2017-11-23 1 1 yannick@welsch.lu yannick@welsch.lu
launch
consensus___model.launch
in cluster/tla/consensus.toolbox
 62 - 2017-11-23 2018-01-09 2 1 yannick@welsch.lu yannick@welsch.lu
launch
ReplicaEngine___model.launch
in ReplicaEngine/tla/ReplicaEngine.toolbox
 60 - 2018-03-28 2018-03-28 1 1 david.turner@elastic.co david.turner@elastic.co
launch
Storage___model.launch
in Storage/tla/Storage.toolbox
 50 - 2019-05-06 2019-05-06 1 1 andrey.ershov@elastic.co andrey.ershov@elastic.co
tex
root.tex
in cluster/isabelle/document
 45 - 2017-11-24 2017-11-24 1 1 david.turner@elastic.co david.turner@elastic.co
tla
replication.tla
in data/tla
 727 - 2017-11-23 2018-09-18 2 2 yannick@welsch.lu andrershov@gmail.com
tla
ZenWithTerms.tla
in ZenWithTerms/tla
 326 - 2018-04-05 2019-01-04 8 2 yannick@welsch.lu david.turner@elastic.co
launch
ZenWithTerms___model.launch
in ZenWithTerms/tla/ZenWithTerms.toolbox
 65 - 2018-04-05 2019-01-04 6 2 yannick@welsch.lu david.turner@elastic.co