path	# lines of code	number of updates	days since first update	days since last update	first updated	last updated	
smt2patch/Cargo.toml	26	9	366	220	2021-04-15	2021-09-08
smt2patch/src/lib.rs	93	7	366	269	2021-04-15	2021-07-21
smt2patch/src/main.rs	17	2	366	340	2021-04-15	2021-05-11
Cargo.toml	12	2	423	366	2021-02-17	2021-04-15
z3tracer/Cargo.toml	33	23	423	220	2021-02-17	2021-09-08
z3tracer/src/error.rs	99	12	423	354	2021-02-17	2021-04-27
z3tracer/src/lib.rs	10	14	423	185	2021-02-17	2021-10-13
z3tracer/src/report.rs	285	2	340	339	2021-05-11	2021-05-12
z3tracer/src/main.rs	306	8	423	318	2021-02-17	2021-06-02
z3tracer/src/syntax.rs	315	11	413	281	2021-02-27	2021-07-09
z3tracer/src/lexer.rs	470	8	410	229	2021-03-02	2021-08-30
z3tracer/src/parser.rs	283	12	423	351	2021-02-17	2021-04-30
z3tracer/src/model.rs	726	19	408	220	2021-03-04	2021-09-08
smt2parser/Cargo.toml	31	11	443	220	2021-01-28	2021-09-08
smt2parser/src/concrete.rs	1157	11	372	220	2021-04-09	2021-09-08
smt2parser/src/visitors.rs	505	10	372	220	2021-04-09	2021-09-08
smt2parser/src/rewriter.rs	934	7	367	282	2021-04-14	2021-07-08
smt2parser/src/lib.rs	130	6	372	220	2021-04-09	2021-09-08
smt2parser/src/renaming.rs	70	8	316	220	2021-06-04	2021-09-08
smt2parser/src/main.rs	116	5	372	281	2021-04-09	2021-07-09
smt2parser/src/stats.rs	490	5	372	282	2021-04-09	2021-07-08
smt2parser/src/lexer.rs	381	4	410	303	2021-03-02	2021-06-17
smt2parser/src/parser.rs	437	9	418	282	2021-02-22	2021-07-08
smt2proxy/Cargo.toml	25	11	443	220	2021-01-28	2021-09-08
smt2proxy/src/lib.rs	231	4	283	220	2021-07-07	2021-09-08
smt2proxy/src/main.rs	219	6	407	220	2021-03-05	2021-09-08