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: 69
- Daily file updates (only one update per file and date counted): 1056
- First update: 2021-08-19
- Latest update: 2022-01-24
- Days between first and latest update: 159 (22 weeks, estimated 110 working days)
- Active days (at least one file change): 17
- Data:
File Change History Overall
File Age Distribution Overall
Days since first update
- There are 69 files with 11,990 lines of code in files.
- 0 files that are 366+ days old (0 lines of code)
- 0 files that are 181-365 days old (0 lines of code)
- 69 files that are 91-180 days old (11,990 lines of code)
- 0 files that are 31-90 days old (0 lines of code)
- 0 files that are 1-30 days old (0 lines of code)
Legend:
366+
181-365
91-180
31-90
1-30
Latest Change Distribution Overall
Days since last update
- There are 69 files with 11,990 lines of code in files.
- 0 files have been last changed 366+ days ago (0 lines of code)
- 0 files have been last changed 181-365 days ago (0 lines of code)
- 48 files have been last changed 91-180 days ago (5,532 lines of code)
- 19 files have been last changed 31-90 days ago (6,321 lines of code)
- 2 files have been last changed 1-30 days ago (137 lines of code)
Legend:
366+
181-365
91-180
31-90
1-30
File Change History per File Extension
smt2, rs, md, ipynb, py, sh, toml, ini, gitignore, json, html, txt, yml
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 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
 transpiler.rs in amzn-smt-string-transformer/src |
770 | 15 | 41 | 161 | 2 |
string_mappings.rs in amzn-smt-string-transformer/src |
636 | 6 | 41 | 161 | 2 |
encoding.rs in amzn-smt-eager-arithmetic/src |
628 | 29 | 81 | 161 | 2 |
cnf.rs in amzn-smt-ir/src |
619 | 36 | 81 | 161 | 3 |
convert.rs in amzn-smt-ir/src/term |
596 | 67 | 146 | 161 | 2 |
types.rs in amzn-smt-ir/src |
488 | 33 | 146 | 161 | 2 |
callgraph.rs in amzn-smt-string-transformer/src |
451 | 9 | 41 | 161 | 2 |
term.rs in amzn-smt-ir/src |
448 | 35 | 41 | 161 | 2 |
lib.rs in amzn-smt-ir-derive/src |
438 | 12 | 161 | 161 | 1 |
fold.rs in amzn-smt-ir/src |
437 | 40 | 40 | 161 | 3 |
visit.rs in amzn-smt-ir/src |
316 | 50 | 40 | 161 | 3 |
canonicalize.rs in amzn-smt-eager-arithmetic/src |
314 | 10 | 41 | 161 | 2 |
lib.rs in amzn-smt-eager-arithmetic/src |
313 | 20 | 161 | 161 | 1 |
string_fcts.rs in amzn-smt-string-transformer/src |
307 | - | 161 | 161 | 1 |
stats.rs in amzn-smt-eager-arithmetic/src |
280 | 16 | 40 | 161 | 3 |
ackerman.rs in amzn-smt-ir/src |
259 | 11 | 41 | 161 | 2 |
args.rs in amzn-smt-ir/src/term |
246 | 27 | 161 | 161 | 1 |
intra.rs in amzn-smt-ir/src/fold |
220 | 42 | 146 | 161 | 2 |
inter.rs in amzn-smt-ir/src/fold |
217 | 38 | 146 | 161 | 2 |
transpiler_visitors.rs in amzn-smt-string-transformer/src |
214 | 11 | 41 | 161 | 3 |
Files Not Recently Changed (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
lib.rs in amzn-smt-string-fct-updater/src |
2 | - | 161 | 161 | 1 |
operation.rs in amzn-smt-ir/src/term |
14 | 1 | 161 | 161 | 1 |
uf.rs in amzn-smt-ir/src/term |
14 | 1 | 161 | 161 | 1 |
quantifier.rs in amzn-smt-ir/src/term |
18 | 1 | 161 | 161 | 1 |
 Cargo.toml in root |
18 | - | 161 | 161 | 1 |
Cargo.toml in amzn-smt-ir-derive |
22 | - | 161 | 161 | 1 |
main.rs in amzn-smt-string-fct-updater/src |
24 | 1 | 161 | 161 | 1 |
arrays.rs in amzn-smt-ir/src/logic |
26 | 1 | 161 | 161 | 1 |
all.rs in amzn-smt-ir/src/logic |
28 | - | 161 | 161 | 1 |
presburger_encoding.rs in amzn-smt-eager-arithmetic/benches |
29 | 1 | 161 | 161 | 1 |
lib.rs in amzn-smt-string-transformer/src |
33 | 2 | 161 | 161 | 1 |
control_flow.rs in amzn-smt-ir/src/visit |
38 | - | 161 | 161 | 1 |
fmt.rs in amzn-smt-ir/src/term |
47 | 4 | 161 | 161 | 1 |
substitute.rs in amzn-smt-ir/src/term |
60 | 5 | 161 | 161 | 1 |
main.rs in amzn-smt-eager-arithmetic/src |
66 | 1 | 161 | 161 | 1 |
binder.rs in amzn-smt-ir/src/term |
78 | 5 | 161 | 161 | 1 |
strings.rs in amzn-smt-ir/src/logic |
93 | 1 | 161 | 161 | 1 |
arith.rs in amzn-smt-ir/src/logic |
99 | 2 | 161 | 161 | 1 |
parsing.rs in amzn-smt-ir/benches |
100 | 3 | 161 | 161 | 1 |
compose.rs in amzn-smt-ir/src/fold |
103 | 10 | 161 | 161 | 1 |
Most Recently Created Files (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
 generate_predictions.py in amzn-smt-prediction/scripts |
216 | 8 | 151 | 151 | 1 |
clean_eager_lazy_data.py in amzn-smt-prediction/scripts |
103 | 4 | 151 | 151 | 1 |
run_eager_v_lazy.py in amzn-smt-prediction/scripts |
81 | 3 | 151 | 151 | 1 |
clean_smt_comp_results.py in amzn-smt-prediction/scripts |
49 | - | 151 | 151 | 1 |
find_faster_fmf.py in amzn-smt-prediction/scripts |
45 | - | 151 | 151 | 1 |
transpiler.rs in amzn-smt-string-transformer/src |
770 | 15 | 41 | 161 | 2 |
string_mappings.rs in amzn-smt-string-transformer/src |
636 | 6 | 41 | 161 | 2 |
encoding.rs in amzn-smt-eager-arithmetic/src |
628 | 29 | 81 | 161 | 2 |
cnf.rs in amzn-smt-ir/src |
619 | 36 | 81 | 161 | 3 |
convert.rs in amzn-smt-ir/src/term |
596 | 67 | 146 | 161 | 2 |
types.rs in amzn-smt-ir/src |
488 | 33 | 146 | 161 | 2 |
callgraph.rs in amzn-smt-string-transformer/src |
451 | 9 | 41 | 161 | 2 |
term.rs in amzn-smt-ir/src |
448 | 35 | 41 | 161 | 2 |
lib.rs in amzn-smt-ir-derive/src |
438 | 12 | 161 | 161 | 1 |
fold.rs in amzn-smt-ir/src |
437 | 40 | 40 | 161 | 3 |
visit.rs in amzn-smt-ir/src |
316 | 50 | 40 | 161 | 3 |
canonicalize.rs in amzn-smt-eager-arithmetic/src |
314 | 10 | 41 | 161 | 2 |
lib.rs in amzn-smt-eager-arithmetic/src |
313 | 20 | 161 | 161 | 1 |
string_fcts.rs in amzn-smt-string-transformer/src |
307 | - | 161 | 161 | 1 |
stats.rs in amzn-smt-eager-arithmetic/src |
280 | 16 | 40 | 161 | 3 |
Most Recently Changed Files (Top 20)
| File | # lines | # units | last modified (days ago) | created (days ago) | # changes |
|---|---|---|---|---|---|
model.rs in amzn-smt-ir/src |
114 | 5 | 8 | 161 | 2 |
script.rs in amzn-smt-ir/src |
23 | - | 22 | 161 | 9 |
fold.rs in amzn-smt-ir/src |
437 | 40 | 40 | 161 | 3 |
visit.rs in amzn-smt-ir/src |
316 | 50 | 40 | 161 | 3 |
stats.rs in amzn-smt-eager-arithmetic/src |
280 | 16 | 40 | 161 | 3 |
logic.rs in amzn-smt-ir/src |
185 | 13 | 40 | 161 | 2 |
Cargo.toml in amzn-smt-string-transformer |
21 | - | 40 | 161 | 3 |
transpiler.rs in amzn-smt-string-transformer/src |
770 | 15 | 41 | 161 | 2 |
string_mappings.rs in amzn-smt-string-transformer/src |
636 | 6 | 41 | 161 | 2 |
callgraph.rs in amzn-smt-string-transformer/src |
451 | 9 | 41 | 161 | 2 |
term.rs in amzn-smt-ir/src |
448 | 35 | 41 | 161 | 2 |
canonicalize.rs in amzn-smt-eager-arithmetic/src |
314 | 10 | 41 | 161 | 2 |
ackerman.rs in amzn-smt-ir/src |
259 | 11 | 41 | 161 | 2 |
transpiler_visitors.rs in amzn-smt-string-transformer/src |
214 | 11 | 41 | 161 | 3 |
transpiler.rs in amzn-smt-string-fct-updater/src |
188 | 5 | 41 | 161 | 2 |
reconstruct_tools.rs in amzn-smt-string-transformer/src |
149 | 1 | 41 | 161 | 3 |
eliminate.rs in amzn-smt-ir/src |
118 | 8 | 41 | 161 | 2 |
sort_checking.rs in amzn-smt-ir/src/term |
95 | 11 | 41 | 161 | 2 |
encoding.rs in amzn-smt-eager-arithmetic/src |
628 | 29 | 81 | 161 | 2 |
cnf.rs in amzn-smt-ir/src |
619 | 36 | 81 | 161 | 3 |