A temporal dependency occurs when developers change two or more files at the same time (i.e. they are a part of the same commit).
No file pairs changed together.
File Change History per Logical Decomposition
primary
primary
The number on the lines shows the number of shared commits.
No temporal cross-component dependencies found.
No file pairs changed together.
File Change History per Logical Decomposition
primary
primary
The number on the lines shows the number of shared commits.
No temporal cross-component dependencies found.
Files Most Frequently Changed Together (Top 20)
| Pairs | # same commits | # commits 1 | # commits 2 | latest commit |
|---|---|---|---|---|
| impl/src/tooling/verifier/smtdecls_emitter.ts impl/src/tooling/verifier/smtcollection_emitter.ts |
5 | 12 (41%) | 10 (50%) | 2021-10-31 |
| impl/src/tooling/verifier/smttype_emitter.ts impl/src/tooling/verifier/smtcollection_emitter.ts |
4 | 11 (36%) | 10 (40%) | 2021-10-27 |
| impl/src/tooling/verifier/smttype_emitter.ts impl/src/tooling/verifier/smtdecls_emitter.ts |
4 | 11 (36%) | 12 (33%) | 2021-10-27 |
| impl/src/ast/assembly.ts impl/src/tooling/verifier/smttype_emitter.ts |
4 | 13 (30%) | 11 (36%) | 2021-10-21 |
| impl/src/runtimes/bsqcheck.ts impl/src/tooling/verifier/smt_workflows.ts |
4 | 14 (28%) | 11 (36%) | 2021-10-19 |
| impl/src/tooling/verifier/smt_assembly.ts impl/src/tooling/verifier/smtcollection_emitter.ts |
3 | 7 (42%) | 10 (30%) | 2021-10-27 |
| impl/src/tooling/verifier/smttype_emitter.ts impl/src/tooling/verifier/smt_assembly.ts |
3 | 11 (27%) | 7 (42%) | 2021-10-27 |
| impl/src/ast/assembly.ts impl/src/tooling/verifier/smtcollection_emitter.ts |
3 | 13 (23%) | 10 (30%) | 2021-10-21 |
| impl/src/tooling/verifier/runtime/smtruntime.smt2 impl/src/tooling/verifier/smttype_emitter.ts |
3 | 8 (37%) | 11 (27%) | 2021-10-21 |
| impl/src/tooling/verifier/runtime/smtruntime.smt2 impl/src/ast/assembly.ts |
3 | 8 (37%) | 13 (23%) | 2021-10-21 |
| impl/src/runtimes/bsqcheck.ts impl/src/tooling/verifier/smtdecls_emitter.ts |
3 | 14 (21%) | 12 (25%) | 2021-09-28 |
| impl/src/runtimes/bsqcheck.ts impl/src/tooling/verifier/smttype_emitter.ts |
3 | 14 (21%) | 11 (27%) | 2021-09-28 |
| impl/src/tooling/verifier/smtcollection_emitter.ts impl/src/ast/resolved_type.ts |
2 | 10 (20%) | 5 (40%) | 2021-10-31 |
| impl/src/tooling/verifier/smtdecls_emitter.ts impl/src/ast/resolved_type.ts |
2 | 12 (16%) | 5 (40%) | 2021-10-31 |
| impl/src/tooling/verifier/smt_assembly.ts impl/src/tooling/verifier/smtdecls_emitter.ts |
2 | 7 (28%) | 12 (16%) | 2021-10-27 |
| impl/src/ast/assembly.ts impl/src/tooling/verifier/smt_assembly.ts |
2 | 13 (15%) | 7 (28%) | 2021-10-21 |
| impl/src/ast/assembly.ts impl/src/tooling/verifier/smtdecls_emitter.ts |
2 | 13 (15%) | 12 (16%) | 2021-09-28 |
| impl/src/tooling/verifier/runtime/smtruntime.smt2 impl/src/tooling/verifier/smtcollection_emitter.ts |
2 | 8 (25%) | 10 (20%) | 2021-10-21 |
| impl/src/tooling/verifier/runtime/smtruntime.smt2 impl/src/tooling/verifier/smt_assembly.ts |
2 | 8 (25%) | 7 (28%) | 2021-10-21 |
| impl/src/tooling/verifier/runtime/smtruntime.smt2 impl/src/tooling/verifier/smtdecls_emitter.ts |
2 | 8 (25%) | 12 (16%) | 2021-10-14 |
File Change History per Logical Decomposition
primary
primary
The number on the lines shows the number of shared commits.
Files Most Frequently Changed Together (Top 20)
| Pairs | # same commits | # commits 1 | # commits 2 | latest commit |
|---|---|---|---|---|
| impl/src/runtimes/bsqcheck.ts impl/src/tooling/verifier/smt_workflows.ts |
9 | 14 (64%) | 11 (81%) | 2021-10-19 |
| impl/src/tooling/verifier/evaluator/decls.cpp impl/src/runtimes/bsqcheck.ts |
9 | 9 (100%) | 14 (64%) | 2021-09-23 |
| impl/src/tooling/verifier/smtdecls_emitter.ts impl/src/tooling/verifier/smtcollection_emitter.ts |
8 | 12 (66%) | 10 (80%) | 2021-10-31 |
| impl/src/tooling/verifier/smttype_emitter.ts impl/src/tooling/verifier/smtdecls_emitter.ts |
8 | 11 (72%) | 12 (66%) | 2021-10-27 |
| impl/src/runtimes/bsqcheck.ts impl/src/tooling/verifier/smttype_emitter.ts |
8 | 14 (57%) | 11 (72%) | 2021-09-28 |
| impl/src/tooling/icpp/interpreter/runner.cpp impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp |
8 | 9 (88%) | 9 (88%) | 2021-07-20 |
| impl/src/tooling/verifier/smttype_emitter.ts impl/src/tooling/verifier/smtcollection_emitter.ts |
7 | 11 (63%) | 10 (70%) | 2021-10-27 |
| impl/src/tooling/verifier/smttype_emitter.ts impl/src/tooling/verifier/smt_assembly.ts |
7 | 11 (63%) | 7 (100%) | 2021-10-27 |
| impl/src/ast/assembly.ts impl/src/tooling/verifier/smttype_emitter.ts |
7 | 13 (53%) | 11 (63%) | 2021-10-21 |
| impl/src/tooling/verifier/runtime/smtruntime.smt2 impl/src/tooling/verifier/smttype_emitter.ts |
7 | 8 (87%) | 11 (63%) | 2021-10-21 |
| impl/src/runtimes/bsqcheck.ts impl/src/tooling/verifier/smtdecls_emitter.ts |
7 | 14 (50%) | 12 (58%) | 2021-09-28 |
| impl/src/tooling/icpp/interpreter/op_eval.cpp impl/src/runtimes/bsqcheck.ts |
7 | 9 (77%) | 14 (50%) | 2021-08-07 |
| impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp impl/src/runtimes/bsqcheck.ts |
7 | 9 (77%) | 14 (50%) | 2021-08-07 |
| impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp impl/src/tooling/icpp/interpreter/op_eval.cpp |
7 | 9 (77%) | 9 (77%) | 2021-08-07 |
| impl/src/tooling/icpp/interpreter/runtime/bsqvalue.h impl/src/tooling/icpp/interpreter/runtime/bsqvalue.cpp |
7 | 7 (100%) | 9 (77%) | 2021-08-07 |
| impl/src/tooling/icpp/interpreter/runner.cpp impl/src/runtimes/bsqcheck.ts |
7 | 9 (77%) | 14 (50%) | 2021-07-28 |
| impl/src/tooling/icpp/interpreter/runner.cpp impl/src/tooling/icpp/interpreter/op_eval.cpp |
7 | 9 (77%) | 9 (77%) | 2021-07-28 |
| impl/src/tooling/verifier/smt_assembly.ts impl/src/tooling/verifier/smtcollection_emitter.ts |
6 | 7 (85%) | 10 (60%) | 2021-10-27 |
| impl/src/tooling/verifier/smt_assembly.ts impl/src/tooling/verifier/smtdecls_emitter.ts |
6 | 7 (85%) | 12 (50%) | 2021-10-27 |
| impl/src/ast/assembly.ts impl/src/tooling/verifier/smtcollection_emitter.ts |
6 | 13 (46%) | 10 (60%) | 2021-10-21 |
File Change History per Logical Decomposition
primary
primary
The number on the lines shows the number of shared commits.