Path	Lines of Code
Cargo.toml	18
amzn-smt-eager-arithmetic/Cargo.toml	32
amzn-smt-eager-arithmetic/benches/presburger_encoding.rs	29
amzn-smt-eager-arithmetic/src/canonicalize.rs	314
amzn-smt-eager-arithmetic/src/encoding.rs	628
amzn-smt-eager-arithmetic/src/lib.rs	313
amzn-smt-eager-arithmetic/src/main.rs	66
amzn-smt-eager-arithmetic/src/stats.rs	280
amzn-smt-ir-derive/Cargo.toml	22
amzn-smt-ir-derive/src/lib.rs	438
amzn-smt-ir/Cargo.toml	35
amzn-smt-ir/benches/parsing.rs	100
amzn-smt-ir/src/ackerman.rs	259
amzn-smt-ir/src/cnf.rs	619
amzn-smt-ir/src/eliminate.rs	118
amzn-smt-ir/src/fold.rs	437
amzn-smt-ir/src/fold/compose.rs	103
amzn-smt-ir/src/fold/inter.rs	217
amzn-smt-ir/src/fold/intra.rs	220
amzn-smt-ir/src/lib.rs	71
amzn-smt-ir/src/logic.rs	185
amzn-smt-ir/src/logic/all.rs	28
amzn-smt-ir/src/logic/arith.rs	99
amzn-smt-ir/src/logic/arrays.rs	26
amzn-smt-ir/src/logic/bitvecs.rs	136
amzn-smt-ir/src/logic/strings.rs	93
amzn-smt-ir/src/model.rs	114
amzn-smt-ir/src/script.rs	23
amzn-smt-ir/src/term.rs	448
amzn-smt-ir/src/term/args.rs	246
amzn-smt-ir/src/term/binder.rs	78
amzn-smt-ir/src/term/convert.rs	596
amzn-smt-ir/src/term/fmt.rs	47
amzn-smt-ir/src/term/operation.rs	14
amzn-smt-ir/src/term/quantifier.rs	18
amzn-smt-ir/src/term/sort_checking.rs	95
amzn-smt-ir/src/term/substitute.rs	60
amzn-smt-ir/src/term/uf.rs	14
amzn-smt-ir/src/types.rs	488
amzn-smt-ir/src/visit.rs	316
amzn-smt-ir/src/visit/control_flow.rs	38
amzn-smt-prediction/Cargo.toml	20
amzn-smt-prediction/scripts/clean_eager_lazy_data.py	103
amzn-smt-prediction/scripts/clean_smt_comp_results.py	49
amzn-smt-prediction/scripts/find_faster_fmf.py	45
amzn-smt-prediction/scripts/generate_predictions.py	216
amzn-smt-prediction/scripts/get_solver_output.py	55
amzn-smt-prediction/scripts/get_word_count_features.py	64
amzn-smt-prediction/scripts/get_word_counts.py	32
amzn-smt-prediction/scripts/modernize_benchmarks.py	20
amzn-smt-prediction/scripts/run_eager_v_lazy.py	81
amzn-smt-prediction/src/main.rs	193
amzn-smt-string-fct-updater/Cargo.toml	17
amzn-smt-string-fct-updater/src/lib.rs	2
amzn-smt-string-fct-updater/src/main.rs	24
amzn-smt-string-fct-updater/src/transpiler.rs	188
amzn-smt-string-transformer/Cargo.toml	21
amzn-smt-string-transformer/data_processing.py	173
amzn-smt-string-transformer/src/callgraph.rs	451
amzn-smt-string-transformer/src/forest.rs	137
amzn-smt-string-transformer/src/lib.rs	33
amzn-smt-string-transformer/src/main.rs	140
amzn-smt-string-transformer/src/mapping_tools.rs	171
amzn-smt-string-transformer/src/reconstruct_tools.rs	149
amzn-smt-string-transformer/src/string_fcts.rs	307
amzn-smt-string-transformer/src/string_mappings.rs	636
amzn-smt-string-transformer/src/subformula_parser.rs	198
amzn-smt-string-transformer/src/transpiler.rs	770
amzn-smt-string-transformer/src/transpiler_visitors.rs	214