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).
Files Most Frequently Changed Together (Top 50)
| Pairs | # same commits | # commits 1 | # commits 2 | latest commit |
|---|---|---|---|---|
| include/z3_polynomial.h include/z3_fpa.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_polynomial.h include/z3_fixedpoint.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_fpa.h include/z3++.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_optimization.h include/z3_algebraic.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_spacer.h include/z3_rcf.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_api.h include/z3++.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_spacer.h include/z3++.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_spacer.h include/z3_api.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_version.h include/z3_optimization.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_fixedpoint.h include/z3++.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_version.h include/z3_rcf.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_rcf.h include/z3_algebraic.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_ast_containers.h include/z3_api.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_fixedpoint.h include/z3_ast_containers.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_polynomial.h include/z3_api.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_ast_containers.h include/z3++.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_version.h include/z3++.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_rcf.h include/z3_api.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_polynomial.h include/z3_ast_containers.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_version.h include/z3_algebraic.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_optimization.h include/z3_api.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_spacer.h include/z3_polynomial.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_polynomial.h include/z3_algebraic.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_rcf.h include/z3++.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_rcf.h include/z3_ast_containers.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_spacer.h include/z3_algebraic.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_fpa.h include/z3_algebraic.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_version.h include/z3_api.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_version.h include/z3_spacer.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_rcf.h include/z3_polynomial.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_spacer.h include/z3_ast_containers.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_polynomial.h include/z3_optimization.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_rcf.h include/z3_optimization.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_fpa.h include/z3_fixedpoint.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_optimization.h include/z3_fixedpoint.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_spacer.h include/z3_fpa.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_version.h include/z3_fixedpoint.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_optimization.h include/z3_ast_containers.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_version.h include/z3_polynomial.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_fixedpoint.h include/z3_api.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_polynomial.h include/z3++.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_fpa.h include/z3_ast_containers.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_fixedpoint.h include/z3_algebraic.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_algebraic.h include/z3++.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_spacer.h include/z3_fixedpoint.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_optimization.h include/z3++.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_rcf.h include/z3_fixedpoint.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_optimization.h include/z3_fpa.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_version.h include/z3_ast_containers.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
| include/z3_api.h include/z3_algebraic.h |
5 | 6 (83%) | 6 (83%) | 2022-03-18 |
Dependencies between files in same commits
The number on the lines shows the number of shared commits.
Dependencies between components in same commits (primary)
The number on the lines shows the number of shared commits.