facebookexperimental / MIRAI
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 51 files with 35,954 lines of code.
    • 8 files changed more than 100 times (21,504 lines of code)
    • 6 files changed 51-100 times (5,506 lines of code)
    • 9 files changed 21-50 times (2,212 lines of code)
    • 9 files changed 6-20 times (1,860 lines of code)
    • 19 files changed 1-5 times (4,872 lines of code)
59% | 15% | 6% | 5% | 13%
Legend:
101+
51-100
21-50
6-20
1-5
explore: zoomable circles | data
File Change Frequency per File Extension
rs, md, h, toml, sh, xml, gitignore, yml, json, txt, editorconfig
File Change Frequency per Extension
The number of recorded file updates
101+
51-100
21-50
6-20
1-5
rs68% | 17% | 6% | 5% | <1%
toml0% | 0% | 44% | 10% | 45%
h0% | 0% | 0% | 0% | 100%
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
checker/src66% | 21% | 4% | 6% | <1%
standard_contracts/src94% | 0% | 0% | 5% | 0%
annotations/src0% | 0% | 100% | 0% | 0%
checker0% | 0% | 47% | 0% | 52%
annotations0% | 0% | 100% | 0% | 0%
ROOT0% | 0% | 0% | 100% | 0%
include0% | 0% | 0% | 0% | 100%
standard_contracts0% | 0% | 0% | 0% | 100%
Most Frequently Changed Files (Top 50)

See data for all files...

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

File Size vs. Number of Changes: 51 points

checker/Cargo.windows.toml x: 56 lines of code y: 1 # changes checker/src/abstract_value.rs x: 6125 lines of code y: 218 # changes checker/src/block_visitor.rs x: 3209 lines of code y: 182 # changes checker/src/call_visitor.rs x: 2747 lines of code y: 171 # changes checker/src/expression.rs x: 1355 lines of code y: 84 # changes checker/src/path.rs x: 1148 lines of code y: 135 # changes checker/Cargo.toml x: 56 lines of code y: 33 # changes include/z3++.h x: 3074 lines of code y: 2 # changes include/z3_algebraic.h x: 28 lines of code y: 2 # changes include/z3_api.h x: 1088 lines of code y: 2 # changes include/z3_fixedpoint.h x: 74 lines of code y: 2 # changes include/z3_fpa.h x: 87 lines of code y: 2 # changes include/z3_optimization.h x: 41 lines of code y: 2 # changes include/z3_polynomial.h x: 8 lines of code y: 2 # changes checker/src/body_visitor.rs x: 2612 lines of code y: 158 # changes checker/src/crate_visitor.rs x: 238 lines of code y: 30 # changes checker/src/type_visitor.rs x: 1169 lines of code y: 102 # changes checker/src/utils.rs x: 442 lines of code y: 59 # changes checker/src/constant_domain.rs x: 1177 lines of code y: 61 # changes checker/src/options.rs x: 177 lines of code y: 23 # changes checker/src/main.rs x: 102 lines of code y: 17 # changes checker/src/bool_domain.rs x: 44 lines of code y: 4 # changes checker/src/environment.rs x: 31 lines of code y: 78 # changes checker/src/interval_domain.rs x: 352 lines of code y: 9 # changes checker/src/known_names.rs x: 436 lines of code y: 39 # changes checker/src/tag_domain.rs x: 174 lines of code y: 7 # changes standard_contracts/src/foreign_contracts.rs x: 4355 lines of code y: 126 # changes checker/build.rs x: 5 lines of code y: 3 # changes checker/src/cargo_mirai.rs x: 191 lines of code y: 1 # changes checker/src/call_graph.rs x: 842 lines of code y: 8 # changes checker/src/fixed_point_visitor.rs x: 329 lines of code y: 26 # changes checker/src/z3_solver.rs x: 2017 lines of code y: 68 # changes checker/src/callbacks.rs x: 139 lines of code y: 198 # changes checker/src/k_limits.rs x: 6 lines of code y: 23 # changes include/z3.h x: 14 lines of code y: 1 # changes include/z3_v1.h x: 38 lines of code y: 1 # changes annotations/Cargo.toml x: 13 lines of code y: 22 # changes standard_contracts/Cargo.toml x: 14 lines of code y: 2 # changes checker/src/lib.rs x: 65 lines of code y: 30 # changes standard_contracts/src/macros.rs x: 221 lines of code y: 8 # changes checker/src/summaries.rs x: 484 lines of code y: 76 # changes standard_contracts/src/lib.rs x: 16 lines of code y: 12 # changes annotations/src/lib.rs x: 892 lines of code y: 25 # changes checker/src/expected_errors.rs x: 80 lines of code y: 7 # changes checker/src/smt_solver.rs x: 57 lines of code y: 7 # changes Cargo.toml x: 16 lines of code y: 15 # changes
218.0
# changes
  min: 1.0
  average: 41.04
  25th percentile: 2.0
  median: 12.0
  75th percentile: 61.0
  max: 218.0
0 6125.0
lines of code
min: 5.0 | average: 704.98 | 25th percentile: 30.0 | median: 102.0 | 75th percentile: 892.0 | max: 6125.0

Number of Contributors vs. Number of Changes: 51 points

checker/Cargo.windows.toml x: 1 # contributors y: 1 # changes checker/src/abstract_value.rs x: 3 # contributors y: 218 # changes checker/src/block_visitor.rs x: 4 # contributors y: 182 # changes checker/src/call_visitor.rs x: 5 # contributors y: 171 # changes checker/src/expression.rs x: 3 # contributors y: 84 # changes checker/src/path.rs x: 3 # contributors y: 135 # changes checker/Cargo.toml x: 4 # contributors y: 33 # changes include/z3++.h x: 1 # contributors y: 2 # changes checker/src/body_visitor.rs x: 4 # contributors y: 158 # changes checker/src/crate_visitor.rs x: 3 # contributors y: 30 # changes checker/src/type_visitor.rs x: 2 # contributors y: 102 # changes checker/src/utils.rs x: 3 # contributors y: 59 # changes checker/src/constant_domain.rs x: 2 # contributors y: 61 # changes checker/src/options.rs x: 5 # contributors y: 23 # changes checker/src/main.rs x: 3 # contributors y: 17 # changes checker/src/bool_domain.rs x: 3 # contributors y: 4 # changes checker/src/environment.rs x: 3 # contributors y: 78 # changes checker/src/interval_domain.rs x: 1 # contributors y: 9 # changes checker/src/known_names.rs x: 3 # contributors y: 39 # changes checker/src/tag_domain.rs x: 3 # contributors y: 7 # changes standard_contracts/src/foreign_contracts.rs x: 3 # contributors y: 126 # changes checker/build.rs x: 2 # contributors y: 3 # changes checker/src/call_graph.rs x: 2 # contributors y: 8 # changes checker/src/fixed_point_visitor.rs x: 3 # contributors y: 26 # changes checker/src/z3_solver.rs x: 3 # contributors y: 68 # changes checker/src/callbacks.rs x: 5 # contributors y: 198 # changes checker/src/k_limits.rs x: 3 # contributors y: 23 # changes annotations/Cargo.toml x: 3 # contributors y: 22 # changes checker/src/lib.rs x: 4 # contributors y: 30 # changes standard_contracts/src/macros.rs x: 1 # contributors y: 8 # changes checker/src/summaries.rs x: 2 # contributors y: 76 # changes standard_contracts/src/lib.rs x: 1 # contributors y: 12 # changes annotations/src/lib.rs x: 4 # contributors y: 25 # changes checker/src/expected_errors.rs x: 2 # contributors y: 7 # changes checker/src/smt_solver.rs x: 1 # contributors y: 7 # changes Cargo.toml x: 3 # contributors y: 15 # changes
218.0
# changes
  min: 1.0
  average: 41.04
  25th percentile: 2.0
  median: 12.0
  75th percentile: 61.0
  max: 218.0
0 5.0
# contributors
min: 1.0 | average: 2.27 | 25th percentile: 1.0 | median: 2.0 | 75th percentile: 3.0 | max: 5.0