awslabs / rust-smt-ir
File Size

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

Intro
  • File size measurements show the distribution of size of files.
  • Files are classified in four categories based on their size (lines of code): 1-100 (very small files), 101-200 (small files), 201-500 (medium size files), 501-1000 (long files), 1001+(very long files).
  • It is a good practice to keep files small. Long files may become "bloaters", code that have increased to such gargantuan proportions that they are hard to work with.
Learn more...
File Size Overall
  • There are 69 files with 11,990 lines of code.
    • 0 very long files (0 lines of code)
    • 5 long files (3,249 lines of code)
    • 16 medium size files (5,164 lines of codeclsfd_ftr_w_mp_ins)
    • 14 small files (2,108 lines of code)
    • 34 very small files (1,469 lines of code)
0% | 27% | 43% | 17% | 12%
Legend:
1001+
501-1000
201-500
101-200
1-100


explore: zoomable circles | sunburst | 3D view
File Size per Extension
1001+
501-1000
201-500
101-200
1-100
rs0% | 29% | 45% | 16% | 8%
py0% | 0% | 25% | 32% | 41%
toml0% | 0% | 0% | 0% | 100%
File Size per Logical Decomposition
primary
1001+
501-1000
201-500
101-200
1-100
amzn-smt-string-transformer/src0% | 43% | 30% | 24% | 1%
amzn-smt-ir/src0% | 23% | 50% | 12% | 13%
amzn-smt-eager-arithmetic/src0% | 39% | 56% | 0% | 4%
amzn-smt-ir-derive/src0% | 0% | 100% | 0% | 0%
amzn-smt-prediction/scripts0% | 0% | 32% | 15% | 52%
amzn-smt-prediction/src0% | 0% | 0% | 100% | 0%
amzn-smt-string-fct-updater/src0% | 0% | 0% | 87% | 12%
amzn-smt-string-transformer0% | 0% | 0% | 89% | 10%
amzn-smt-ir/benches0% | 0% | 0% | 0% | 100%
amzn-smt-ir0% | 0% | 0% | 0% | 100%
amzn-smt-eager-arithmetic0% | 0% | 0% | 0% | 100%
amzn-smt-eager-arithmetic/benches0% | 0% | 0% | 0% | 100%
amzn-smt-ir-derive0% | 0% | 0% | 0% | 100%
amzn-smt-prediction0% | 0% | 0% | 0% | 100%
ROOT0% | 0% | 0% | 0% | 100%
amzn-smt-string-fct-updater0% | 0% | 0% | 0% | 100%
Longest Files (Top 50)
File# lines# units
transpiler.rs
in amzn-smt-string-transformer/src
770 15
string_mappings.rs
in amzn-smt-string-transformer/src
636 6
encoding.rs
in amzn-smt-eager-arithmetic/src
628 29
cnf.rs
in amzn-smt-ir/src
619 36
convert.rs
in amzn-smt-ir/src/term
596 67
types.rs
in amzn-smt-ir/src
488 33
callgraph.rs
in amzn-smt-string-transformer/src
451 9
term.rs
in amzn-smt-ir/src
448 35
lib.rs
in amzn-smt-ir-derive/src
438 12
fold.rs
in amzn-smt-ir/src
437 40
visit.rs
in amzn-smt-ir/src
316 50
canonicalize.rs
in amzn-smt-eager-arithmetic/src
314 10
lib.rs
in amzn-smt-eager-arithmetic/src
313 20
string_fcts.rs
in amzn-smt-string-transformer/src
307 -
stats.rs
in amzn-smt-eager-arithmetic/src
280 16
ackerman.rs
in amzn-smt-ir/src
259 11
args.rs
in amzn-smt-ir/src/term
246 27
intra.rs
in amzn-smt-ir/src/fold
220 42
inter.rs
in amzn-smt-ir/src/fold
217 38
generate_predictions.py
in amzn-smt-prediction/scripts
216 8
transpiler_visitors.rs
in amzn-smt-string-transformer/src
214 11
subformula_parser.rs
in amzn-smt-string-transformer/src
198 7
main.rs
in amzn-smt-prediction/src
193 6
transpiler.rs
in amzn-smt-string-fct-updater/src
188 5
logic.rs
in amzn-smt-ir/src
185 13
data_processing.py
in amzn-smt-string-transformer
173 12
mapping_tools.rs
in amzn-smt-string-transformer/src
171 -
reconstruct_tools.rs
in amzn-smt-string-transformer/src
149 1
main.rs
in amzn-smt-string-transformer/src
140 4
forest.rs
in amzn-smt-string-transformer/src
137 -
bitvecs.rs
in amzn-smt-ir/src/logic
136 1
eliminate.rs
in amzn-smt-ir/src
118 8
model.rs
in amzn-smt-ir/src
114 5
clean_eager_lazy_data.py
in amzn-smt-prediction/scripts
103 4
compose.rs
in amzn-smt-ir/src/fold
103 10
parsing.rs
in amzn-smt-ir/benches
100 3
arith.rs
in amzn-smt-ir/src/logic
99 2
sort_checking.rs
in amzn-smt-ir/src/term
95 11
strings.rs
in amzn-smt-ir/src/logic
93 1
run_eager_v_lazy.py
in amzn-smt-prediction/scripts
81 3
binder.rs
in amzn-smt-ir/src/term
78 5
lib.rs
in amzn-smt-ir/src
71 -
main.rs
in amzn-smt-eager-arithmetic/src
66 1
get_word_count_features.py
in amzn-smt-prediction/scripts
64 2
substitute.rs
in amzn-smt-ir/src/term
60 5
get_solver_output.py
in amzn-smt-prediction/scripts
55 2
clean_smt_comp_results.py
in amzn-smt-prediction/scripts
49 -
fmt.rs
in amzn-smt-ir/src/term
47 4
find_faster_fmf.py
in amzn-smt-prediction/scripts
45 -
control_flow.rs
in amzn-smt-ir/src/visit
38 -
Files With Most Units (Top 20)
File# lines# units
convert.rs
in amzn-smt-ir/src/term
596 67
visit.rs
in amzn-smt-ir/src
316 50
intra.rs
in amzn-smt-ir/src/fold
220 42
fold.rs
in amzn-smt-ir/src
437 40
inter.rs
in amzn-smt-ir/src/fold
217 38
cnf.rs
in amzn-smt-ir/src
619 36
term.rs
in amzn-smt-ir/src
448 35
types.rs
in amzn-smt-ir/src
488 33
encoding.rs
in amzn-smt-eager-arithmetic/src
628 29
args.rs
in amzn-smt-ir/src/term
246 27
lib.rs
in amzn-smt-eager-arithmetic/src
313 20
stats.rs
in amzn-smt-eager-arithmetic/src
280 16
transpiler.rs
in amzn-smt-string-transformer/src
770 15
logic.rs
in amzn-smt-ir/src
185 13
lib.rs
in amzn-smt-ir-derive/src
438 12
data_processing.py
in amzn-smt-string-transformer
173 12
transpiler_visitors.rs
in amzn-smt-string-transformer/src
214 11
ackerman.rs
in amzn-smt-ir/src
259 11
sort_checking.rs
in amzn-smt-ir/src/term
95 11
canonicalize.rs
in amzn-smt-eager-arithmetic/src
314 10
Files With Long Lines (Top 11)

There are 11 files with lines longer than 120 characters. In total, there are 33 long lines.

File# lines# units# long lines
generate_predictions.py
in amzn-smt-prediction/scripts
216 8 10
main.rs
in amzn-smt-prediction/src
193 6 6
data_processing.py
in amzn-smt-string-transformer
173 12 5
run_eager_v_lazy.py
in amzn-smt-prediction/scripts
81 3 3
get_solver_output.py
in amzn-smt-prediction/scripts
55 2 3
encoding.rs
in amzn-smt-eager-arithmetic/src
628 29 1
lib.rs
in amzn-smt-ir-derive/src
438 12 1
clean_smt_comp_results.py
in amzn-smt-prediction/scripts
49 - 1
modernize_benchmarks.py
in amzn-smt-prediction/scripts
20 - 1
main.rs
in amzn-smt-string-fct-updater/src
24 1 1
main.rs
in amzn-smt-string-transformer/src
140 4 1