The distribution of size of files (measured in lines of code).
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 | - |
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 |
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 |