JetBrains / ot-coq
File Size

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

Intro
Learn more...
File Size Overall
0% | 56% | 27% | 8% | 7%
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
v0% | 56% | 27% | 8% | 7%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
ROOT0% | 56% | 27% | 8% | 7%
Longest Files (Top 12)
File# lines# units
v
 633 -
v
Fs.v
in root
 570 -
v
RichText.v
in root
 539 -
v
TreeOt.v
in root
 323 -
v
Comp.v
in root
 272 -
v
 256 -
153 -
v
ArithAux.v
in root
 121 -
v
Tree.v
in root
 90 -
v
OtDef.v
in root
 68 -
v
Commons.v
in root
 50 -
v
Ssromega.v
in root
 28 -
Files With Most Units (Top 0)
File# lines# units
Files With Long Lines (Top 6)

There are 6 files with lines longer than 120 characters. In total, there are 19 long lines.

File# lines# units# long lines
v
Fs.v
in root
 570 - 8
v
Comp.v
in root
 272 - 4
153 - 3
v
RichText.v
in root
 539 - 2
v
 256 - 1
v
OtDef.v
in root
 68 - 1