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