facebookincubator / smt2utils
File Age

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: 27
  • Daily file updates (only one update per file and date counted): 49
  • First update: 2021-01-28
  • Latest update: 2021-10-13
  • Days between first and latest update: 258 (36 weeks, estimated 180 working days)
  • Active days (at least one file change): 56
  • Data:
File Change History Overall
File Age Distribution Overall
Days since first update
  • There are 26 files with 7,401 lines of code in files.
    • 23 files that are 366+ days old (6,815 lines of code)
    • 3 files that are 181-365 days old (586 lines of code)
    • 0 files that are 91-180 days old (0 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)
92% | 7% | 0% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: zoomable circles
Latest Change Distribution Overall
Days since last update
  • There are 26 files with 7,401 lines of code in files.
    • 1 files have been last changed 366+ days ago (12 lines of code)
    • 25 files have been last changed 181-365 days ago (7,389 lines of code)
    • 0 files have been last changed 91-180 days ago (0 lines of code)
    • 0 files have been last changed 31-90 days ago (0 lines of code)
    • 0 files have been last changed 1-30 days ago (0 lines of code)
<1% | 99% | 0% | 0% | 0%
Legend:
366+
181-365
91-180
31-90
1-30

explore: zoomable circles
File Change History per File Extension
rs, md, toml, tpl, ipynb, txt, gitignore, json, yml
File Age Distribution per Extension
Days since first update
366+
181-365
91-180
31-90
1-30
rs91% | 8% | 0% | 0% | 0%
toml100% | 0% | 0% | 0% | 0%
Latest Change Distribution per Extension
Days since last update
366+
181-365
91-180
31-90
1-30
toml9% | 90% | 0% | 0% | 0%
rs0% | 100% | 0% | 0% | 0%
File Change History per Logical Decomposition
primary
primary (file age distribution)
Days since first update
366+
181-365
91-180
31-90
1-30
smt2parser/src98% | 1% | 0% | 0% | 0%
z3tracer/src88% | 11% | 0% | 0% | 0%
smt2proxy/src48% | 51% | 0% | 0% | 0%
smt2patch/src100% | 0% | 0% | 0% | 0%
z3tracer100% | 0% | 0% | 0% | 0%
smt2parser100% | 0% | 0% | 0% | 0%
smt2patch100% | 0% | 0% | 0% | 0%
smt2proxy100% | 0% | 0% | 0% | 0%
ROOT100% | 0% | 0% | 0% | 0%
primary (latest change distribution)
Days since last update
366+
181-365
91-180
31-90
1-30
ROOT100% | 0% | 0% | 0% | 0%
smt2parser/src0% | 100% | 0% | 0% | 0%
z3tracer/src0% | 100% | 0% | 0% | 0%
smt2proxy/src0% | 100% | 0% | 0% | 0%
smt2patch/src0% | 100% | 0% | 0% | 0%
z3tracer0% | 100% | 0% | 0% | 0%
smt2parser0% | 100% | 0% | 0% | 0%
smt2patch0% | 100% | 0% | 0% | 0%
smt2proxy0% | 100% | 0% | 0% | 0%
Oldest Files (Top 27)
File# lines# unitslast modified
(days ago)		created
(days ago)		# changes# contributors
Cargo.toml
in smt2parser
 31 - 220 443 11 1
Cargo.toml
in smt2proxy
 25 - 220 443 11 1
main.rs
in z3tracer/src
 306 3 318 423 8 1
parser.rs
in z3tracer/src
 283 2 351 423 12 2
error.rs
in z3tracer/src
 99 3 354 423 12 1
Cargo.toml
in z3tracer
 33 - 220 423 23 1
Cargo.toml
in root
 12 - 366 423 2 1
lib.rs
in z3tracer/src
 10 - 185 423 14 1
parser.rs
in smt2parser/src
 437 3 282 418 9 1
syntax.rs
in z3tracer/src
 315 14 281 413 11 1
lexer.rs
in z3tracer/src
 470 16 229 410 8 1
lexer.rs
in smt2parser/src
 381 11 303 410 4 1
model.rs
in z3tracer/src
 726 24 220 408 19 2
main.rs
in smt2proxy/src
 219 5 220 407 6 1
concrete.rs
in smt2parser/src
 1157 62 220 372 11 2
visitors.rs
in smt2parser/src
 505 18 220 372 10 2
stats.rs
in smt2parser/src
 490 61 282 372 5 1
lib.rs
in smt2parser/src
 130 3 220 372 6 1
main.rs
in smt2parser/src
 116 3 281 372 5 1
rewriter.rs
in smt2parser/src
 934 125 282 367 7 1
lib.rs
in smt2patch/src
 93 6 269 366 7 1
Cargo.toml
in smt2patch
 26 - 220 366 9 1
main.rs
in smt2patch/src
 17 1 340 366 2 1
report.rs
in z3tracer/src
 285 8 339 340 2 1
renaming.rs
in smt2parser/src
 70 2 220 316 8 1
lib.rs
in smt2proxy/src
 231 5 220 283 4 1
2 -
Files Not Recently Changed (Top 27)
File# lines# unitslast modified
(days ago)		created
(days ago)		# changes# contributors
Cargo.toml
in root
 12 - 366 423 2 1
error.rs
in z3tracer/src
 99 3 354 423 12 1
parser.rs
in z3tracer/src
 283 2 351 423 12 2
main.rs
in smt2patch/src
 17 1 340 366 2 1
report.rs
in z3tracer/src
 285 8 339 340 2 1
main.rs
in z3tracer/src
 306 3 318 423 8 1
lexer.rs
in smt2parser/src
 381 11 303 410 4 1
parser.rs
in smt2parser/src
 437 3 282 418 9 1
stats.rs
in smt2parser/src
 490 61 282 372 5 1
rewriter.rs
in smt2parser/src
 934 125 282 367 7 1
main.rs
in smt2parser/src
 116 3 281 372 5 1
syntax.rs
in z3tracer/src
 315 14 281 413 11 1
lib.rs
in smt2patch/src
 93 6 269 366 7 1
lexer.rs
in z3tracer/src
 470 16 229 410 8 1
Cargo.toml
in smt2proxy
 25 - 220 443 11 1
Cargo.toml
in smt2patch
 26 - 220 366 9 1
Cargo.toml
in smt2parser
 31 - 220 443 11 1
Cargo.toml
in z3tracer
 33 - 220 423 23 1
renaming.rs
in smt2parser/src
 70 2 220 316 8 1
lib.rs
in smt2parser/src
 130 3 220 372 6 1
main.rs
in smt2proxy/src
 219 5 220 407 6 1
lib.rs
in smt2proxy/src
 231 5 220 283 4 1
visitors.rs
in smt2parser/src
 505 18 220 372 10 2
model.rs
in z3tracer/src
 726 24 220 408 19 2
concrete.rs
in smt2parser/src
 1157 62 220 372 11 2
lib.rs
in z3tracer/src
 10 - 185 423 14 1
2 -
Most Recently Created Files (Top 27)
File# lines# unitslast modified
(days ago)		created
(days ago)		# changes# contributors
2 -
lib.rs
in smt2proxy/src
 231 5 220 283 4 1
renaming.rs
in smt2parser/src
 70 2 220 316 8 1
report.rs
in z3tracer/src
 285 8 339 340 2 1
lib.rs
in smt2patch/src
 93 6 269 366 7 1
Cargo.toml
in smt2patch
 26 - 220 366 9 1
main.rs
in smt2patch/src
 17 1 340 366 2 1
rewriter.rs
in smt2parser/src
 934 125 282 367 7 1
concrete.rs
in smt2parser/src
 1157 62 220 372 11 2
visitors.rs
in smt2parser/src
 505 18 220 372 10 2
stats.rs
in smt2parser/src
 490 61 282 372 5 1
lib.rs
in smt2parser/src
 130 3 220 372 6 1
main.rs
in smt2parser/src
 116 3 281 372 5 1
main.rs
in smt2proxy/src
 219 5 220 407 6 1
model.rs
in z3tracer/src
 726 24 220 408 19 2
lexer.rs
in z3tracer/src
 470 16 229 410 8 1
lexer.rs
in smt2parser/src
 381 11 303 410 4 1
syntax.rs
in z3tracer/src
 315 14 281 413 11 1
parser.rs
in smt2parser/src
 437 3 282 418 9 1
main.rs
in z3tracer/src
 306 3 318 423 8 1
parser.rs
in z3tracer/src
 283 2 351 423 12 2
error.rs
in z3tracer/src
 99 3 354 423 12 1
Cargo.toml
in z3tracer
 33 - 220 423 23 1
Cargo.toml
in root
 12 - 366 423 2 1
lib.rs
in z3tracer/src
 10 - 185 423 14 1
Cargo.toml
in smt2parser
 31 - 220 443 11 1
Cargo.toml
in smt2proxy
 25 - 220 443 11 1
Most Recently Changed Files (Top 27)
File# lines# unitslast modified
(days ago)		created
(days ago)		# changes# contributors
2 -
lib.rs
in z3tracer/src
 10 - 185 423 14 1
concrete.rs
in smt2parser/src
 1157 62 220 372 11 2
model.rs
in z3tracer/src
 726 24 220 408 19 2
visitors.rs
in smt2parser/src
 505 18 220 372 10 2
lib.rs
in smt2proxy/src
 231 5 220 283 4 1
main.rs
in smt2proxy/src
 219 5 220 407 6 1
lib.rs
in smt2parser/src
 130 3 220 372 6 1
renaming.rs
in smt2parser/src
 70 2 220 316 8 1
Cargo.toml
in z3tracer
 33 - 220 423 23 1
Cargo.toml
in smt2parser
 31 - 220 443 11 1
Cargo.toml
in smt2patch
 26 - 220 366 9 1
Cargo.toml
in smt2proxy
 25 - 220 443 11 1
lexer.rs
in z3tracer/src
 470 16 229 410 8 1
lib.rs
in smt2patch/src
 93 6 269 366 7 1
syntax.rs
in z3tracer/src
 315 14 281 413 11 1
main.rs
in smt2parser/src
 116 3 281 372 5 1
rewriter.rs
in smt2parser/src
 934 125 282 367 7 1
stats.rs
in smt2parser/src
 490 61 282 372 5 1
parser.rs
in smt2parser/src
 437 3 282 418 9 1
lexer.rs
in smt2parser/src
 381 11 303 410 4 1
main.rs
in z3tracer/src
 306 3 318 423 8 1
report.rs
in z3tracer/src
 285 8 339 340 2 1
main.rs
in smt2patch/src
 17 1 340 366 2 1
parser.rs
in z3tracer/src
 283 2 351 423 12 2
error.rs
in z3tracer/src
 99 3 354 423 12 1
Cargo.toml
in root
 12 - 366 423 2 1