File age measurements show the distribution of file ages (days since the first commit) and the recency of file updates (days since the latest commit).

Summary

Number of files: 51
Daily file updates (only one update per file and date counted): 436
First update: 2018-11-07
Latest update: 2022-03-25
Days between first and latest update: 1235 (176 weeks, estimated 880 working days)
Active days (at least one file change): 626
Data:

Organized per file

File Change History Overall

File Age Distribution Overall

Days since first update

There are 51 files with 35,954 lines of code in files.

34 files that are 366+ days old (30,303 lines of code)
1 files that are 181-365 days old (842 lines of code)
15 files that are 91-180 days old (4,753 lines of code)
0 files that are 31-90 days old (0 lines of code)
1 files that are 1-30 days old (56 lines of code)

Legend:

366+

181-365

91-180

31-90

1-30

explore: zoomable circles

Latest Change Distribution Overall

Days since last update

There are 51 files with 35,954 lines of code in files.

2 files have been last changed 366+ days ago (73 lines of code)
5 files have been last changed 181-365 days ago (1,693 lines of code)
20 files have been last changed 91-180 days ago (9,180 lines of code)
2 files have been last changed 31-90 days ago (1,354 lines of code)
22 files have been last changed 1-30 days ago (23,654 lines of code)

Legend:

366+

181-365

91-180

31-90

1-30

explore: zoomable circles

File Change History per File Extension

rs, md, h, toml, sh, xml, gitignore, yml, json, txt, editorconfig

File Age Distribution per Extension

Days since first update

366+

181-365

91-180

31-90

1-30

Latest Change Distribution per Extension

Days since last update

366+

181-365

91-180

31-90

1-30

File Change History per Logical Decomposition

primary

primary (file age distribution)

Days since first update

366+

181-365

91-180

31-90

1-30

primary (latest change distribution)

Days since last update

366+

181-365

91-180

31-90

1-30

Oldest Files (Top 50)

File	# lines	# units	last modified (days ago)	created (days ago)	# changes	# contributors
Cargo.toml in root	16	-	603	1251	15	3
abstract_value.rs in checker/src	6125	102	23	1123	218	3
expression.rs in checker/src	1355	2	23	1123	84	3
constant_domain.rs in checker/src	1177	5	53	1123	61	2
lib.rs in annotations/src	892	-	284	1123	25	4
summaries.rs in checker/src	484	9	192	1123	76	2
utils.rs in checker/src	442	5	29	1123	59	3
interval_domain.rs in checker/src	352	4	113	1123	9	1
callbacks.rs in checker/src	139	5	149	1123	198	5
main.rs in checker/src	102	1	101	1123	17	3
expected_errors.rs in checker/src	80	3	291	1123	7	2
lib.rs in checker/src	65	-	177	1123	30	4
smt_solver.rs in checker/src	57	12	567	1123	7	1
Cargo.toml in checker	56	-	24	1123	33	4
environment.rs in checker/src	31	-	113	1123	78	3
Cargo.toml in annotations	13	-	174	1123	22	3
k_limits.rs in checker/src	6	-	150	1123	23	3
z3_solver.rs in checker/src	2017	68	144	1103	68	3
path.rs in checker/src	1148	23	23	1053	135	3
build.rs in checker	5	1	115	1045	3	2
foreign_contracts.rs in standard_contracts/src	4355	68	113	1032	126	3
lib.rs in standard_contracts/src	16	-	210	1032	12	1
Cargo.toml in standard_contracts	14	-	174	1032	2	1
known_names.rs in checker/src	436	1	113	882	39	3
options.rs in checker/src	177	2	55	856	23	5
crate_visitor.rs in checker/src	238	6	29	728	30	3
type_visitor.rs in checker/src	1169	4	29	726	102	2
block_visitor.rs in checker/src	3209	51	23	725	182	4
body_visitor.rs in checker/src	2612	19	29	725	158	4
call_visitor.rs in checker/src	2747	43	23	723	171	5
fixed_point_visitor.rs in checker/src	329	7	123	718	26	3
tag_domain.rs in checker/src	174	4	113	688	7	3
bool_domain.rs in checker/src	44	1	113	688	4	3
macros.rs in standard_contracts/src	221	-	181	544	8	1
call_graph.rs in checker/src	842	29	122	240	8	2
z3++.h in include	3074	642	29	156	2	1
z3_api.h in include	1088	-	29	156	2	1
z3_fpa.h in include	87	-	29	156	2	1
z3_fixedpoint.h in include	74	-	29	156	2	1
z3_optimization.h in include	41	-	29	156	2	1
z3_v1.h in include	38	-	156	156	1	1
z3_spacer.h in include	34	-	29	156	2	1
z3_rcf.h in include	30	-	29	156	2	1
z3_algebraic.h in include	28	-	29	156	2	1
z3_ast_containers.h in include	28	-	29	156	2	1
z3.h in include	14	-	156	156	1	1
z3_macros.h in include	13	-	156	156	1	1
z3_polynomial.h in include	8	-	29	156	2	1
z3_version.h in include	5	-	29	156	2	1
cargo_mirai.rs in checker/src	191	7	116	116	1	1

Files Not Recently Changed (Top 50)

File	# lines	# units	last modified (days ago)	created (days ago)	# changes	# contributors
Cargo.toml in root	16	-	603	1251	15	3
smt_solver.rs in checker/src	57	12	567	1123	7	1
expected_errors.rs in checker/src	80	3	291	1123	7	2
lib.rs in annotations/src	892	-	284	1123	25	4
lib.rs in standard_contracts/src	16	-	210	1032	12	1
summaries.rs in checker/src	484	9	192	1123	76	2
macros.rs in standard_contracts/src	221	-	181	544	8	1
lib.rs in checker/src	65	-	177	1123	30	4
Cargo.toml in annotations	13	-	174	1123	22	3
Cargo.toml in standard_contracts	14	-	174	1032	2	1
z3_macros.h in include	13	-	156	156	1	1
z3.h in include	14	-	156	156	1	1
z3_v1.h in include	38	-	156	156	1	1
k_limits.rs in checker/src	6	-	150	1123	23	3
callbacks.rs in checker/src	139	5	149	1123	198	5
z3_solver.rs in checker/src	2017	68	144	1103	68	3
fixed_point_visitor.rs in checker/src	329	7	123	718	26	3
call_graph.rs in checker/src	842	29	122	240	8	2
cargo_mirai.rs in checker/src	191	7	116	116	1	1
build.rs in checker	5	1	115	1045	3	2
environment.rs in checker/src	31	-	113	1123	78	3
bool_domain.rs in checker/src	44	1	113	688	4	3
tag_domain.rs in checker/src	174	4	113	688	7	3
interval_domain.rs in checker/src	352	4	113	1123	9	1
known_names.rs in checker/src	436	1	113	882	39	3
foreign_contracts.rs in standard_contracts/src	4355	68	113	1032	126	3
main.rs in checker/src	102	1	101	1123	17	3
options.rs in checker/src	177	2	55	856	23	5
constant_domain.rs in checker/src	1177	5	53	1123	61	2
z3_version.h in include	5	-	29	156	2	1
z3_polynomial.h in include	8	-	29	156	2	1
z3_ast_containers.h in include	28	-	29	156	2	1
z3_algebraic.h in include	28	-	29	156	2	1
z3_rcf.h in include	30	-	29	156	2	1
z3_spacer.h in include	34	-	29	156	2	1
z3_optimization.h in include	41	-	29	156	2	1
z3_fixedpoint.h in include	74	-	29	156	2	1
z3_fpa.h in include	87	-	29	156	2	1
crate_visitor.rs in checker/src	238	6	29	728	30	3
utils.rs in checker/src	442	5	29	1123	59	3
z3_api.h in include	1088	-	29	156	2	1
type_visitor.rs in checker/src	1169	4	29	726	102	2
body_visitor.rs in checker/src	2612	19	29	725	158	4
z3++.h in include	3074	642	29	156	2	1
Cargo.toml in checker	56	-	24	1123	33	4
path.rs in checker/src	1148	23	23	1053	135	3
expression.rs in checker/src	1355	2	23	1123	84	3
call_visitor.rs in checker/src	2747	43	23	723	171	5
block_visitor.rs in checker/src	3209	51	23	725	182	4
abstract_value.rs in checker/src	6125	102	23	1123	218	3

Most Recently Created Files (Top 50)

File	# lines	# units	last modified (days ago)	created (days ago)	# changes	# contributors
Cargo.windows.toml in checker	56	-	22	22	1	1
cargo_mirai.rs in checker/src	191	7	116	116	1	1
z3++.h in include	3074	642	29	156	2	1
z3_api.h in include	1088	-	29	156	2	1
z3_fpa.h in include	87	-	29	156	2	1
z3_fixedpoint.h in include	74	-	29	156	2	1
z3_optimization.h in include	41	-	29	156	2	1
z3_v1.h in include	38	-	156	156	1	1
z3_spacer.h in include	34	-	29	156	2	1
z3_rcf.h in include	30	-	29	156	2	1
z3_algebraic.h in include	28	-	29	156	2	1
z3_ast_containers.h in include	28	-	29	156	2	1
z3.h in include	14	-	156	156	1	1
z3_macros.h in include	13	-	156	156	1	1
z3_polynomial.h in include	8	-	29	156	2	1
z3_version.h in include	5	-	29	156	2	1
call_graph.rs in checker/src	842	29	122	240	8	2
macros.rs in standard_contracts/src	221	-	181	544	8	1
tag_domain.rs in checker/src	174	4	113	688	7	3
bool_domain.rs in checker/src	44	1	113	688	4	3
fixed_point_visitor.rs in checker/src	329	7	123	718	26	3
call_visitor.rs in checker/src	2747	43	23	723	171	5
block_visitor.rs in checker/src	3209	51	23	725	182	4
body_visitor.rs in checker/src	2612	19	29	725	158	4
type_visitor.rs in checker/src	1169	4	29	726	102	2
crate_visitor.rs in checker/src	238	6	29	728	30	3
options.rs in checker/src	177	2	55	856	23	5
known_names.rs in checker/src	436	1	113	882	39	3
foreign_contracts.rs in standard_contracts/src	4355	68	113	1032	126	3
lib.rs in standard_contracts/src	16	-	210	1032	12	1
Cargo.toml in standard_contracts	14	-	174	1032	2	1
build.rs in checker	5	1	115	1045	3	2
path.rs in checker/src	1148	23	23	1053	135	3
z3_solver.rs in checker/src	2017	68	144	1103	68	3
abstract_value.rs in checker/src	6125	102	23	1123	218	3
expression.rs in checker/src	1355	2	23	1123	84	3
constant_domain.rs in checker/src	1177	5	53	1123	61	2
lib.rs in annotations/src	892	-	284	1123	25	4
summaries.rs in checker/src	484	9	192	1123	76	2
utils.rs in checker/src	442	5	29	1123	59	3
interval_domain.rs in checker/src	352	4	113	1123	9	1
callbacks.rs in checker/src	139	5	149	1123	198	5
main.rs in checker/src	102	1	101	1123	17	3
expected_errors.rs in checker/src	80	3	291	1123	7	2
lib.rs in checker/src	65	-	177	1123	30	4
smt_solver.rs in checker/src	57	12	567	1123	7	1
Cargo.toml in checker	56	-	24	1123	33	4
environment.rs in checker/src	31	-	113	1123	78	3
Cargo.toml in annotations	13	-	174	1123	22	3
k_limits.rs in checker/src	6	-	150	1123	23	3

Most Recently Changed Files (Top 50)

File	# lines	# units	last modified (days ago)	created (days ago)	# changes	# contributors
Cargo.windows.toml in checker	56	-	22	22	1	1
abstract_value.rs in checker/src	6125	102	23	1123	218	3
block_visitor.rs in checker/src	3209	51	23	725	182	4
call_visitor.rs in checker/src	2747	43	23	723	171	5
expression.rs in checker/src	1355	2	23	1123	84	3
path.rs in checker/src	1148	23	23	1053	135	3
Cargo.toml in checker	56	-	24	1123	33	4
z3++.h in include	3074	642	29	156	2	1
body_visitor.rs in checker/src	2612	19	29	725	158	4
type_visitor.rs in checker/src	1169	4	29	726	102	2
z3_api.h in include	1088	-	29	156	2	1
utils.rs in checker/src	442	5	29	1123	59	3
crate_visitor.rs in checker/src	238	6	29	728	30	3
z3_fpa.h in include	87	-	29	156	2	1
z3_fixedpoint.h in include	74	-	29	156	2	1
z3_optimization.h in include	41	-	29	156	2	1
z3_spacer.h in include	34	-	29	156	2	1
z3_rcf.h in include	30	-	29	156	2	1
z3_algebraic.h in include	28	-	29	156	2	1
z3_ast_containers.h in include	28	-	29	156	2	1
z3_polynomial.h in include	8	-	29	156	2	1
z3_version.h in include	5	-	29	156	2	1
constant_domain.rs in checker/src	1177	5	53	1123	61	2
options.rs in checker/src	177	2	55	856	23	5
main.rs in checker/src	102	1	101	1123	17	3
foreign_contracts.rs in standard_contracts/src	4355	68	113	1032	126	3
known_names.rs in checker/src	436	1	113	882	39	3
interval_domain.rs in checker/src	352	4	113	1123	9	1
tag_domain.rs in checker/src	174	4	113	688	7	3
bool_domain.rs in checker/src	44	1	113	688	4	3
environment.rs in checker/src	31	-	113	1123	78	3
build.rs in checker	5	1	115	1045	3	2
cargo_mirai.rs in checker/src	191	7	116	116	1	1
call_graph.rs in checker/src	842	29	122	240	8	2
fixed_point_visitor.rs in checker/src	329	7	123	718	26	3
z3_solver.rs in checker/src	2017	68	144	1103	68	3
callbacks.rs in checker/src	139	5	149	1123	198	5
k_limits.rs in checker/src	6	-	150	1123	23	3
z3_v1.h in include	38	-	156	156	1	1
z3.h in include	14	-	156	156	1	1
z3_macros.h in include	13	-	156	156	1	1
Cargo.toml in standard_contracts	14	-	174	1032	2	1
Cargo.toml in annotations	13	-	174	1123	22	3
lib.rs in checker/src	65	-	177	1123	30	4
macros.rs in standard_contracts/src	221	-	181	544	8	1
summaries.rs in checker/src	484	9	192	1123	76	2
lib.rs in standard_contracts/src	16	-	210	1032	12	1
lib.rs in annotations/src	892	-	284	1123	25	4
expected_errors.rs in checker/src	80	3	291	1123	7	2
smt_solver.rs in checker/src	57	12	567	1123	7	1