facebookincubator / smt2utils
File Change Frequency

File change frequency (churn) shows the distribution of file updates (days with at least one commit).

File Change Frequency Overall
File Change Frequency Overall
The number of recorded file updates
  • There are 26 files with 7,401 lines of code.
    • 0 files changed more than 100 times (0 lines of code)
    • 0 files changed 51-100 times (0 lines of code)
    • 1 files changed 21-50 times (33 lines of code)
    • 18 files changed 6-20 times (5,836 lines of code)
    • 7 files changed 1-5 times (1,532 lines of code)
0% | 0% | <1% | 78% | 20%
Legend:
101+
51-100
21-50
6-20
1-5
explore: zoomable circles | data
File Change Frequency per File Extension
rs, md, toml, tpl, ipynb, txt, gitignore, json, yml
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
toml0% | 0% | 25% | 64% | 9%
rs0% | 0% | 0% | 79% | 20%
File Change Frequency per Logical Decomposition
primary
primary (file change frequency)
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
z3tracer0% | 0% | 100% | 0% | 0%
smt2parser/src0% | 0% | 0% | 76% | 23%
z3tracer/src0% | 0% | 0% | 88% | 11%
smt2proxy/src0% | 0% | 0% | 48% | 51%
smt2patch/src0% | 0% | 0% | 84% | 15%
smt2parser0% | 0% | 0% | 100% | 0%
smt2patch0% | 0% | 0% | 100% | 0%
smt2proxy0% | 0% | 0% | 100% | 0%
ROOT0% | 0% | 0% | 0% | 100%
Most Frequently Changed Files (Top 27)

See data for all files...

File# lines# unitslast modified
(days ago)		created
(days ago)		# changes# contributors
Cargo.toml
in z3tracer
 33 - 220 423 23 1
model.rs
in z3tracer/src
 726 24 220 408 19 2
lib.rs
in z3tracer/src
 10 - 185 423 14 1
error.rs
in z3tracer/src
 99 3 354 423 12 1
parser.rs
in z3tracer/src
 283 2 351 423 12 2
Cargo.toml
in smt2proxy
 25 - 220 443 11 1
Cargo.toml
in smt2parser
 31 - 220 443 11 1
syntax.rs
in z3tracer/src
 315 14 281 413 11 1
concrete.rs
in smt2parser/src
 1157 62 220 372 11 2
visitors.rs
in smt2parser/src
 505 18 220 372 10 2
Cargo.toml
in smt2patch
 26 - 220 366 9 1
parser.rs
in smt2parser/src
 437 3 282 418 9 1
renaming.rs
in smt2parser/src
 70 2 220 316 8 1
main.rs
in z3tracer/src
 306 3 318 423 8 1
lexer.rs
in z3tracer/src
 470 16 229 410 8 1
lib.rs
in smt2patch/src
 93 6 269 366 7 1
rewriter.rs
in smt2parser/src
 934 125 282 367 7 1
lib.rs
in smt2parser/src
 130 3 220 372 6 1
main.rs
in smt2proxy/src
 219 5 220 407 6 1
main.rs
in smt2parser/src
 116 3 281 372 5 1
stats.rs
in smt2parser/src
 490 61 282 372 5 1
lib.rs
in smt2proxy/src
 231 5 220 283 4 1
lexer.rs
in smt2parser/src
 381 11 303 410 4 1
Cargo.toml
in root
 12 - 366 423 2 1
main.rs
in smt2patch/src
 17 1 340 366 2 1
report.rs
in z3tracer/src
 285 8 339 340 2 1
2 -
Files With Most Contributors (Top 27)
Files sorted by the number of unique email addresses found in commits.

See data for all files...

File# lines# unitslast modified
(days ago)		created
(days ago)		# changes# contributors
Cargo.toml
in z3tracer
 33 - 220 423 23 1
model.rs
in z3tracer/src
 726 24 220 408 19 2
lib.rs
in z3tracer/src
 10 - 185 423 14 1
error.rs
in z3tracer/src
 99 3 354 423 12 1
parser.rs
in z3tracer/src
 283 2 351 423 12 2
Cargo.toml
in smt2proxy
 25 - 220 443 11 1
Cargo.toml
in smt2parser
 31 - 220 443 11 1
syntax.rs
in z3tracer/src
 315 14 281 413 11 1
concrete.rs
in smt2parser/src
 1157 62 220 372 11 2
visitors.rs
in smt2parser/src
 505 18 220 372 10 2
parser.rs
in smt2parser/src
 437 3 282 418 9 1
Cargo.toml
in smt2patch
 26 - 220 366 9 1
renaming.rs
in smt2parser/src
 70 2 220 316 8 1
lexer.rs
in z3tracer/src
 470 16 229 410 8 1
main.rs
in z3tracer/src
 306 3 318 423 8 1
rewriter.rs
in smt2parser/src
 934 125 282 367 7 1
lib.rs
in smt2patch/src
 93 6 269 366 7 1
main.rs
in smt2proxy/src
 219 5 220 407 6 1
lib.rs
in smt2parser/src
 130 3 220 372 6 1
stats.rs
in smt2parser/src
 490 61 282 372 5 1
main.rs
in smt2parser/src
 116 3 281 372 5 1
lib.rs
in smt2proxy/src
 231 5 220 283 4 1
lexer.rs
in smt2parser/src
 381 11 303 410 4 1
report.rs
in z3tracer/src
 285 8 339 340 2 1
Cargo.toml
in root
 12 - 366 423 2 1
main.rs
in smt2patch/src
 17 1 340 366 2 1
2 -
Correlations

File Size vs. Number of Changes: 26 points

z3tracer/src/lib.rs x: 10 lines of code y: 14 # changes smt2parser/Cargo.toml x: 31 lines of code y: 11 # changes smt2patch/Cargo.toml x: 26 lines of code y: 9 # changes smt2proxy/Cargo.toml x: 25 lines of code y: 11 # changes z3tracer/Cargo.toml x: 33 lines of code y: 23 # changes smt2parser/src/lib.rs x: 130 lines of code y: 6 # changes smt2proxy/src/lib.rs x: 231 lines of code y: 4 # changes z3tracer/src/model.rs x: 726 lines of code y: 19 # changes smt2parser/src/renaming.rs x: 70 lines of code y: 8 # changes smt2parser/src/visitors.rs x: 505 lines of code y: 10 # changes smt2proxy/src/main.rs x: 219 lines of code y: 6 # changes smt2parser/src/concrete.rs x: 1157 lines of code y: 11 # changes z3tracer/src/lexer.rs x: 470 lines of code y: 8 # changes smt2patch/src/lib.rs x: 93 lines of code y: 7 # changes z3tracer/src/syntax.rs x: 315 lines of code y: 11 # changes smt2parser/src/main.rs x: 116 lines of code y: 5 # changes smt2parser/src/parser.rs x: 437 lines of code y: 9 # changes smt2parser/src/rewriter.rs x: 934 lines of code y: 7 # changes smt2parser/src/stats.rs x: 490 lines of code y: 5 # changes smt2parser/src/lexer.rs x: 381 lines of code y: 4 # changes z3tracer/src/main.rs x: 306 lines of code y: 8 # changes z3tracer/src/report.rs x: 285 lines of code y: 2 # changes smt2patch/src/main.rs x: 17 lines of code y: 2 # changes z3tracer/src/parser.rs x: 283 lines of code y: 12 # changes z3tracer/src/error.rs x: 99 lines of code y: 12 # changes Cargo.toml x: 12 lines of code y: 2 # changes
23.0
# changes
  min: 2.0
  average: 8.69
  25th percentile: 5.0
  median: 8.0
  75th percentile: 11.0
  max: 23.0
0 1157.0
lines of code
min: 10.0 | average: 284.65 | 25th percentile: 32.5 | median: 225.0 | 75th percentile: 445.25 | max: 1157.0

Number of Contributors vs. Number of Changes: 26 points

z3tracer/src/lib.rs x: 1 # contributors y: 14 # changes smt2parser/Cargo.toml x: 1 # contributors y: 11 # changes smt2patch/Cargo.toml x: 1 # contributors y: 9 # changes z3tracer/Cargo.toml x: 1 # contributors y: 23 # changes smt2parser/src/lib.rs x: 1 # contributors y: 6 # changes smt2proxy/src/lib.rs x: 1 # contributors y: 4 # changes z3tracer/src/model.rs x: 2 # contributors y: 19 # changes smt2parser/src/renaming.rs x: 1 # contributors y: 8 # changes smt2parser/src/visitors.rs x: 2 # contributors y: 10 # changes smt2parser/src/concrete.rs x: 2 # contributors y: 11 # changes smt2patch/src/lib.rs x: 1 # contributors y: 7 # changes smt2parser/src/main.rs x: 1 # contributors y: 5 # changes z3tracer/src/report.rs x: 1 # contributors y: 2 # changes z3tracer/src/parser.rs x: 2 # contributors y: 12 # changes z3tracer/src/error.rs x: 1 # contributors y: 12 # changes
23.0
# changes
  min: 2.0
  average: 8.69
  25th percentile: 5.0
  median: 8.0
  75th percentile: 11.0
  max: 23.0
0 2.0
# contributors
min: 1.0 | average: 1.15 | 25th percentile: 1.0 | median: 1.0 | 75th percentile: 1.0 | max: 2.0