elastic / elasticsearch-formal-models
File Size

The distribution of size of files (measured in lines of code).

Intro
Learn more...
File Size Overall
42% | 33% | 13% | 5% | 5%
Legend:
1001+
501-1000
201-500
101-200
1-100


explore: grouped by folders | grouped by size | sunburst | 3D view
File Size per Extension
1001+
501-1000
201-500
101-200
1-100
thy70% | 16% | 7% | 5% | 0%
tla0% | 67% | 25% | 6% | 0%
launch0% | 0% | 0% | 0% | 100%
tex0% | 0% | 0% | 0% | 100%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
cluster63% | 15% | 13% | 5% | 2%
ReplicaEngine0% | 93% | 0% | 0% | 6%
data0% | 92% | 0% | 0% | 7%
ZenWithTerms0% | 0% | 83% | 0% | 16%
Storage0% | 0% | 0% | 75% | 24%
Longest Files (Top 16)
File# lines# units
thy
Zen.thy
in cluster/isabelle
2866 -
tla
ReplicaEngine.tla
in ReplicaEngine/tla
883 -
tla
replication.tla
in data/tla
727 -
thy
Monadic.thy
in cluster/isabelle
678 -
tla
ZenWithTerms.tla
in ZenWithTerms/tla
326 -
thy
Implementation.thy
in cluster/isabelle
314 -
tla
consensus.tla
in cluster/tla
289 -
tla
Storage.tla
in Storage/tla
156 -
thy
Preliminaries.thy
in cluster/isabelle
123 -
thy
OneSlot.thy
in cluster/isabelle
102 -
launch
ZenWithTerms___model.launch
in ZenWithTerms/tla/ZenWithTerms.toolbox
65 -
launch
replication___model.launch
in data/tla/replication.toolbox
62 -
launch
consensus___model.launch
in cluster/tla/consensus.toolbox
62 -
launch
ReplicaEngine___model.launch
in ReplicaEngine/tla/ReplicaEngine.toolbox
60 -
launch
Storage___model.launch
in Storage/tla/Storage.toolbox
50 -
tex
root.tex
in cluster/isabelle/document
45 -
Files With Most Units (Top 0)
File# lines# units
Files With Long Lines (Top 13)

There are 13 files with lines longer than 120 characters. In total, there are 889 long lines.

File# lines# units# long lines
thy
Zen.thy
in cluster/isabelle
2866 - 790
thy
Monadic.thy
in cluster/isabelle
678 - 46
tla
ReplicaEngine.tla
in ReplicaEngine/tla
883 - 20
thy
Implementation.thy
in cluster/isabelle
314 - 11
thy
Preliminaries.thy
in cluster/isabelle
123 - 7
tla
ZenWithTerms.tla
in ZenWithTerms/tla
326 - 5
thy
OneSlot.thy
in cluster/isabelle
102 - 4
tla
Storage.tla
in Storage/tla
156 - 1
launch
replication___model.launch
in data/tla/replication.toolbox
62 - 1
tla
replication.tla
in data/tla
727 - 1
launch
ReplicaEngine___model.launch
in ReplicaEngine/tla/ReplicaEngine.toolbox
60 - 1
launch
consensus___model.launch
in cluster/tla/consensus.toolbox
62 - 1
launch
ZenWithTerms___model.launch
in ZenWithTerms/tla/ZenWithTerms.toolbox
65 - 1