elastic / elasticsearch-formal-models
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 16 files with 6,808 lines of code in files.
    • 16 files that are 366+ days old (6,808 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 16 files with 6,808 lines of code in files.
    • 16 files have been last changed 366+ days ago (6,808 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
thy, tla, launch, project, prefs, txt, gitignore, tex, md
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
thy100% | 0% | 0% | 0% | 0%
tla100% | 0% | 0% | 0% | 0%
launch100% | 0% | 0% | 0% | 0%
tex100% | 0% | 0% | 0% | 0%
File Freshness Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
thy100% | 0% | 0% | 0% | 0%
tla100% | 0% | 0% | 0% | 0%
launch100% | 0% | 0% | 0% | 0%
tex100% | 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
cluster100% | 0% | 0% | 0% | 0%
ReplicaEngine100% | 0% | 0% | 0% | 0%
data100% | 0% | 0% | 0% | 0%
ZenWithTerms100% | 0% | 0% | 0% | 0%
Storage100% | 0% | 0% | 0% | 0%
primary (file freshness distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
cluster100% | 0% | 0% | 0% | 0%
ReplicaEngine100% | 0% | 0% | 0% | 0%
data100% | 0% | 0% | 0% | 0%
ZenWithTerms100% | 0% | 0% | 0% | 0%
Storage100% | 0% | 0% | 0% | 0%
Oldest Files (Top 16)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
tla
replication.tla
in data/tla
 727 - 2017-11-23 2018-09-18 2 2 yannick@welsch.lu andrershov@gmail.com
tla
consensus.tla
in cluster/tla
 289 - 2017-11-23 2018-01-09 4 1 yannick@welsch.lu yannick@welsch.lu
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
thy
Zen.thy
in cluster/isabelle
 2866 - 2017-11-24 2018-01-08 8 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
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
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
ReplicaEngine.tla
in ReplicaEngine/tla
 883 - 2018-03-28 2018-03-28 1 1 david.turner@elastic.co david.turner@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
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
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
Files Not Recently Changed (Top 16)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
launch
replication___model.launch
in data/tla/replication.toolbox
 62 - 2017-11-23 2017-11-23 1 1 yannick@welsch.lu yannick@welsch.lu
tex
root.tex
in cluster/isabelle/document
 45 - 2017-11-24 2017-11-24 1 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
thy
Preliminaries.thy
in cluster/isabelle
 123 - 2017-11-24 2017-12-12 2 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
Monadic.thy
in cluster/isabelle
 678 - 2017-11-24 2018-01-08 9 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
launch
consensus___model.launch
in cluster/tla/consensus.toolbox
 62 - 2017-11-23 2018-01-09 2 1 yannick@welsch.lu yannick@welsch.lu
tla
consensus.tla
in cluster/tla
 289 - 2017-11-23 2018-01-09 4 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
tla
replication.tla
in data/tla
 727 - 2017-11-23 2018-09-18 2 2 yannick@welsch.lu andrershov@gmail.com
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
ZenWithTerms.tla
in ZenWithTerms/tla
 326 - 2018-04-05 2019-01-04 8 2 yannick@welsch.lu 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
tla
Storage.tla
in Storage/tla
 156 - 2019-05-06 2019-05-06 1 1 andrey.ershov@elastic.co andrey.ershov@elastic.co
Most Recently Created Files (Top 16)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
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
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
ReplicaEngine.tla
in ReplicaEngine/tla
 883 - 2018-03-28 2018-03-28 1 1 david.turner@elastic.co david.turner@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
thy
Zen.thy
in cluster/isabelle
 2866 - 2017-11-24 2018-01-08 8 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
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
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
consensus.tla
in cluster/tla
 289 - 2017-11-23 2018-01-09 4 1 yannick@welsch.lu yannick@welsch.lu
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
Most Recently Changed Files (Top 16)
File# lines# unitscreatedlast modified# changes
(days)		# contributorsfirst
contributor		latest
contributor
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
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
tla
ReplicaEngine.tla
in ReplicaEngine/tla
 883 - 2018-03-28 2018-03-28 1 1 david.turner@elastic.co david.turner@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
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
Zen.thy
in cluster/isabelle
 2866 - 2017-11-24 2018-01-08 8 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
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
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
replication___model.launch
in data/tla/replication.toolbox
 62 - 2017-11-23 2017-11-23 1 1 yannick@welsch.lu yannick@welsch.lu